Lua是否可以在机身或公路车辆上使用？

有谁知道Lua是否已获得机身或公路车辆的认证？认证过程如DO178B(RTCA)或标准化如ISO 26262(道路车辆).

认证就像判例法一样,我会更自信地评估语言,知道另一家公司已成功通过一个流程.

我不打赌因为GC和动态功能,但我认为无论如何我都会向人群提出这个问题.干杯.

DO178 D级值得怀疑,更高级别是不可能的.Lua VM使用大量动态内存分配.对于A级,您需要显示源到目标代码的可跟踪性.我不认为你在Lua那样做.

此外,没有现成的工具可以满足您的一切需求.一旦你意识到C级或更高级别所需的所有工作,你自己做的一切都不是一个选择.使用具有现成认证包的公认工具可以使其更加轻松.Lua有没有声明和分支覆盖工具？这个工具合格吗？

正如您所说,认证就像判例法,当局知道C,如果您使用C,则不会质疑任何事情.只要您使用其他任何内容,您就会为解释和实施的各种问题打开基础.

我很想在飞机上使用Ruby,但我知道它不会发生.