基于AADL和GSPN的安全关键系统的研究

作     者：杨海云 孙有朝 阮宏泽 皇甫齐君 YANG Hai-yun;SUN You-chao;RUAN Hong-ze;HUANGFU Qi-jun

作者机构：南京航空航天大学民航学院江苏南京210016 中国商用飞机有限责任公司上海飞机设计研究院上海201210 南京国睿信维软件有限公司江苏南京210013 

基　　金：国家自然科学基金委员会与中国民用航空局联合项目资助(U1333119) 国防基础科研计划项目资助(JCKY2013605B002) 上海民用飞机健康监控工程技术研究中心开放课题基金资助(GCZX-2015-05) 国防科工局技术基础科研项目资助(Z052013B003) 江苏省自然科学青年基金项目资助(BK20140813) 

出 版 物：《航空计算技术》 (Aeronautical Computing Technique)

年 卷 期：2020年第50卷第5期

页      码：18-22页

摘      要：对于安全关键系统,资源共享在不同功能之间引入了一些不可避免的互连,从而导致故障传播模式更加复杂,分析它们之间的关系变得更加困难。提出使用AADL(Architecture Analysis Design Language)建立系统模型并将其转换为GSPN(Generalized Stochastic Petri Net)模型。利用AADL错误附件不仅可以建立故障传播和组合故障的模型,而且可以将其转换为GSPN模型进行定量或者定性安全分析。以飞行控制软件系统为例,证明了利用AADL与GSPN建模并进行安全性分析是有效的。

主 题 词：AADL GSPN 故障传播 组合故障 安全性分析 

学科分类：08[工学] 0825[工学-环境科学与工程类] 

馆 藏 号：203978368...