Lua被认证可用于飞行器或道路车辆上吗？

DO178 一级可疑，更高级别则几乎不可能。Lua VM 使用了大量的动态内存分配。在一级 A 级别，您需要展示源代码到目标代码的可追溯性。我没有看到在 Lua 中您可以做到这一点。

此外，并不是每一项都有针对您需要的准备好的工具。一旦您意识到在达到 C 或更高的级别时需要做的所有工作，自己完成一切并不是真正的选择。使用已经具备认证的工具和准备就绪的证书包会使事情变得更加容易。Lua 有任何语句和分支覆盖工具吗？这个工具是否合格？

正如您所说，认证就像法律案例，当局知道 C 并不会对您使用 C 提出任何问题。一旦您使用其他任何东西，您就会面临各种有关解释和实施的问题。

我很想在飞机上使用 Ruby，但我知道这是不可能的。

``` 不完全是您要求的内容，但是 这篇文章 可以让您了解预期的情况：

Esterel Technologies 为 Scade 的最新版本辩护了使用 OCaml，这是用于认证环境的代码生成器。

请注意，这不是关于在车内运行动态分配语言的问题！OCaml 必须被资格认定为代码生成器的代码生成器！

如果我必须用一句话来概括这篇文章，那就是“这是很多工作量”。```