Lua的认证，用于在机身或道路车辆用？

Question

有谁知道，如果Lua中已通过认证，在机身或道路车辆运行？认证过程，如DO178B（RTCA）或标准化诸如ISO 26262（道路车辆）。

认证就像是案例法，我会感到更有信心评估明知另一家公司成功实现了它经历一个过程的语言。

我敢打赌没有因为GC和动态特性，但我想我会扔的问题人群反正。欢呼声。

Answer 1

DO178等级d将是值得怀疑的和更高的是不可能的。该Lua的VM使用大量的动态内存分配。对于A级，你需要表现出源到目标代码tracability。我不知道你在干什么，在Lua中。

也有你需要的一切没有现成的工具。自己所做的一切是不是真的，一旦你实现所有的C级或更高的工作需要的选项。使用认可的工具，准备认证包使得它容易得多。是否有任何的Lua语句和分支覆盖工具？这个工具是否合格？

至于你说的认证就像是判例法和当局知道下进行，且不会，如果你一旦你使用任何你要打开和自己的各种有关解释和执行问题，使用C.质疑什么。

我喜欢使用Ruby一个飞机上，但我知道这是不可能发生的事情。

Answer 2

不正是你要的，但这可以给你一个想法是什么期待： 爱斯特尔技术合理使用OCaml中的最新的版本的SCADE，这是在认证环境中使用的一个码发生器。

请注意，这是的不的关于有与车辆内动态分配运行语言！ OCaml的不得不被定性为对代码发生器的代码发生器！

如果我不得不总结文章中的一句话，那就是“这是一个大量的工作。”