国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink
在安全关键领域,基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模,然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流软件开发方式。由我司自主开发的国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,保证生成过程的正确无误性,能够用于飞机的飞控,飞机的航电,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
ModelCoder简介
国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink软件工具是一款支持多种嵌入式系统建模并可以代码自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,保证生成过程的正确无误性,能够用飞控,航电,核电DCS等多个安全关键领域的嵌入式软件的设计和开发。
ModelCoder的3大功能
- 仿真测试
- 生成C代码
- 模型搭建
Modelcoder的优势
- 代码生成全过程经过形式化验证,安全可靠
- 图形化方式建模,更直观
- 国产处理器和国产操作系统的支持
转载于:http://www.digiproto.com
国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink相关推荐
- 应用在核电站DCS系统的代码自动生成工具ModelCoder
对标航空航天领域,核电新型号作为典型复杂系统在未来的发展趋势和任务变得十分明确,即正规化.标准化地应用MBSE从概念设计.初步设计.持续贯穿至详细设计.施工.调试.运维.退役的全生命周期各阶段,开发出 ...
- 国产自主可控的代码自动生成工具SkyEye
传统的系统开发过程,都是由工程师根据项目需求书来编写代码完成系统的开发,但随着功能的扩充和版本的迭代,系统中庞大的代码量很难确保正确无误,给后期测试和仿真带来了很大的压力和成本,在航空航天.卫星系统. ...
- 自动产生fsm代码的工具_代码自动生成工具
构建支持多种数据库类型的代码自动生成工具 背景: 一般的业务代码中写来写去,无外乎是先建好model,然后针对这个model做些CRUD的操作.(主要针对单表的业务操作)针对于数据库dao.mappe ...
- 用java写ods系统_基于数据库的代码自动生成工具,生成JavaBean、生成数据库文档、生成前后端代码等(TableGo v7.0.0版)...
TableGo是基于数据库的代码自动生成工具,低代码编程技术的实现,可以零代码自动生成SpringBoot项目工程.生成JavaBean.生成前后端分离的CRUD代码.生成MyBaits的Mapper ...
- java生成iso9660工具_基于数据库的代码自动生成工具,生成JavaBean、生成数据库文档、生成前后端代码等(TableGo v7.0.0版)...
TableGo_20210212 v7.0.0 正式版发布,此次版本更新如下: 1.新增对DB2数据库的支持 2.新增按字段生成文件,支持把字段.JSON.XML数据转换成任何代码 3.新增大量新的自 ...
- freemarker mysql 生成bean_基于数据库的代码自动生成工具,生成JavaBean、生成数据库文档、生成前后端代码等(v6.6.6版)...
TableGo_20191026 v6.6.6 正式发布,此次版本更新如下: 1.新增通过自定义模板生成Word文档的功能,可以使用FreeMarker模板生成自定义格式的数据库文档. 2.新增 Sw ...
- 基于数据库的代码自动生成工具,生成JavaBean、生成数据库文档、生成前后端代码等(v6.9.0版)
TableGo_20200520 v6.9.0 正式版发布,此次版本更新如下: 1.新增对JDK9及以上版本Java环境的支持 2.生成JavaBean更名为生 ...
- 基于数据库的代码自动生成工具,生成JavaBean、生成数据库文档、生成前后端代码等(TableGo v7.4.0版)
TableGo_20210921 v7.4.0 正式版发布,此次版本累计更新如下: 1.新增企业或个人的简单定制版本,为企业和个人提供软实力的增值 2.新增导入 ...
- 湛蓝代码自动生成工具有感
终于有了些许时间,让我整理一下自己的思路,顺便写一下博客,开博那么久,几乎没有写过真正意义上的随笔,实在是汗颜... 书归正传,代码生成工具这个东东,自然不用我在这里解释是做什么用的了,今天我特地要介 ...
最新文章
- HDU 6229 Wandering Robots 找规律+离散化
- 动态参数与静态参数的判断、修改
- 网站内容优化时需注意哪些事项?
- linux命令查看几位,Linux每周几个命令(一)--查找篇
- 被压缩的视觉:视频编解码技术
- 接口测试客户端的搭建
- android获取该控件在屏幕,android获取屏幕宽高与获取控件宽高(三种方法)
- 自定义生成器函数模拟Python内置函数filter()
- Kubernetes学习总结(4)——Kubernetes v1.20 重磅发布 | 新版本核心主题 主要变化解读
- Javaweb在线视频学习网站的设计与实现
- 服务器网页不显示动画,网页flash动画不显示的解决方法
- 阿诺德图像加密c语言,三维arnold变换图像加密算法
- 码字 层映射 预编码的概念总结
- ubuntu16.04 创建用户,赋予权限
- [18调剂]华中师范大学伍伦贡联合研究院接收硕士研究生调剂的通知
- 分享几个 Github 镜像网站(亲测可用)
- 什么是MES?MES系统有哪些功能?
- 人工智能对金融业的影响_人工智能如何改变金融业
- unity 震动脚本_Unity - Cinemachine实现相机抖动
- Redis 事件机制详解
热门文章
- centos mysql_CentOS MySQL数据库备份工具mysqldump介绍
- Spring深入理解之ComponentScan___@ComponentScan 详解
- 注解 @CrossOrigin
- java中android_在Android中用纯Java代码布局
- php开发电商项目的技术,[项目实战] php电商开发基本功课程 电商后台实战开发视频教程 共6章...
- 不改变原数组的一些方法
- Java 多线程 —— AQS 详解
- 中蜂几月份自然分蜂_蜜蜂什么时候自然分蜂?
- dao传递类参数 mybatis_Mybatis (ParameterType) 如何传递多个不同类型的参数
- KMP算法 串模式识别 用nextval[j]改进next[j]