Lua certificado para uso em um veículo fuselagem ou estrada?

Question

Alguém sabe se Lua foi certificado para rodar em um veículo de célula ou estrada? Certificação processos como DO178B (RTCA) ou padronização como ISO 26262 (veículos rodoviários).

A certificação é como jurisprudência e eu me sentiria mais confiante avaliar a linguagem sabendo que outra empresa tem feito isso com sucesso através de um processo.

Eu estou apostando não por causa da GC e características dinâmicas, mas eu pensei que eu iria jogar a questão para a multidão de qualquer maneira. Felicidades.

Answer 1

DO178 Nível D seria duvidosa e superior seria impossível. A Lua VM usa muita alocação dinâmica de memória. Para Nível A, você precisa mostrar fonte de rastreabilidade código objeto. Eu não vê-lo fazendo isso em Lua.

Também não há ferramentas prontas para tudo que você precisa. Fazer tudo sozinho não é realmente uma opção quando você percebe todo o trabalho necessário em nível C ou superior. Usando ferramentas reconhecidas, com pacotes de certificação prontos torna muito mais fácil. Existe alguma declaração e ferramentas de cobertura de filial para Lua? esta ferramenta é qualificado?

Como você disse certificação é como a jurisprudência e as autoridades sabem C e não vai questão nada se você usar C. Assim que você usar qualquer outra coisa que você está abrindo-se para todos os tipos de perguntas sobre interpretação e aplicação.

Eu adoraria usar Ruby em um avião, mas eu sei que não vai acontecer.

Answer 2

Não é exatamente o que você pediu, mas este pode lhe dar uma idéia do que esperar: Esterel Technologies justificado o uso de OCaml para a versão mais recente do Scade, que é um gerador de código utilizado em ambientes certificados.

Note que era não sobre ter uma linguagem com prazo de alocação dinâmica no interior do veículo! OCaml tinha que ser qualificado como o gerador de código para o gerador de código!

Se eu tivesse que resumir o artigo em uma frase, seria "era um monte de trabalho".