基于AADL的失效概率分配及安全性评估方法
作者:
作者单位:

作者简介:

魏晓敏(1990-),男,福建龙岩人,博士,CCF学生会员,主要研究领域为系统安全,可信分析与验证;董泽乾(1995-),男,硕士,主要研究领域为信息物理系统融合;肖明睿(1996-),男,硕士,主要研究领域为可信软件设计与验证;田聪(1981-),女,博士,教授,博士生导师,CCF杰出会员,主要研究领域为形式化方法,时序逻辑,模型检测.

通讯作者:

魏晓敏,E-mail:xmwei@mail.nwpu.edu.cn

中图分类号:

基金项目:

国家自然科学基金(61772423)


Failure Probabilities Allocation and Safety Assessment Approaches Based on AADL
Author:
Affiliation:

Fund Project:

National Natural Science Foundation of China (61772423)

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    当代航空系统是复杂的安全关键信息物理融合系统(cyber-physical system,简称CPS).失效概率分配是民用航空系统及设备初步系统安全性评估过程的重要工作,AADL(architecture analysis and design language)适用于航电系统的设计开发,对AADL模型实施失效概率分配和安全性评估是不可或缺的.提出了基于AADL的失效概率分配方法,可将系统失效概率分配给子构件,作为其安全性需求.该方法综合考虑系统架构设计、模型复杂度和严酷度(severity)等级.通过结合失效概率分配方法和确定性随机Petri网(deterministic stochastic Petri-net,简称DSPN),进一步提出了基于AADL的安全性评估方法,将系统的AADL模型转换为DSPN模型,以计算子构件的失效概率,并评估子构件是否满足安全性需求,直到设计出满足安全性目标的架构模型.最后给出了失效概率分配方法与安全性评估方法的实现算法和工具结构,并通过将所提出的方法应用到飞行控制系统,表明所提方法能够有效地完成失效概率分配和安全性评估.

    Abstract:

    Modern avionics systems are complex safety-critical cyber-physical systems (CPSs). Failure probabilities allocation is the important work for civil airborne systems and equipment during the preliminary system safety assessment process. Architecture analysis and design language (AADL) is suitable for the design and development of avionics systems. It is indispensable to perform failure probabilities allocation and safety assessment for AADL models. This study proposes an AADL-based failure probabilities allocation approach, which considers the design of system architectures, model complexities and severity levels. It allocates failure probabilities to subcomponents as safety requirements. Furthermore, with the integration of the proposed allocation approach and deterministic stochastic Petri-net (DSPN), an AADL-based safety assessment method is proposed. It transforms AADL models to DSPN models to calculate failure probabilities of subcomponents and assesses if subcomponents can satisfy safety requirements, so that an architecture that satisfies safety objectives can be obtained. Finally, the algorithm and the structure of the tool are provided for failure probabilities allocation and safety assessment approaches. By assessing flight control systems, it is demonstrated that proposed approaches can effectively perform failure probabilities allocation and safety assessment.

    参考文献
    相似文献
    引证文献
引用本文

魏晓敏,董泽乾,肖明睿,田聪.基于AADL的失效概率分配及安全性评估方法.软件学报,2020,31(6):1654-1671

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2019-08-29
  • 最后修改日期:2019-10-23
  • 录用日期:
  • 在线发布日期: 2020-04-20
  • 出版日期: 2020-06-06
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号