基于形式化方法的航空电子系统检测  

Avionics System Testing Based on Formal Methods

作　　者：李睿[1] 连航[1] 马世龙[1] 黎涛[1] 

机构地区：[1]软件开发环境国家重点实验室(北京航空航天大学),北京100191

出　　处：《软件学报》2015年第2期181-201,共21页Journal of Software

基　　金：国家自然科学基金(61003016;61300007;61305054);科技部基本科研业务费重点科技创新类项目(YWF-14-JSJXY-007);软件开发环境国家重点实验室自主探索基金(SKLSDE-2012ZX-28;SKLSDE-2014ZX-06)

摘　　要：随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.With the rapid development of aviation models, the degree of digitalization of avionics systems becomes higher and higher, and the proportion of the software in those systems becomes larger and larger. In this paper, software architecture and formal modeling of avionics systems are discussed. Further, a system level integrated testing method based on formalization for avionics system from static and dynamic aspects is proposed. At last, the effectiveness of the proposed approach is evaluated through an integrated testing system designed and implemented in this research.

关 键 词：模型检测 系统形式化 航空电子系统 软件配置项 有限状态自动机 

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