我们一直致力于提供给航空航天制造商一套全数字的MBSE建模与仿真优化解决方案——基于模型的系统工程MBSE软件工具（ModelCoder）。我们的仿真验证技术可用于开发高复杂度和高保真度的模型，对飞机发动机，飞机的飞控进行预测性的虚拟验证和测试。我们能够准确地进行全数字仿真并验证。经过不断的迭代，我们可以很好的将新方法与旧方法结合，创建一套全新的流程，提供比以往更好的服务。

ModelCoder简介

国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink软件工具是一款支持多种嵌入式系统建模并可以代码自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，保证生成过程的正确无误性，能够用飞控，航电，核电DCS等多个安全关键领域的嵌入式软件的设计和开发。

ModelCoder的3大功能
1. 仿真测试
2. 生成C代码
3. 模型搭建

Modelcoder的优势
1. 代码生成全过程经过形式化验证，安全可靠
2. 图形化方式建模，更直观
3. 国产处理器和国产操作系统的支持

国产可替代Sumlink的ModelCoder

基于模型的系统工程(MBSE)作为未来工业研发数字化的重要发展方向之一，迪捷软件是以清华大学康烁教授团队加上后期加入的前华为技术团队人员组成，在安全关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。

使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模，然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流软件开发方式。由迪捷软件自主开发的ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，保证生成过程的正确无误性，能够用于飞机的飞控，飞机的航电，民用核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。

---

本文标题：基于模型的系统工程MBSE软件工具（ModelCoder）

文本链接：http://www.digiproto.com