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

Question

有人知道Lua是否已获得在机身或公路车辆上运行的认证？认证过程，如DO178B（RTCA）或标准化，如ISO 26262（公路车辆）。

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

我打赌不是因为GC和动态功能，但我认为无论如何我都会向人群提出问题。欢呼声。

Answer 1

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

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

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

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

Answer 2

不完全符合您的要求，但this可以让您知道会发生什么： Esterel Technologies将OCaml用于最新版本的Scade，这是一种在认证环境中使用的代码生成器。

请注意，在车辆内部运行动态分配的语言 OCaml必须被认定为代码生成器的代码生成器！

如果我不得不用一句话来概括这篇文章，那就是“这需要很多工作”。