基于AADL的软件可靠性验证  

Verification of software dependability based on AADL

作　　者：谯婷婷[1] 王乐[2] 耶国栋 

机构地区：[1]中国航空工业集团西安飞行自动控制研究所,西安710065 [2]西安电子科技大学通信工程学院,西安710071 [3]中国移动通信集团陕西有限公司西安分公司,西安710065

出　　处：《计算机应用》2012年第A02期92-95,139,共5页journal of Computer Applications

基　　金：航空科学基金资助项目(20100718004)

摘　　要：针对软件可靠性面临的安全等级和流延迟两类问题,提出了一种基于结构分析与设计语言(AADL)的软件可靠性验证方法。首先建立两类问题的需求模型,并将需求模型转化为设计模型;其次是调用分析插件对设计模型进行分析,查找模型中存在的问题;最后根据存在的问题对设计模型进行修改和完善。仿真结果表明,所提出的方法有效验证了安全等级和流延迟两类问题,为AADL在航电系统软件验证方面的应用奠定了基础。In order to handle two software dependability problems including security level and flow delay, an Architecture Analysis and Design Language （AADL） based verification method for software dependability was proposed. Firstly, the demand model related to the mentioned problems were established, which was changed into the corresponding design model. Following this, the analytical plugins were employed to analyze the design model, and find the potential problems in it. According the analysis, the design model was finally improved. Simulation results show the proposed method effectively verifies two kinds of problems, i.e., security level and flow delay, which is helpful to lay a good foundation for the applications of AADL in software verification of AVIC system.

关 键 词：软件可靠性 结构分析与设计语言 安全等级 流延迟 

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