Lua certificado para su uso en un vehículo fuselaje o por carretera?

Question

¿Alguien sabe si Lua ha sido certificado para ejecutarse en un vehículo de la armadura de avión o por carretera? Los procesos de certificación tales como DO178B (RTCA) o la normalización como la ISO 26262 (vehículos de carretera).

Certificación es como la jurisprudencia y que se sentiría más seguro evaluación de la lengua sabiendo que otra compañía ha realizado con éxito a través de un proceso.

Estoy apostando ninguna causa de GC y características dinámicas, pero yo pensé en tirar la pregunta a la multitud de todos modos. Saludos.

Answer 1

DO178 Nivel D sería dudosa y superior sería imposible. La Lua VM utiliza gran cantidad de asignación de memoria dinámica. Para el nivel A que necesita para mostrar la fuente a código objeto trazabilidad. No me veo haciendo que en Lua.

Además, no hay herramientas hechas listos para todo lo que necesita. Haciendo todo usted mismo no es realmente una opción una vez que se da cuenta de todo el trabajo requerido en el nivel C o superior. El uso de herramientas reconocidas con paquetes de certificación listos hace que sea mucho más fácil. ¿Hay alguna declaración y herramientas de cobertura rama de Lua? Se califica esta herramienta?

A medida que dicha certificación es como la jurisprudencia y las autoridades saben C y no va a cuestionar nada si utiliza C. Tan pronto como se utiliza cualquier otra cosa que se está abriendo para todo tipo de preguntas sobre la interpretación y aplicación.

Me encanta usar Rubí en un avión, pero sé que no va a suceder.

Answer 2

No es exactamente lo que pidieron, pero este le puede dar una idea de lo esperar: Esterel Tecnologías justificado el uso de OCaml para la versión más reciente de Scade, que es un generador de código utilizado en entornos certificados.

Tenga en cuenta que se trataba de no de tener una lengua con la asignación dinámica de ejecución en el interior del vehículo! OCaml tuvo que ser calificado como el generador de código para el generador de código!

Si tuviera que resumir el artículo en una sola frase, sería "que era mucho trabajo".