系统建模、分析、仿真和验证软件工具ModelCodoer

在安全关键领域，基于模型的软件工程已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具进行可视化建模，然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流软件开发方式。由迪捷软件自主研发的系统建模、分析、仿真和验证软件工具ModelCodoer可以替代国外SimuLink或者SCADE实现基于模型的系统工程的开发。

ModelCoder简介

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

ModelCoder的3大功能

• 仿真测试
• 生成C代码
• 模型搭建

Modelcoder的优势

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

本文标题：系统建模、分析、仿真和验证软件工具ModelCodoer

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