Lua认证用于机身或公路车辆？

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

认证就像判例法，如果知道另一家公司已经成功地通过了一个过程，我会对评估语言更有信心

---

我打赌不会，因为GC和动态特性，但我想我还是会把这个问题告诉大家。干杯。

DO178 D级将是可疑的，更高级别将是不可能的。luavm使用大量的动态内存分配。对于级别A，您需要显示源代码到目标代码的可跟踪性。我没看到你在卢阿那样做

此外，没有现成的工具满足您的所有需要。一旦你意识到C级或更高级别所需的所有工作，你就不能自己做任何事情。将认可的工具与现成的认证包一起使用，会使操作变得更加简单。Lua是否有任何声明和分支机构覆盖工具？这个工具合格吗

正如你所说的，认证就像判例法，权威机构知道C，如果你使用C，就不会对任何东西提出质疑。一旦你使用了其他任何东西，你就会对解释和实施方面的各种问题敞开大门

---

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

这不完全是您要求的，但可以让您了解您的期望： Esterel Technologies证明最新版本的Scade使用OCaml是合理的，Scade是一种在认证环境中使用的代码生成器

请注意，这不是关于在车辆内部运行具有动态分配功能的语言！OCaml必须被鉴定为代码生成器的代码生成器

---

如果我必须用一句话来总结这篇文章，那就是“这是一项艰巨的工作”

你问过Lua的邮件列表吗？从我对DO178B的很少参与来看，我认为C级或更好的级别是不可能的。可以根据本机应用程序中发生的情况使D级成为可能（我猜它仍然具有动态分配），但更高级别的应用程序仍然会有很多问题。