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

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

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

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

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

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

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

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