ModelCoder——建模仿真与代码生成软件 在安全关键领域,基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用Simulink或者SCADE等嵌入式软件建模工具,对算法或控制逻辑进行可视化建模,然后生成高可靠的二进制代码逐渐成为安全关键领域的主流软件开发方式。
01图形化建模编辑器1.通过对信号及子系统的封装实现模型层次化管理;2.支持数据流模型和状态机模型混合建模;3.支持模型功能分解;4.支持模型分割;5.支持版本管理。▲ModelCoder图形化建模编辑器02自定义模块库1.支持连续、离散动态系统模块;2.支持多种算法模块,如加法、
近日,浙江省经济和信息化厅公布《2023年浙江省首版次软件产品应用推广指导目录》,浙江迪捷软件科技有限公司的“ModelCoder 建模及形式化验证代码生成软件”经过多轮审核及专家评定被纳入目录,这是迪捷软件自主研发的产品继“天目全数字实时仿真软件 V3.5”后,再次获评浙江省首版次软件,充分展示了迪捷卓越的技术实力与市场...
软件名称形式化验证的代码生成工具ModelCoder软件 软件简称-版本号V1.0.1 登记号2023SR0786876分类号- 著作权人浙江迪捷软件科技有限公司首次发表日期2021-05-11 登记日期2023-07-04 该公司其他软件著作权 序号登记日期软件全称软件简称登记号版本号 12025-02-18射控系统全数字实时仿真平台-2025SR0281331V3.6 ...
发布了头条文章:《ModelCoder状态机:对柴油机工况判断策略进行建模》 #ECU# #状态机# #ModelCoder# #仿真建模# °ModelCoder状态机:对柴油机工况判断策略进行... 迪捷软件 ModelCoder状态机:对柴油机工况判断策略进行建模 û收藏 转发 评论 ñ赞 评论 o p 同时转发到我的微博 按...
ModelCoder是浙江迪捷软件科技有限公司完全自主研发的一款支持可视化建模,仿真并生成高可靠C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于飞机的飞控,飞机的航电,核电的DCS等多个安全关键领域的嵌入式软件的设计和...
近日,浙江省经济和信息化厅公布《2023年浙江省首版次软件产品应用推广指导目录》,浙江迪捷软件科技有限公司的“ModelCoder 建模及形式化验证代码生成软件”经过多轮审核及专家评定被纳入目录,这是迪捷软件自主研发的产品继“天目全数字实时仿真软件 V3.5”后,再次获评浙江省首版次软件,充分展示了迪捷卓越的技术实力与市场...
软件产品 专注于安全关键领域的嵌入式DevOps 、 MBSE和数字装备产品及解决方案 专注于安全关键领域的嵌入式DevOps 、 MBSE和数字装备产品及解决方案 ModelCoder核电自主化安全级代码生成器案例 ModelCoder可搭建核级DCS系统的数据流模型和状态机模型,在核电站发生事故时紧急“刹车”,确保反应堆安全,并进行事故后检测。数...
喜报|迪捷软件“ModelCoder 建模及形式化验证代码生成软件”荣登浙江省首版次产品目录 近日,浙江省经济和信息化厅公布《2023年浙江省首版次软件产品应用推广指导目录》,浙江迪捷软件科技有限公司的“ModelCoder 建模及形式化验证代码生成软件”经过多轮审核及专家评定被纳入目录。 2023-12-22 digiproto 390 精彩回顾 ...
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,保…