| 模型驱动的安全关键系统标准符合性验证方法 |
| |
| 引用本文： | 陈杰,陈飞羽. 模型驱动的安全关键系统标准符合性验证方法[J]. 航空电子技术, 2017, 48(2). DOI: 10.3969/j.issn.1006-141X.2017.02.02 |
| |
| 作者姓名： | 陈杰 陈飞羽 |
| |
| 作者单位： | 1. 中国民用航空上海航空器适航审定中心,上海,200335;2. 复旦大学航空航天数据研究中心,上海,200433 |
| |
| 摘 要： | 大部分安全关键系统都需要进行安全认证,以确保其不会对人、财产或环境造成重大伤害。提供符合性认证所必须的证据是一项具有挑战性的任务。目前学术界提出一种模型驱动的安全关键系统标准符合性验证方法,该方法便于证据链的收集和标准符合性验证。分析了当前模型驱动的安全关键系统的研究现状,介绍了其标准符合性验证方法的概念、模型和框架,并将其与传统的方法进行比较分析,为我国安全关键系统的标准符合性验证提供借鉴。
|
| 关 键 词： | 安全关键系统 安全证据 安全标准建模 模型驱动 |
Model-Driven Approach in Safety Compliance Verification for Safety-Critical Systems |
| |
| CHEN Jie,CHEN Fei-yu. Model-Driven Approach in Safety Compliance Verification for Safety-Critical Systems[J]. Avionics Technology, 2017, 48(2). DOI: 10.3969/j.issn.1006-141X.2017.02.02 |
| |
| Authors: | CHEN Jie CHEN Fei-yu |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
