应用在核电站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的功能

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

---

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

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