We have used Enterprise Architect and IBM Software - Rational Rhapsody. We have used the build in code generation engine and our own code generation engine that generate code suitable to Do178B qualification. With Rational Rhapsody we targeted VX Works as well as our own OS. These tools uses UML models. Since it generates code you can do unit testing with what ever you used to tools that provide integration into these tools.
Scade is also a option if you write safety critical software. Some of the other divisions in our company has used this successfully. It is very logic orientated so it is not able to do everything but it can generate up to 70% of the code for some projects. Using a qualified tool eliminates most of the testing. It has an model verification tool and if the model is correct then code is correct. It integrates in requirement and configuration management tools.
For non safety critical development by experienced developers it is difficult to say if using model driven development will provide you with any saving. It is worth trying, as technology matures and more developers get used to model based development, we will see a lot more of this in the embedded environment.
Others in our company have used Simulink/Stateflow for design modelling in an automotive environment. Not for auto code generation I think, but for running the model on the PC.
NI LabVIEW is another possibility. We've only used it in a PC-based automated testing system, but it can also be used for model-based design.
Both these systems can generate code, but we don't have much experience with that so far. Even without using code generation, model-based design has several advantages to help the high-level and mid-level design process and design documentation. Code generation is something we could consider in future.
发布评论
评论（4）
我们使用了 Enterprise Architect 和 IBM 软件 - Rational Rhapsody。我们使用内置代码生成引擎和我们自己的代码生成引擎来生成适合 Do178B 资格的代码。对于 Rational Rhapsody，我们的目标是 VX Works 以及我们自己的操作系统。这些工具使用 UML 模型。由于它生成代码，您可以使用您所使用的提供与这些工具集成的工具进行单元测试。
如果您编写安全关键型软件，Scade 也是一个选择。我们公司的其他一些部门已经成功地使用了这一点。它非常注重逻辑，因此它无法完成所有事情，但它可以为某些项目生成高达 70% 的代码。使用合格的工具可以消除大部分测试。它有一个模型验证工具，如果模型正确，那么代码就是正确的。它集成了需求和配置管理工具。
对于经验丰富的开发人员进行的非安全关键开发，很难说使用模型驱动开发是否会为您节省任何费用。这是值得尝试的，随着技术的成熟和更多的开发人员习惯基于模型的开发，我们将在嵌入式环境中看到更多这样的情况。
We have used Enterprise Architect and IBM Software - Rational Rhapsody. We have used the build in code generation engine and our own code generation engine that generate code suitable to Do178B qualification. With Rational Rhapsody we targeted VX Works as well as our own OS. These tools uses UML models. Since it generates code you can do unit testing with what ever you used to tools that provide integration into these tools.
Scade is also a option if you write safety critical software. Some of the other divisions in our company has used this successfully. It is very logic orientated so it is not able to do everything but it can generate up to 70% of the code for some projects. Using a qualified tool eliminates most of the testing. It has an model verification tool and if the model is correct then code is correct. It integrates in requirement and configuration management tools.
For non safety critical development by experienced developers it is difficult to say if using model driven development will provide you with any saving. It is worth trying, as technology matures and more developers get used to model based development, we will see a lot more of this in the embedded environment.
我仅使用 MS Visio 进行绘图；没有代码生成。刚刚开始关注 Enterprise Architect，这看起来很有希望。
I have used MS Visio for drawings only; no code generation. Just starting to look at Enterprise Architect, and this is looking promising.
我们公司的其他人已经使用过Simulink/Stateflow 用于汽车环境中的设计建模。我认为不是为了自动代码生成，而是为了在 PC 上运行模型。
NI LabVIEW 是另一种可能性。我们仅在基于 PC 的自动化测试系统中使用它，但它也可以用于基于模型的设计。
这两个系统都可以生成代码，但到目前为止我们在这方面还没有太多经验。即使不使用代码生成，基于模型的设计也具有多种优势，可以帮助高级和中级设计流程和设计文档。代码生成是我们将来可以考虑的事情。
Others in our company have used Simulink/Stateflow for design modelling in an automotive environment. Not for auto code generation I think, but for running the model on the PC.
NI LabVIEW is another possibility. We've only used it in a PC-based automated testing system, but it can also be used for model-based design.
Both these systems can generate code, but we don't have much experience with that so far. Even without using code generation, model-based design has several advantages to help the high-level and mid-level design process and design documentation. Code generation is something we could consider in future.
如果你想对状态机建模，你可能会比尝试 visualState 来自 IAR Systems（嵌入式编译器公司）。
If you want to model a state machine you could do worse than try visualState from IAR Systems (the embedded compiler company).