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

Question

我相信在实时和嵌入式软件开发领域，模型驱动的开发/工程（又名OMGs模型驱动架构）已经有了一些提升。人们有哪些工具和工具供应商的经验？

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

如果你想为状态机建模，你可能会比从visualState（嵌入式编译器公司）尝试IAR Systems更糟糕。