提高核电仪控系统软件安全性的验证技术研究

• 作者: 尹宝娟
• 来源期刊: 自动化博览
• 学科: 工学
• 关键词: 仪控系统 软件安全性 验证 可追踪性分析 危险分析 安全性测试
• 年，卷（期）: 2012,（9）
• 所属期刊栏目: 核电仪控
• 页码范围: 68-70
• 分类号: TM623|TP309
• 字数: 4001字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-0492.2012.09.018

摘要

由于软件技术在核电站中的应用日益广泛,其安全性显得越发重要；而对提高软件安全性的分析验证技术和方法的研究将进一步促进核电仪控软件的应用.本文将对核电站仪控系统软件开发垒生命周期中的若干提高软件安垒性的验证技术与方法进行阐述,包括:可追踪性分析、危险分析、安全性测试等.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	尹宝娟		22	24	2.0	3.0