Weiß jemand, ob Lua für eine Flugzeugzelle oder ein Straßenfahrzeug zugelassen wurde? Zertifizierungsprozesse wie DO178B (RTCA) oder Standardisierung wie ISO 26262 (Straßenfahrzeuge).
Die Zertifizierung ist wie eine Rechtsprechung, und ich würde mich sicherer fühlen, wenn ich die Sprache in dem Wissen beurteilen würde, dass ein anderes Unternehmen es erfolgreich durch einen Prozess geschafft hat.
Ich wette nicht wegen GC und dynamischer Features, aber ich dachte, ich würde die Frage sowieso an die Crowd werfen. Prost.
DO178 Level D wäre zweifelhaft und höher wäre unmöglich. Die Lua VM verwendet viel dynamische Speicherzuweisung. Für Level A müssen Sie die Rückverfolgbarkeit von Quellcode zu Objektcode anzeigen. Ich sehe nicht, dass du das in Lua machst.
Auch gibt es keine fertigen Werkzeuge für alles, was Sie brauchen. Alles selbst zu tun ist nicht wirklich eine Option, wenn Sie erst einmal alle Arbeiten auf Stufe C oder höher absolviert haben. Die Verwendung anerkannter Tools mit fertigen Zertifizierungspaketen macht es viel einfacher. Gibt es Statement- und Branch-Coverage-Tools für Lua? Ist dieses Tool qualifiziert?
Wie Sie sagten, ist die Zertifizierung wie die Rechtsprechung und die Behörden kennen C und werden nichts in Frage stellen, wenn Sie C benutzen. Sobald Sie irgendetwas anderes verwenden, öffnen Sie sich für alle Arten von Fragen über Interpretation und Implementierung.
Ich würde Ruby gerne in einem Flugzeug benutzen, aber ich weiß, dass es nicht passieren wird.
Nicht genau das, wonach Sie gefragt haben, aber das kann Ihnen eine Vorstellung davon geben, was Sie erwarten können: Esterel Technologies hat die Verwendung von OCaml für die neueste Version von Scade, einem in zertifizierten Umgebungen verwendeten Code-Generator, gerechtfertigt.
Beachten Sie, dass es nicht war, dass eine Sprache mit dynamischer Zuordnung im Fahrzeug ausgeführt wird! OCaml musste als Codegenerator für den Codegenerator qualifiziert werden!
Wenn ich den Artikel in einem Satz zusammenfassen müsste, wäre es "es war eine Menge Arbeit".
Tags und Links embedded static-analysis lua