收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

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

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

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 吴建民;敬忠良;肖刚;;基于原型仿真的航空电子系统螺旋式开发方法[J];系统工程与电子技术;2007年03期
2 诸葛卉;;高速发展的新一代综合模块化航空电子系统[J];航空电子技术;2007年03期
3 陈德煌;;航空电子系统的保障性设计[J];航空维修与工程;2009年05期
4 李鹏;张磊;窦爱萍;;通用飞机航空电子系统技术发展研究[J];电子技术;2013年10期
5 史济林;;航空电子系统的层次结构[J];航空电子技术;1983年03期
6 张运良;;航空电子系统标准化设备[J];航空电子技术;1984年03期
7 陈顺灿;;先进航空电子系统和数据传输设备[J];航空电子技术;1986年02期
8 沈天伟;;对波音7J7航空电子系统的一些考虑[J];航空电子技术;1987年04期
9 周训文;;第五代航空电子系统的仿真研究[J];航空精密制造技术;1992年01期
10 陆荣国;软件工程与新一代航空电子系统软件[J];航空电子技术;1992年01期
11 秦显忠;国外数字式航空电子系统的硬件评估[J];航空电子技术;1992年03期
12 任苏中;当代航空电子系统热管理[J];国际航空;1994年08期
13 王志方;模块化航空电子系统[J];航空电子技术;1994年01期
14 任舟 ,范波;高度综合——21世纪航空电子系统支柱[J];国际航空;1996年10期
15 陈德煌;;新一代航空电子系统及其保障对策[J];直升机技术;1997年03期
16 黄永葵;下一代航空电子系统及其标准化[J];航空标准化与质量;1998年04期
17 时杰;航空电子系统日新月异──航空电子发展90年回顾[J];国际航空;1999年04期
18 罗志强,周强,熊华钢;光纤统一网络及其核心技术 新一代军用航空电子系统[J];国际航空;1999年09期
19 冯飞;谷青范;张育平;;航空电子系统功能综合的收益分析研究[J];航空电子技术;2014年01期
20 马建毅;郑连泽;;未来航空电子系统的发展方向[J];舰船电子工程;2014年03期
中国重要会议论文全文数据库 前10条
1 王可涵;许明轩;屈霞;张月;陈香艳;周明;;关于通用飞机航空电子系统配套的思考[A];第十三届中国科协年会第22分会场-中国通用航空发展研讨会论文集[C];2011年
2 吴寄志;;航空电子系统综合及体系结构[A];探索创新交流--中国航空学会青年科技论坛文集[C];2004年
3 吴建民;;军用航空电子技术发展趋势与面临的挑战[A];探索创新交流--中国航空学会青年科技论坛文集[C];2004年
4 霍曼;邓中卫;;国外军用飞机航空电子系统发展趋势[A];中国航空学会信号与信息处理专业全国第八届学术会议论文集[C];2004年
5 吴建民;吴铭望;李国经;;大型客机航空电子系统研发关键技术分析及建议[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年
6 孙晓哲;宋晗;陈宗基;;民机航空电子系统及虚拟样机技术研究[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年
7 王运盛;陈颖;;分布式对象技术及其在综合化航空电子系统中的应用[A];中国雷达行业协会航空电子分会暨四川省电子学会航空航天专委会学术交流会论文集[C];2005年
8 罗通俊;;第四代战斗机航空电子系统综合化进展[A];四川省电子学会雷达与火控、电子线路与系统专业委员会学术交流会10周年优秀论文集[C];2006年
9 罗通俊;;航空电子系统综合化与航电系统网络[A];四川省电子学会雷达与火控、电子线路与系统专业委员会学术交流会10周年优秀论文集[C];2006年
10 罗杰;霍曼;;AFDX通信链路技术及其在航空电子系统的应用[A];全国第十届信号与信息处理、第四届DSP应用技术联合学术会议论文集[C];2006年
中国硕士学位论文全文数据库 前10条
1 雷国志;多智能体技术在航空电子系统中的应用研究[D];电子科技大学;2013年
2 吴延昌;航空电子系统可信计算网络关键技术研究[D];西北工业大学;2006年
3 王骥;实时以太网技术在航空电子系统中的应用[D];哈尔滨工程大学;2006年
4 张伟;航空电子系统中的光纤通道技术研究[D];西北工业大学;2006年
5 董天天;航空电子系统的测试的设计与实现[D];西安电子科技大学;2013年
6 冯宏文;非航空电子系统监控技术研究[D];西北工业大学;2002年
7 童法松;NAMP系统与发动机系统交联设计与实现[D];东北大学;2008年
8 周银萍;综合化航空电子系统可信保障关键技术研究[D];西安电子科技大学;2014年
9 李群;综合化航空电子系统的仿真可信度研究[D];西北工业大学;2006年
10 李文军;飞机航电综合显控计算机视频显示技术的研究与实现[D];西北工业大学;2002年
中国重要报纸全文数据库 前9条
1 记者 张忠诚;市政府与中航航空电子系统有限公司签订战略合作框架协议[N];鹤壁日报;2011年
2 束洪福;瞄准国际领先 建一流航空电子系统所[N];科技日报;2013年
3 范秋丽;罗·柯公司航空电子系统助飞波音787[N];中国航空报;2010年
4 中航工业西安航空计算技术研究所 田泽;航空微电子技术及产业分析[N];中国航空报;2011年
5 王红春 顾勇;计算所AFDX网络产品亮相国际市场[N];中国航空报;2010年
6 通讯员陆苏平;上海建立嵌入式实时操作系统应用开发实验室[N];中国航空报;2008年
7 本报记者 李雨农;五十年华彩 今写新篇章[N];中国航空报;2007年
8 晓帆;中国客机“飞”入,全球航空产业或洗牌[N];中国航空报;2011年
9 曾菊敏;为了腾飞的事业[N];中国航空报;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978