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

来源：软件学报杂志2015年第2期北京时间：

作者：李睿,连航,马世龙,黎涛

单位：李睿，软件开发环境国家重点实验室北京航空航天大学, 北京 10019111,连航，软件开发环境国家重点实验室北京航空航天大学, 北京 10019102,马世龙，软件开发环境国家重点实验室北京航空航天大学, 北京 10019103,黎涛，软件开发环境国家重点实验室北京航空航天大学, 北京 10019104

摘要：随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.

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

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