核安全级仪控系统(FirmSys)平台软件设计技术研究与实现

随着数字化仪控系统在核电厂保护系统中的应用,核安全级(1E级)软件的质量和可信性成为业内关注的焦点.平台软件,即操作系统软件,是数字化仪控系统运行的核心软件,几乎所有功能都依靠平台软件来实现.相关法规和标准对其提出了严格的管理和技术要求,除此之外,平台软件要在设计上充分考虑满足系统的可靠性、安全性、实时性和确定性等要求,如何开发安全、可靠的平台软件成为实现核数字化安全级仪控系统所必须解决的关键难题.本文基于标准要求和保护系统功能特征分析,提出了数字化核安全级仪控(和睦系统)平台软件的关键技术特征,阐述了该软件所采取的时间空间和行为确定性设计、无操作系统下通用平台架构设计、故障安全和自诊断设计、无中断下的软件简化设计等关键设计技术,并简要介绍平台软件的开发生命周期模型.这些设计技术为和睦系统平台软件成功应用在安全级系统中发挥了重要作用,对开发安全级软件具有重要的参考价值.