模型驱动的安全关键系统标准符合性验证方法

• 作者: 陈杰 陈飞羽
• 来源期刊: 航空电子技术
• 学科: 航空航天
• 关键词: 安全关键系统 安全证据 安全标准建模 模型驱动
• 年，卷（期）: 2017,（2）
• 所属期刊栏目: 系统与综合
• 页码范围: 5-10
• 页数: 6页
• 分类号: V328
• 字数: 4815字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-141X.2017.02.02

摘要

大部分安全关键系统都需要进行安全认证,以确保其不会对人、财产或环境造成重大伤害.提供符合性认证所必须的证据是一项具有挑战性的任务.目前学术界提出一种模型驱动的安全关键系统标准符合性验证方法,该方法便于证据链的收集和标准符合性验证.分析了当前模型驱动的安全关键系统的研究现状,介绍了其标准符合性验证方法的概念、模型和框架,并将其与传统的方法进行比较分析,为我国安全关键系统的标准符合性验证提供借鉴.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈杰		7	0	0.0	0.0
2	陈飞羽	复旦大学航空航天数据研究中心	1	0	0.0	0.0