基于AADL的失效概率分配及安全性评估方法

• 作者: 田聪 肖明睿 董泽乾 魏晓敏
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: AADL 失效概率分配 安全性评估 DSPN
• 年，卷（期）: 2020,（6）
• 所属期刊栏目: 信息物理系统软件设计自动化专题
• 页码范围: 1654-1671
• 页数: 18页
• 分类号: TP311
• 字数: 14664字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005999

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏晓敏	西北工业大学计算机学院	14	38	3.0	5.0
2	董泽乾	西安电子科技大学计算机科学与技术学院	1	0	0.0	0.0
3	肖明睿	西北工业大学计算机学院	1	0	0.0	0.0
4	田聪	西安电子科技大学计算机科学与技术学院	8	41	4.0	6.0