主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
李睿,连航,马世龙,黎涛.基于形式化方法的航空电子系统检测.软件学报,2015,26(2):181-201
基于形式化方法的航空电子系统检测
Avionics System Testing Based on Formal Methods
投稿时间:2014-06-23  修订日期:2014-10-31
DOI:10.13328/j.cnki.jos.004775
中文关键词:  模型检测  系统形式化  航空电子系统  软件配置项  有限状态自动机
英文关键词:model checking  system formalization  avionics system  software configuration item  finite state automaton
基金项目:国家自然科学基金(61003016, 61300007, 61305054); 科技部基本科研业务费重点科技创新类项目(YWF-14-JSJXY-007); 软件开发环境国家重点实验室自主探索基金(SKLSDE-2012ZX-28, SKLSDE-2014ZX-06)
作者单位E-mail
李睿 软件开发环境国家重点实验室北京航空航天大学, 北京 100191 rui.li.buaa@gmail.com 
连航 软件开发环境国家重点实验室北京航空航天大学, 北京 100191  
马世龙 软件开发环境国家重点实验室北京航空航天大学, 北京 100191  
黎涛 软件开发环境国家重点实验室北京航空航天大学, 北京 100191  
摘要点击次数: 3110
全文下载次数: 2143
中文摘要:
      随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利