| 魏晓敏,董泽乾,肖明睿,田聪.基于AADL的失效概率分配及安全性评估方法.软件学报,2020,31(6):1654-1671 |
| 基于AADL的失效概率分配及安全性评估方法 |
| Failure Probabilities Allocation and Safety Assessment Approaches Based on AADL |
| 投稿时间：2019-08-29 修订日期：2019-10-23 |
| DOI：10.13328/j.cnki.jos.005999 |
| 中文关键词: AADL|失效概率分配|安全性评估|DSPN |
| 英文关键词:AADL|failure probabilities allocation|safety assessment|DSPN |
| 基金项目:国家自然科学基金（61772423） |
|
| 摘要点击次数: 1069 |
| 全文下载次数: 881 |
| 中文摘要: |
| 当代航空系统是复杂的安全关键信息物理融合系统（cyber-physical system，简称CPS）.失效概率分配是民用航空系统及设备初步系统安全性评估过程的重要工作，AADL（architecture analysis and design language）适用于航电系统的设计开发，对AADL模型实施失效概率分配和安全性评估是不可或缺的.提出了基于AADL的失效概率分配方法，可将系统失效概率分配给子构件，作为其安全性需求.该方法综合考虑系统架构设计、模型复杂度和严酷度（severity）等级.通过结合失效概率分配方法和确定性随机Petri网（deterministic stochastic Petri-net，简称DSPN），进一步提出了基于AADL的安全性评估方法，将系统的AADL模型转换为DSPN模型，以计算子构件的失效概率，并评估子构件是否满足安全性需求，直到设计出满足安全性目标的架构模型.最后给出了失效概率分配方法与安全性评估方法的实现算法和工具结构，并通过将所提出的方法应用到飞行控制系统，表明所提方法能够有效地完成失效概率分配和安全性评估. |
| 英文摘要: |
| 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. |
|
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
