应用在核电站DCS系统的代码自动生成工具ModelCoder

对标航空航天领域，核电新型号作为典型复杂系统在未来的发展趋势和任务变得十分明确，即正规化、标准化地应用MBSE从概念设计、初步设计、持续贯穿至详细设计、施工、调试、运维、退役的全生命周期各阶段，开发出符合核工业本身的需求（Requirement）、功能（Function）和逻辑（Logical）等系统模型，助力设计端的前期连续仿真与验证，并继承至下游用于物理设计（Physical）、施工仿真、虚拟调试、预防性检修等，保障系统全生命周期的可追溯性，同时进化式地迭代复用。

如何实现基于模型的系统工程（MBSE）

在我国航空航天、核电站、轨道交通等安全关键领域，越来越多的基于模型的系统工程（MBSE）正在进入我国的装备制造中，使用Scade或Sumlink软件工具来创建可视化的系统模型，用于生成可直接运行的二进制代码正在成为主流的开发方法。

应用在核电站DCS系统的代码自动生成工具ModelCoder软件工具让数字化转型更容易实现，有助于提高开发效率和成本，由迪捷软件自主开发的ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。

ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，保证生成过程的正确无误性，能够用于飞机的飞控，飞机的航电，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发，应用在核电站DCS系统的代码自动生成工具ModelCoder等MBSE软件工具让数字化转型更容易实现。

ModelCoder的原理

代码生成工具是编译器的一种，是把模型语言翻译成C语言的编译器。代码生成工具广泛用于我国的航空、轨交和核电等安全关键领域。保证代码生成工具的生成过程的安全可靠性是安全关键领域必须要面对的课题。ModelCoder采用了最严格的形式化技术，用定理证明的方式对模型到代码的生成过程进行了严格的数学证明。和同类软件SCADE的KCG相比，KCG只是采用了模型检测技术对模型本身进行了证明，而ModelCoder无疑在技术途径上更为可靠。

ModelCoder的功能

软件建模的图形化前端；
模型的仿真运行测试模块；
C代码的自动生成模块。

本文标题：应用在核电站DCS系统的代码自动生成工具ModelCoder

文本链接：http://www.digiproto.com

应用在核电站DCS系统的代码自动生成工具ModelCoder相关推荐

国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink
在安全关键领域,基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中.使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模,然后生成高可靠的二进制代码逐渐成 ...
用java写ods系统_基于数据库的代码自动生成工具，生成JavaBean、生成数据库文档、生成前后端代码等(TableGo v7.0.0版)...
TableGo是基于数据库的代码自动生成工具,低代码编程技术的实现,可以零代码自动生成SpringBoot项目工程.生成JavaBean.生成前后端分离的CRUD代码.生成MyBaits的Mapper ...
自动产生fsm代码的工具_代码自动生成工具
构建支持多种数据库类型的代码自动生成工具背景: 一般的业务代码中写来写去,无外乎是先建好model,然后针对这个model做些CRUD的操作.(主要针对单表的业务操作)针对于数据库dao.mappe ...
国产自主可控的代码自动生成工具SkyEye
传统的系统开发过程,都是由工程师根据项目需求书来编写代码完成系统的开发,但随着功能的扩充和版本的迭代,系统中庞大的代码量很难确保正确无误,给后期测试和仿真带来了很大的压力和成本,在航空航天.卫星系统. ...
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.新增导入 ...
湛蓝代码自动生成工具有感
终于有了些许时间,让我整理一下自己的思路,顺便写一下博客,开博那么久,几乎没有写过真正意义上的随笔,实在是汗颜... 书归正传,代码生成工具这个东东,自然不用我在这里解释是做什么用的了,今天我特地要介 ...

应用在核电站DCS系统的代码自动生成工具ModelCoder

应用在核电站DCS系统的代码自动生成工具ModelCoder相关推荐

最新文章

热门文章