论文部分内容阅读
为规范核电厂控制系统的软件开发和验证活动,提出了软件关键性分析方法。运用软件关键性流程树对软件组件的关键性等级进行初步分类,按软件危险性与可操作性分析方法验证该关键性等级,结合控制系统的整体安全目标确定各软件组件的安全完整性等级。应用实验表明:与现有方法相比,本方法具有更好的可操作性和可验证性,可为核电厂控制系统的软件关键性分析提供参考。