Lua certifié pour une utilisation sur un véhicule de la cellule ou la route?

Question

Est-ce que quelqu'un sait si Lua a été certifié pour fonctionner sur un véhicule de la cellule ou la route? Les processus de certification tels que DO178B (RTCA) ou normalisation tels que ISO 26262 (Véhicules routiers).

La certification est comme jurisprudence et je me sentais plus confiant l'évaluation de la langue sachant qu'une autre société a elle fait avec succès grâce à un processus.

Je parie pas à cause de GC et de fonctionnalités dynamiques, mais je pensais que je jetterais la question à la foule de toute façon. Vive.

Answer 1

DO178 Niveau D serait douteux et plus serait impossible. Le Lua VM utilise beaucoup d'allocation dynamique de mémoire. Pour le niveau A, vous devez montrer la source de code objet tracabilité. Je ne vois pas ce que tu fais que Lua.

En outre il n'y a pas d'outils prêts à l'emploi pour tout ce dont vous avez besoin. Faire tout vous est pas vraiment une option une fois que vous réalisez tous les travaux nécessaires au niveau C ou plus. L'utilisation d'outils reconnus avec des packs de certification prêts rend beaucoup plus facile. Y at-il relevé et des outils de couverture de branche pour Lua? Cet outil qualifié?

Comme vous avez dit la certification est comme jurisprudence et les autorités connaissent C et ne va pas remettre en question quoi que ce soit si vous utilisez C. Dès que vous utilisez tout ce que vous vous exposez pour toutes sortes de questions sur l'interprétation et la mise en œuvre.

J'aimerais utiliser Ruby sur un avion, mais je sais qu'il ne va pas se produire.

Answer 2

Pas exactement ce que vous avez demandé, mais cette peut vous donner une idée de ce s'attendre à: Esterel Technologies justifie l'utilisation de OCaml pour la dernière version de Scade, qui est un générateur de code utilisé dans des environnements certifiés.

Notez qu'il était pas d'avoir une langue terme d'allocation dynamique à l'intérieur du véhicule! OCaml devait être qualifié comme le générateur de code pour le générateur de code!

Si je devais résumer l'article en une phrase, il serait « il avait beaucoup de travail ».