科研之友
微信
新浪微博
Facebook
分享链接
摘要
大部分安全关键系统都需要进行安全认证,以确保其不会对人、财产或环境造成重大伤害。提供符合性认证所必须的证据是一项具有挑战性的任务。目前学术界提出一种模型驱动的安全关键系统标准符合性验证方法,该方法便于证据链的收集和标准符合性验证。分析了当前模型驱动的安全关键系统的研究现状,介绍了其标准符合性验证方法的概念、模型和框架,并将其与传统的方法进行比较分析,为我国安全关键系统的标准符合性验证提供借鉴。
-
单位中国民用航空上海航空器适航审定中心; 复旦大学
