“第一个完整的模型驱动解决方案”有助于安全关键嵌入式软件开发

最近宣布建立战略合作伙伴关系青山软件公司．(GHS)和法国的Esterel技术公司已经为安全关键嵌入式软件代码生成和产品开发创造了“第一个完整的模型驱动解决方案”。据报道，集成解决方案或模型驱动开发(MDD)解决了开发的关键阶段，统一了几个元素:DO-178B Level A和IEC 61508 SIL3兼容的建模、代码生成、经过验证的编译器和实时操作系统(RTOS)。

根据协议，Esterel Technologies的Scade合格代码生成器(KCG)将自动生成与Green Hills Software的Integrity RTOS集成的代码，该RTOS具有DO-178B Level A和IEC 61508认证。(DO-178B是民用航空电子设备标准。)此外，GHS编译器将通过Scade的编译器验证工具包(CVK)进行资格预审，据说是为了确保代码能够快速且经济有效地获得认证。将Scade KCG和CVK与Green Hills Software的Integrity RTOS和C/ c++ /Ada编译器集成将实现建模和实现之间的无缝工作流，GHS解释道。两家公司还打算在未来的集成功能和能力方面进行合作;例如，Scade内置模拟器与Multi IDE(集成开发环境)的集成。

将Esterel Technologies的Scade代码生成工具与Green Hills的Integrity RTOS和编译器相结合，形成了一个集成的解决方案，可以处理安全关键嵌入式系统开发的所有阶段。

GHS解释说，由两家公司开发的集成解决方案比传统的软件设计人员/开发人员使用单独的环境进行应用软件建模(通常是基于纸张的)和实现目标的方法更好。“Scade为当今安全关键的嵌入式市场提供了最全面的模型驱动开发解决方案，”Green Hills Software的创始人兼首席执行官Dan O’dowd说。“Scade与我们的Multi IDE开发解决方案、免版税操作系统和目标中间件的结合，为我们的客户提供了全面而安全的解决方案，以优化上市时间、认证时间和安全关键嵌入式系统的总体可靠性。”

Esterel Technologies总裁兼首席执行官Eric Bantegnie补充道:“Green Hills Software提供了业界最完整、最好的技术RTOS和IDE解决方案。结合我们市场领先的Scade安全关键应用程序开发环境，我们两家公司提供了一个真正的协同解决方案。这不仅有利于我们的共同客户，而且还降低了开发和认证DO-178B至A级和IEC 61508 SIL3嵌入式系统的总体成本。”

Scade KCG和CVK与Integrity和Green Hills Software编译器的集成将于2006年7月发布。

-Frank J. Bartos，《控制工程》执行主编
fbartos@reedbusiness.com

您是否具有本内容中提到的主题的经验和专业知识?你应该考虑为我们的CFE媒体编辑团队做出贡献，并获得你和你的公司应得的认可。点击在这里开始这个过程。