网站如何推广好,财务公司业务范围,wordpress通知搜索引擎收录,企业邮箱网易在安全关键领域#xff0c;基于模型的软件工程已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具进行可视化建模#xff0c;然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流软件开发方式。由迪捷软件自主研发的系统建模、分析、仿真和验…在安全关键领域基于模型的软件工程已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具进行可视化建模然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流软件开发方式。由迪捷软件自主研发的系统建模、分析、仿真和验证软件工具ModelCodoer可以替代国外SimuLink或者SCADE实现基于模型的系统工程的开发。 ModelCoder简介
系统建模、分析、仿真和验证软件工具ModelCodoer是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型其从模型生成代码的过程经过了形式化验证保证生成过程的正确无误性能够用飞控航电核电DCS等多个安全关键领域的嵌入式软件的设计和开发。
ModelCoder的3大功能
仿真测试生成C代码模型搭建
Modelcoder的优势
代码生成全过程经过形式化验证安全可靠图形化方式建模更直观国产处理器和国产操作系统的支持
本文标题系统建模、分析、仿真和验证软件工具ModelCodoer
文本链接http://www.digiproto.com/archives/2326
