软件学报

作者：魏晓敏，董泽乾，肖明睿，田聪

单位：魏晓敏，西北工业大学 计算机学院, 陕西 西安 71007211,董泽乾，西安电子科技大学 计算机科学与技术学院, 陕西 西安 71007102,肖明睿，西北工业大学 计算机学院, 陕西 西安 71007203,田聪，西安电子科技大学 计算机科学与技术学院, 陕西 西安 71007104

关键词：AADL|失效概率分配|安全性评估|DSPN

基金：国家自然科学基金（61772423）

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

来源：2020年第6期

《软件学报》期刊编辑部

查看软件学报杂志2020年第6期