Embedded 使用模型驱动开发和嵌入式工作的好工具是什么？

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

谷歌给了我很多学术论文和一两个供应商（IBM的Rational Rose技术开发人员和VisSim）

此外，对于有关模型格式（UML？）、平台特定模型的目标语言/环境（C？RTOS？）和测试（基于逻辑？）的任何信息，我们都将不胜感激。

我们已经使用和。我们使用了内置代码生成引擎和我们自己的代码生成引擎，它们生成适合Do178B资格认证的代码。通过RationalRhapsody，我们瞄准了VX工程以及我们自己的操作系统。这些工具使用UML模型。因为它生成代码，所以您可以使用曾经使用过的工具进行单元测试，这些工具提供了与这些工具的集成

如果您编写安全关键软件，也可以选择。我们公司的其他一些部门已经成功地使用了这一点。它非常面向逻辑，所以它不能做所有的事情，但它可以为某些项目生成高达70%的代码。使用合格的工具可以消除大部分测试。它有一个模型验证工具，如果模型是正确的，那么代码就是正确的。它集成在需求和配置管理工具中

---

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

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

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

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

---

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

< P>如果要对状态机进行建模，则可以比从嵌入式编译器公司尝试更糟糕。