有谁知道 Lua 是否已获得在机身或公路车辆上运行的认证？ DO178B (RTCA) 等认证流程或 ISO 26262（道路车辆）等标准化流程。
认证就像判例法，如果知道另一家公司已成功通过某个流程，我会更有信心评估语言。
由于 GC 和动态特性，我打赌不，但我想我还是会把这个问题抛给人群。干杯。
【问题讨论】：
标签： lua embedded static-analysis
DO178 D 级是值得怀疑的，更高是不可能的。 Lua VM 使用大量动态内存分配。对于 A 级，您需要显示源代码到目标代码的可追溯性。我没有看到你在 Lua 中这样做。
此外，没有现成的工具可以满足您的所有需求。一旦您意识到 C 级或更高级别所需的所有工作，自己做所有事情并不是真正的选择。使用带有现成认证包的公认工具可以轻松得多。 Lua 是否有任何语句和分支覆盖工具？这个工具合格吗？
正如您所说，认证就像判例法，当局知道 C，如果您使用 C，不会质疑任何东西。一旦您使用其他任何东西，您就会对各种有关解释和实施的问题敞开心扉。
我很想在飞机上使用 Ruby，但我知道这不会发生。
【讨论】：
不完全是您所要求的，但this 可以让您大致了解会发生什么： Esterel Technologies 证明了在最新版本的 Scade 中使用 OCaml 是合理的，Scade 是一种在认证环境中使用的代码生成器。
请注意，不是关于在车辆内部运行具有动态分配的语言！ OCaml 必须有资格作为代码生成器的代码生成器！
如果非要用一句话来概括这篇文章，那就是“工作量很大”。
【讨论】：