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

Question

我相信在实时和嵌入式软件开发领域已经有一些模型驱动开发/工程（又名 OMG 模型驱动架构）。人们使用过哪些工具和工具供应商？

Google 给了我很多学术论文和一两个供应商（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% 的代码。使用合格的工具可以消除大部分测试。它有一个模型验证工具，如果模型正确，那么代码就是正确的。它集成了需求和配置管理工具。

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

Answer 2

我只将 MS Visio 用于绘图；没有代码生成。刚开始研究 Enterprise Architect，这看起来很有希望。

Answer 3

我们公司的其他人使用Simulink / Stateflow在汽车环境中进行设计建模。我认为不是为了自动生成代码，而是为了在 PC 上运行模型。

NI LabVIEW是另一种可能性。我们只在基于 PC 的自动化测试系统中使用了它，但它也可以用于基于模型的设计。

这两个系统都可以生成代码，但到目前为止我们还没有太多经验。即使不使用代码生成，基于模型的设计在帮助高级和中级设计过程和设计文档方面也有几个优势。代码生成是我们未来可以考虑的事情。

Answer 4

如果您想对状态机进行建模，您可能会比尝试IAR Systems（嵌入式编译器公司）的visualState做得更糟。