将模型驱动开发与嵌入式工作结合使用有哪些好工具？

Question

我相信在实时和嵌入式软件开发领域中,模型驱动的开发/工程(即OMGs模型驱动架构)已经有了一些提升.人们有哪些工具和工具供应商的经验？

谷歌给了我很多学术论文和一两个供应商(IBM Rational Rose Technical Developer和VisSim).

此外,我们将非常感谢有关模型格式(UML？),平台特定模型的目标语言/环境(C？RTOS？)和测试(基于逻辑的？)的任何信息.

Answer 1

我们使用了Enterprise Architect和IBM Software - Rational Rhapsody.我们使用了内置代码生成引擎和我们自己的代码生成引擎,可以生成适合Do178B资格的代码.使用Rational Rhapsody,我们将目标锁定在VX Works以及我们自己的操作系统上.这些工具使用UML模型.由于它生成代码,您可以使用以前用于提供与这些工具集成的工具进行单元测试.

如果您编写安全关键软件,Scade也是一种选择.我们公司的其他部门已经成功使用了这个部门.它非常符合逻辑,因此无法完成所有操作,但它可以为某些项目生成高达70%的代码.使用合格的工具可以消除大部分测试.它有一个模型验证工具,如果模型正确,那么代码是正确的.它集成了需求和配置管理工具.

对于经验丰富的开发人员的非安全关键开发,很难说使用模型驱动开发是否会为您提供任何节省.值得一试,随着技术的成熟和更多开发人员习惯基于模型的开发,我们将在嵌入式环境中看到更多这样的东西.