Luaは機体や道路車両に使用するための認定しますか？

Question

Luaは機体や道路車両での動作が保証されている場合は、

誰でも知っていますか？このようDO178B（RTCA）や、ISO 26262として標準化（道路車両）として認定プロセスます。

認定は、判例法のようなもので、私は別の会社が正常プロセスを通じてそれを作ったことを知っ言語を評価し、より自信を感じるだろう。

私は理由GCおよび動的な機能をなし賭けているが、私はとにかく群衆に質問を投げるだろうと思っていました。乾杯ます。

Answer 1

DO178レベルDは疑わしいとなり、より高い不可能であろう。 LuaのVMは、動的なメモリ割り当ての多くを使用しています。レベルAのためには、コード追跡可能オブジェクトために、ソースを表示する必要があります。私はあなたがLuaの中でそれをやって表示されません。

また、あなたが必要なすべてのための準備がなさツールはありません。自分ですべてを行うことは本当にあなたがレベルC以上に必要なすべての作業を実現したら、オプションではありません。準備認証パックと認識ツールを使用すると、それは非常に簡単になります。 Luaのための任意の文と分岐カバレッジ・ツールはありますか？このツールは、資格のですか？

あなたは認定は判例法のようなもので、当局がCを知って、あなたはできるだけ早くあなたが解釈と実装についての質問のすべての種類のために自分自身を開放している何か他のものを使用するようC.を使用している場合、何も質問するつもりはないと述べたよう。

私は航空機にルビーを使用するのが大好きだが、私は起こるだろうされていません知っています。

Answer 2

こののは、あなたに何のアイデアを与えることができない、まさにあなたは尋ねたが、期待する： エステレル・テクノロジーズは、認定された環境で使用されるコード・ジェネレータであるSCADEの最新バージョン、のためにOCamlでの使用を正当化します。

それは車両内部の動的割り当ての実行と言語を持っていることについて、のないのだったことに注意してください！ OCamlでは、コードジェネレータのコードジェネレータの資格を取得する必要がありました！

私は1つの文で記事を要約しなければならないとしたら、それは「それは多くの作業だった」となります。