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

作者：黄俊; 李晓龙; 赵洋; 吴延群

来源：上海交通大学学报, 2018, 52(S1): 31-35.

DOI：10.16183/j.cnki.jsjtu.2018.S1.007

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

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

• 单位
  中国核动力研究设计院