有谁知道Lua是否已获得机身或公路车辆的认证?认证过程如DO178B(RTCA)或标准化如ISO 26262(道路车辆).
认证就像判例法一样,我会更自信地评估语言,知道另一家公司已成功通过一个流程.
我不打赌因为GC和动态功能,但我认为无论如何我都会向人群提出这个问题.干杯.
我相信在实时和嵌入式软件开发领域中,模型驱动的开发/工程(即OMGs模型驱动架构)已经有了一些提升.人们有哪些工具和工具供应商的经验?
谷歌给了我很多学术论文和一两个供应商(IBM Rational Rose Technical Developer和VisSim).
此外,我们将非常感谢有关模型格式(UML?),平台特定模型的目标语言/环境(C?RTOS?)和测试(基于逻辑的?)的任何信息.