核安全级仪控系统(FirmSys)平台软件设计技术研究与实现
杜乔瑞;齐敏;石桂连;李萌
【期刊名称】《自动化博览》 【年(卷),期】2024(035)005
【摘要】随着数字化仪控系统在核电厂保护系统中的应用,核安全级(1E级)软件的质量和可信性成为业内关注的焦点.平台软件,即操作系统软件,是数字化仪控系统运行的核心软件,几乎所有功能都依靠平台软件来实现.相关法规和标准对其提出了严格的管理和技术要求,除此之外,平台软件要在设计上充分考虑满足系统的可靠性、安全性、实时性和确定性等要求,如何开发安全、可靠的平台软件成为实现核数字化安全级仪控系统所必须解决的关键难题.本文基于标准要求和保护系统功能特征分析,提出了数字化核安全级仪控(和睦系统)平台软件的关键技术特征,阐述了该软件所采取的时间空间和行为确定性设计、无操作系统下通用平台架构设计、故障安全和自诊断设计、无中断下的软件简化设计等关键设计技术,并简要介绍平台软件的开发生命周期模型.这些设计技术为和睦系统平台软件成功应用在安全级系统中发挥了重要作用,对开发安全级软件具有重要的参考价值.
【总页数】6页(66-71)
【关键词】核电厂;数字化仪控系统;核安全级;平台软件;确定性;故障安全;自诊断 【作者】杜乔瑞;齐敏;石桂连;李萌
【作者单位】北京广利核系统工程有限公司;北京广利核系统工程有限公司;北京广利核系统工程有限公司;北京广利核系统工程有限公司 【正文语种】中文
【中图分类】 【相关文献】
1.核安全级仪控系统通信网络FirmNet设计技术研究 [J], 马光强; 石桂连; 齐敏; 孙永滨
2.先进核安全级仪控系统通信协议技术研究 [J], 马光强; 杜乔瑞; 石桂连; 齐敏; 赵勇
3.数字化核安全级仪控系统软件的验证与确认 [C], 张亚栋
4.数字化核安全级仪控系统软件验证和确认平台的设计与实践 [J], 张亚栋; 程建明
5.核安全级数字化仪控系统软件验证和确认技术标准研究 [J], 吴秀坤; 王根生
以上内容为文献基本信息，获取文献全文请下载
核安全级仪控系统(FirmSys)平台软件设计技术研究与实现
