embedded - 在嵌入式工作中使用模型驱动开发的好工具是什么？

Question

关闭。这个问题不满足Stack Overflow guidelines .它目前不接受答案。












想改善这个问题吗？更新问题，使其成为 on-topic对于堆栈溢出。

2年前关闭。




Improve this question




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

Google 给了我很多学术论文和一两个供应商(IBM 的 Rational Rose 技术开发人员和 VisSim)。

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

Answer 1

我们用过 Enterprise Architect和 IBM Software - Rational Rhapsody .我们使用了内置的代码生成引擎和我们自己的代码生成引擎来生成适合 Do178B 资格的代码。通过 Rational Rhapsody，我们针对 VX Works 以及我们自己的操作系统。这些工具使用 UML 模型。由于它生成代码，您可以使用您曾经使用过的工具进行单元测试，这些工具提供与这些工具的集成。

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

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