Lua für den Einsatz auf einer Flugzeugzelle oder Straßenfahrzeug zertifiziert?

Question

Wer weiß, wenn Lua zertifiziert wurde auf einer Zelle oder Straßenfahrzeug laufen? Zertifizierungsverfahren wie DO178B (RTCA) oder Standardisierung wie ISO 26262 (Straßenfahrzeuge).

Die Zertifizierung ist wie Rechtsprechung und ich würde mich sicherer fühlen, die Sprache der Bewertung zu wissen, dass ein anderes Unternehmen es durch einen Prozess erfolgreich gemacht hat.

Ich wette nicht wegen GC und dynamischer Eigenschaften, aber ich dachte, dass ich auf jeden Fall die Frage, um die Menge werfen würde. Prost.

Answer 1

DO178 Stufe D wäre zweifelhaft und höher wäre unmöglich. Die Lua VM verwendet viele dynamische Speicherzuweisung. Für Level A benötigen Sie Quelle zeigen Code Rückführbarkeit zu widersprechen. Ich sehe nicht, dass Sie in Lua zu tun.

Auch gibt es keine fertigen Werkzeuge für alles, was Sie brauchen. alles selbst zu tun ist nicht wirklich eine Option, wenn Sie die ganze Arbeit auf Ebene C oder höher erforderlich realisieren. Mit anerkannten Tool mit Ready-Zertifizierung Pack macht es viel einfacher. Gibt es eine Erklärung und Zweigüberdeckung Tools für Lua? Ist das Werkzeug qualifiziert?

Wie Sie die Zertifizierung wie Rechtsprechung und Behörden wissen, C und wird nichts gehen zu fragen, ob Sie C. verwenden Sobald Sie etwas anderes verwenden Sie öffnen sich für alle Arten von Fragen über Auslegung und Umsetzung auf.

Ich würde gerne Ruby verwenden auf einem Flugzeug, aber ich weiß, es wird nicht passieren.

Answer 2

Nicht genau das, was Sie gebeten, aber diese Sie eine Vorstellung davon geben können, was zu erwarten: Esterel Technologies begründet die Verwendung von OCaml für die neueste Version von Scade, die ein Code-Generator in zertifizierten Umgebungen verwendet wird.

Beachten Sie, dass es nicht über eine Sprache, mit der dynamischen Zuordnung Lauf im Inneren des Fahrzeugs mit! OCaml hatte als Code-Generator für den Codegenerator qualifiziert werden!

Wenn ich den Artikel in einem Satz zusammengefaßt habe, es wäre „es war eine Menge Arbeit“.