###
Journal of Software:2020.31(6):1654-1671

基于AADL的失效概率分配及安全性评估方法
魏晓敏,董泽乾,肖明睿,田聪
(西北工业大学 计算机学院, 陕西 西安 710072;西安电子科技大学 计算机科学与技术学院, 陕西 西安 710071)
Failure Probabilities Allocation and Safety Assessment Approaches Based on AADL
WEI Xiao-Min,DONG Ze-Qian,XIAO Ming-Rui,TIAN Cong
(School of Computer Science, Northwestern Polytechnical University, Xi'an 710072, China;School of Computer Science and Technology, Xidian University, Xi'an 710071, China)
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 496   Download 526
Received:August 29, 2019    Revised:October 23, 2019
> 中文摘要: 当代航空系统是复杂的安全关键信息物理融合系统(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.
文章编号:     中图分类号:TP311    文献标志码:
基金项目:国家自然科学基金(61772423) 国家自然科学基金(61772423)
Foundation items:National Natural Science Foundation of China (61772423)
Reference text:

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

WEI Xiao-Min,DONG Ze-Qian,XIAO Ming-Rui,TIAN Cong.Failure Probabilities Allocation and Safety Assessment Approaches Based on AADL.Journal of Software,2020,31(6):1654-1671