ModelCoder介绍
在安全关键领域,基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用Simulink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模,然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流开发方式。
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,保证生成过程的正确无误性,能够用飞控,航电,核电DCS等多个安全关键领域的嵌入式软件的设计和开发。
功能
- 模型搭建–以拖拽方式快速构建数据流模型
- 生成C代码–将同步数据流语言经过形式化方法生成可靠的C代码
- 仿真测试–将生成的C代码通过嵌入式编译器生成不同架构的嵌入式程序,测试运行结果的正确性
优势
- 代码生成全过程经过形式化验证,安全可靠
- 图形化方式建模,更直观
- 国产处理器和国产操作系统的支持
建模规则
- 特定的运算符用来支持特定的数据结构,例如Map用来支持对Array的操作。
- 控制模块的复杂度,尽量减少子模块的调用&#x