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

来源 :软件学报 | 被引量 : 0次 | 上传用户：bjbs222

【摘要】

：

当代航空系统是复杂的安全关键信息物理融合系统(cyber-physical system,简称CPS).失效概率分配是民用航空系统及设备初步系统安全性评估过程的重要工作,AADL(architecture a

【作者】

：

魏晓敏董泽乾肖明睿田聪

【机构】

：

西北工业大学计算机学院,西安电子科技大学计算机科学与技术学院

【出处】

：

软件学报

【发表日期】

：

2020年6期

【关键词】

：

AADL 失效概率分配安全性评估 DSPN AADLfailure probabilities allocationsafety assessmentDSPN

【基金项目】

：

国家自然科学基金(61772423)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

当代航空系统是复杂的安全关键信息物理融合系统(cyber-physical system,简称CPS).失效概率分配是民用航空系统及设备初步系统安全性评估过程的重要工作,AADL(architecture analysis and design language)适用于航电系统的设计开发,对AADL模型实施失效概率分配和安全性评估是不可或缺的.提出了基于AADL的失效概率分配方法,可将系统失效概率分配给子构件,作为其安全性需求.该方法综合考虑系统架构设计、模型复杂度和严酷度(severity)等级.通过结

其他文献

西方福利经济学的发展以及对我国社会福利保障发展的借鉴之处

福利经济学的核心内容是如何获得最有效率的社会排序,它对于经济的发展和社会的进步有着积极、深远的意义。在社会主义初级阶段我国既不能盲目学习西方那样建立高福利的社会

期刊

福利经济福利社会社会主义福利保障

MM机电信息——展览

期刊

基于径向波导的V波段功率合成放大器的研究

本文针对卫星通信对毫米波功率放大器的需求,提出了一种V波段功率合成放大器设计方案,并通过仿真及测试工作验证该方案的可行性。首先,在综合考虑行波管与固态放大器的性能及

学位

V波段径向波导功率合成模式转换器

Quantitative Zoning Assessment of Crustal Stability Along the Yunnan- Tibet Railway Line, Western C

<正>The planned Yunnan-Tibet railway goes through the northwest of Yunnan Province and the southeast of the Tibet Autonomous Region.Because of its location near

期刊