我们用过 企业架构师 和 IBM软件 - Rational Rhapsody 。我们使用了内置代码生成引擎和我们自己的代码生成引擎,可以生成适合Do178B资格的代码。使用Rational Rhapsody,我们将目标锁定在VX Works以及我们自己的操作系统上。这些工具使用UML模型。由于它生成代码,您可以使用以前用于提供与这些工具集成的工具进行单元测试。
SCADE 如果您编写安全关键软件,也可以选择。我们公司的其他部门已经成功使用了这个部门。它非常符合逻辑,因此无法完成所有工作,但它可以为某些项目生成高达70%的代码。使用合格的工具可以消除大部分测试。它有一个模型验证工具,如果模型正确,那么代码是正确的。它集成了需求和配置管理工具。
对于经验丰富的开发人员的非安全关键开发,很难说使用模型驱动开发是否会为您提供任何节省。值得尝试的是,随着技术的成熟和更多开发人员习惯基于模型的开发,我们将在嵌入式环境中看到更多这样的东西。
我们公司的其他人都使用过 Simulink的 / Stateflow的 用于汽车环境中的设计建模。我认为不是自动代码生成,而是用于在PC上运行模型。
你 LabVIEW的 是另一种可能性。我们只在基于PC的自动测试系统中使用它,但它也可以用于基于模型的设计。
这两个系统都可以生成代码,但到目前为止我们没有太多经验。即使不使用代码生成,基于模型的设计也有几个优势来帮助高级和中级设计过程和设计文档。代码生成是我们将来可以考虑的事情。
我只使用MS Visio绘图;没有代码生成。刚开始看看Enterprise Architect,这看起来很有希望。
如果你想建模状态机,你可能会比尝试更糟糕 的VisualState 从 IAR系统 (嵌入式编译器公司)。