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

作     者：李睿 连航 马世龙 黎涛 LI Rui;LIAN Hang;MA Shi-Long;LI Tao

作者机构：软件开发环境国家重点实验室(北京航空航天大学)北京100191 

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

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2015年第26卷第2期

页      码：181-201页

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

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

学科分类：08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.13328/j.cnki.jos.004775

馆 藏 号：203403327...