为公益组织做网站,北京公司网站制作电话,wordpress 付费会员,关键词排名优化方法ModelCoder介绍
在安全关键领域#xff0c;基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用Simulink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模#xff0c;然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流开发方式。 …ModelCoder介绍
在安全关键领域基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用Simulink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流开发方式。
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型其从模型生成代码的过程经过了形式化验证保证生成过程的正确无误性能够用飞控航电核电DCS等多个安全关键领域的嵌入式软件的设计和开发。 功能
模型搭建–以拖拽方式快速构建数据流模型生成C代码–将同步数据流语言经过形式化方法生成可靠的C代码仿真测试–将生成的C代码通过嵌入式编译器生成不同架构的嵌入式程序测试运行结果的正确性
优势
代码生成全过程经过形式化验证安全可靠图形化方式建模更直观国产处理器和国产操作系统的支持 建模规则
特定的运算符用来支持特定的数据结构例如Map用来支持对Array的操作。控制模块的复杂度尽量减少子模块的调用生成的代码每调用一次函数就会产生函数传参的开销此时如果上层有较多循环则传参的代价较高。检查重复模块尽量归并重复项形成基础库。所用模型的输入输出端口的类型与数量必须符合该模型要求。对门电路建模前应先优化可降低模型的复杂度。控制局部变量数量减少不必要的局部变量以防产生额外的堆栈产生和销毁的开销。 本文标题ModelCoder国产化解决方案已逐步代替国外软件Matlab/Simulink
文本链接http://www.digiproto.com
