###
Journal of Software:2015.26(2):181-201

基于形式化方法的航空电子系统检测
李睿,连航,马世龙,黎涛
(软件开发环境国家重点实验室北京航空航天大学, 北京 100191)
Avionics System Testing Based on Formal Methods
LI Rui,LIAN Hang,MA Shi-Long,LI Tao
(State Key Laboratory of Software Development Environment BeiHang University, 100191, China)
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 3636   Download 2313
Received:June 23, 2014    Revised:October 31, 2014
> 中文摘要: 随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.
Abstract: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.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金(61003016, 61300007, 61305054); 科技部基本科研业务费重点科技创新类项目(YWF-14-JSJXY-007); 软件开发环境国家重点实验室自主探索基金(SKLSDE-2012ZX-28, SKLSDE-2014ZX-06) 国家自然科学基金(61003016, 61300007, 61305054); 科技部基本科研业务费重点科技创新类项目(YWF-14-JSJXY-007); 软件开发环境国家重点实验室自主探索基金(SKLSDE-2012ZX-28, SKLSDE-2014ZX-06)
Foundation items:
Reference text:

李睿,连航,马世龙,黎涛.基于形式化方法的航空电子系统检测.软件学报,2015,26(2):181-201

LI Rui,LIAN Hang,MA Shi-Long,LI Tao.Avionics System Testing Based on Formal Methods.Journal of Software,2015,26(2):181-201