基于AADL模型航空安全软件可信性度量方法  

Trustworthiness Measurement Method of Aviation Software Based on AADL Model

作　　者：刘歆宁 康玲[1] LIU Xin-ning;KANG Ling(Department of Software Engineering,Dalian Neusoft University of Information,Dalian 116023,China)

机构地区：[1]大连东软信息学院软件工程系,辽宁大连116023

出　　处：《计算机技术与发展》2023年第8期81-87,94,共8页Computer Technology and Development

基　　金：辽宁省教育厅高等学校基本科研项目(LJKMZ20222007);大连市青年科技之星项目(2021RQ068)。

摘　　要：航空嵌入式实时系统越来越复杂,AADL(Architecture Analysis&Design Language)是基于模型驱动的嵌入式实时系统的设计与实现的基础,未解决基于AADL模型的软件可信性度量与分析方面研究内容还不完善的问题,针对航空电子系统实例,对基于AADL模型的软件研究了一种综合的可信性度量方案。首先,从复杂性、规模、内聚性及耦合性四个方面进行可信性度量并形成度量指标;其次,将AADL故障模型转换为Markov模型,进而提出了对基于AADL故障模型的软件进行可信性度量的方法;再次,将模糊综合评价法应用于基于AADL模型的软件可信性评估之中,将度量指标建立评估模型;最后,实现了可信性度量与评估工具。结果表明:该工具通过用户定制可信性度量模型并度量解析后的AADL模型。可见,该方法较好地反映了开发早期阶段的航空软件的可信性特征。Aviation embedded real-time systems are becoming more and more complex.AADL(Architecture Analysis&Design Language)is the basis for the design and implementation of model-driven embedded real-time systems.It does not solve the problem that the research content of software credibility measurement and analysis based on AADL model is not perfect.We study a comprehensive credibility measurement scheme for the software based on AADL model for the example of avionics system.Firstly,the credibility measurement is carried out from the four aspects of complexity,scale,cohesion and coupling,and the measurement indicators are formed.Secondly,the AADL fault model is transformed into a Markov model,and then a method to measure the credibility of software based on AADL fault model is proposed.Thirdly,the fuzzy comprehensive evaluation method is applied to the software credibility evaluation based on AADL model,and the evaluation model is established by the measurement indicators.Finally,the credibility measurement and evaluation tool is implemented.The results show that the tool can customize the credibility measurement model and measure the parsed AADL model.It can be seen that the proposed method better reflects the credibility characteristics of aviation software in the early stage of development.

关 键 词：AADL 航空软件可信性度量 Markov分析方法 模型转换规则 模糊综合评价法 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]