核电厂数字化仪控系统算法软件自动化生成方法

作     者：黄俊 李晓龙 赵洋 吴延群 HUANG Jun;LI Xiaolong;ZHAO Yang;WU Yanqun

作者机构：中国核动力研究设计院核反应堆系统设计技术重点实验室 

出 版 物：《上海交通大学学报》 (Journal of Shanghai Jiaotong University)

年 卷 期：2018年第52卷第S1期

页      面：31-35页

核心收录：

学科分类：080802[工学-电力系统及其自动化] 0808[工学-电气工程] 08[工学] 

主　　题：核电厂 数字化仪控系统 自动化生成方法 高安全性要求 

摘      要：在核电厂数字化仪控系统(DCS)中,算法软件主要完成系统的业务功能,属于安全级软件.算法软件开发遵循软件的典型生命周期,即从软件的需求,设计到实现的整个过程.在核电行业的算法软件开发生命周期中,需求一般对应功能图,设计一般对应逻辑图,实现一般对应C代码.在算法软件的开发过程中,可能在不经意间引入一些人为错误,导致一些不可承受的严重后果.文中针对核电厂DCS系统算法软件的安全性要求,基于SCADE软件的KCG模式生成代码,提出算法软件从需求到代码自动化生成的方法,并利用该方法开发出符合核电行业高安全性要求的算法软件,从而使得核电厂DCS系统设计人员既能节省整个算法软件的开发周期,又能保证开发出的软件具备在系统中运行的高安全性要求.在满足核安全的前提下,该方法可以大幅缩短工程设计的开发时间,提高用户使用体验,具有可观的经济效益.