基于模型的核电站操作员支持系统开发与测试

我国当前正在大力推广的第三代核电站具有经济性好、安全性高等特点,操作员支持系统作为第三代核电站的必配系统是提高核电站安全性的重要有效手段之一.核电系统越来越复杂,软件的占比越来越高、重要性也越来越突出,亟需探索能有效提高软件质量和可靠性的开发方法.基于模型的软件开发与验证方法已经在各大高安全性行业得到了广泛应用,文中对基于该方法的软件开发与验证流程进行了概览性说明,对相关的核心技术进行了总结,并以核电站操作员支持系统的软件研制为例,对该方法在核电领域软件开发中的适用性进行了探索,结果表明该方法完全满足核电软件的最高安全性要求.