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

Research on Safety-critical System Based on AADL and GSPN

作　　者：杨海云 孙有朝[1] 阮宏泽 皇甫齐君 YANG Hai-yun;SUN You-chao;RUAN Hong-ze;HUANGFU Qi-jun(College of Civil Aviation,Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China;Shanghai Aircraft Design and Research Institute,COMAC,Shanghai 201210,China;Nanjing Glaway Software Co.,Ltd.,Nanjing 210013,China)

机构地区：[1]南京航空航天大学民航学院,江苏南京210016 [2]中国商用飞机有限责任公司上海飞机设计研究院,上海201210 [3]南京国睿信维软件有限公司,江苏南京210013

出　　处：《航空计算技术》2020年第5期18-22,共5页Aeronautical Computing Technique

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

摘　　要：对于安全关键系统,资源共享在不同功能之间引入了一些不可避免的互连,从而导致故障传播模式更加复杂,分析它们之间的关系变得更加困难。提出使用AADL(Architecture Analysis Design Language)建立系统模型并将其转换为GSPN(Generalized Stochastic Petri Net)模型。利用AADL错误附件不仅可以建立故障传播和组合故障的模型,而且可以将其转换为GSPN模型进行定量或者定性安全分析。以飞行控制软件系统为例,证明了利用AADL与GSPN建模并进行安全性分析是有效的。For safety-critical systems the feature of resource sharing introduces some unintended interconnections among different functions,which makes the fault propagation modes more complex.The analysis of relationship among them becomes more complex.The method that using AADL to build safety model and transforming it to a GSPN model for making safety analysis is proposed.We can not only establish the safety model for fault propagation and composite fault but also transform it to GSPN model successfully.Finally,we take the flight control software system as an example to demonstrate that the method for creating safety model with AADL and making analysis with GSPN is efficiently.

关 键 词：AADL GSPN 故障传播 组合故障 安全性分析 

分 类 号：V37[航空宇航科学与技术—航空宇航推进理论与工程]