Lua-zertifiziert für den Einsatz an einer Zelle oder einem Straßenfahrzeug?

Weiß jemand, ob Lua für ein Flugzeug oder ein Straßenfahrzeug zugelassen wurde? Zertifizierungsprozesse wie DO178B (RTCA) oder Normung wie ISO 26262 (Straßenfahrzeuge).Lua-zertifiziert für den Einsatz an einer Zelle oder einem Straßenfahrzeug?

Zertifizierung ist wie eine Rechtsprechung und ich würde mich sicherer fühlen, wenn ich die Sprache einschätzen würde, wissend, dass ein anderes Unternehmen es erfolgreich durch einen Prozess geschafft hat.

Ich wette nicht wegen GC und dynamische Funktionen, aber ich dachte, ich würde die Frage sowieso auf die Menge werfen. Prost.

Quelle

2009-12-02 jasonb

Haben Sie auf der Lua-Mailingliste gefragt? http://www.lua.org/lua-l.html –

Von was für ein wenig Beteiligung ich mit DO178B hatte ich denke, Level C oder besser wäre unmöglich. –

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 dich nicht in Lua.

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 Zertifizierung ist wie Rechtsprechung und Behörden wissen C und wird nichts in Frage stellen, wenn Sie C verwenden. Sobald Sie etwas anderes verwenden, öffnen Sie sich für alle Arten von Fragen über Interpretation und Implementierung.

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

Quelle

2009-12-02 08:50:10 Gerhard

Was ist mit llvm-lua: http://code.google.com/p/llvm-lua/ –

Könnte Level D möglich machen, abhängig davon, was in der nativen Anwendung passiert (Meine Vermutung ist, es hat immer noch dynamische Zuordnung), aber höher wäre habe immer noch viele Probleme. – Gerhard

nicht genau das, was Sie gefragt, aber this können Sie eine Vorstellung davon, was zu erwarten ist: 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 dynamischer Zuordnung innerhalb des Fahrzeugs ausgeführt wurde! OCaml musste als Code Generator für den Code Generator qualifiziert werden!

Wenn ich den Artikel in einem Satz zusammenfassen müsste, wäre es "es war eine Menge Arbeit".

Quelle

2009-12-02 10:12:10

Lua-zertifiziert für den Einsatz an einer Zelle oder einem Straßenfahrzeug?

Antwort

Verwandte Themen