安全关键系统及其软件方法

• 作者: 杨启亮 王平 邢建春
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 安全关键系统 安全关键软件 形式化方法 软件方法
• 年，卷（期）: 2011,（2）
• 页码范围: 129-138,147
• 分类号: TP3
• 字数: 17420字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2011.02.040

摘要

安全关键系统是指其不正确的功能或失效会导致人员伤亡、财产损失等严重后果的计算机系统.软件系统是安全关键系统研究的核心和难点.阐明了安全关键系统及其软件的基本概念、主要研究内容、起源与现状,重点讨论了安全关键软件方法,特别是形式化方法的原理、相关标准和典型应用.在分析当前安全关键系统的新变化及其软件面临的挑战的基础上,提出并讨论了形式化方法可能的应对对策和发展方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邢建春	解放军理工大学工程兵工程学院	95	797	12.0	24.0
2	王平	解放军理工大学工程兵工程学院	57	465	11.0	19.0
3	杨启亮	解放军理工大学工程兵工程学院	53	318	9.0	15.0