摘要
由于软件技术在核电站中的应用日益广泛,其安全性显得越发重要;而对提高软件安全性的分析验证技术和方法的研究将进一步促进核电仪控软件的应用。本文将对核电站仪控系统软件开发全生命周期中的若干提高软件安全性的验证技术与方法进行阐述,包括:可追踪性分析、危险分析、安全性测试等。
As software application in nuclear power plants become wide, software safety become important. Improving software safety will promote its application in nuclear instruments and control system. This paper discusses study results of traceability analysis, hazard analysis, safety testing.
出处
《自动化博览》
2012年第9期68-70,共3页
Automation Panorama1
关键词
仪控系统
软件安全性
验证
可追踪性分析
危险分析
安全性测试
Instrument and control （I＆C） system
Software safety
Verification
Traceability analysis
Hazard analysis
Safety testing
