IMA平台网络的通信调度数据自动生成方法研究

发布时间：2017-09-16 15:00

  本文关键词：IMA平台网络的通信调度数据自动生成方法研究

  更多相关文章： IMA IMA平台网络 通信调度 自动生成 递归算法 可调度性验证

【摘要】：IMA系统的实现是基于通用标准平台(IMA平台)以及标准的通信技术(AFDX)。那么,在IMA模块与AFDX集成为IMA平台网络之前,需要进行网络集成测试,以验证IMA模块的通用性以及IMA模块配置与网络配置的一致性。针对IMA平台网络的网络集成测试,现行的方法主要是对IMA平台网络通信流进行测试。作为通信流测试输入数据的通信调度数据,在自动生成的过程中,需要兼顾IMA平台网络的配置信息以及所使用的通信技术的性能信息,使得通信调度数据的自动生成变得复杂,难以实现。寻找一种高效、通用的通信调度数据自动生成算法,能够节省测试所花费的成本,提高测试的准确度。本文研究对象是IMA平台网络通信流测试的输入数据——IMA平台网络通信调度数据,寻求一种递归式的方法来自动生成通信调度数据,并且对生成的通信调度数据进行可调度性验证,以验证生成算法的可行性、有效性,主要研究内容如下:首先,依据ARINC653规范,探讨了IMA模块的架构以及IMA的通信和调度概念。在此基础上,分析了IMA平台网络的通信调度特性,并给出了一个通信调度生成的实例。基于这个实例的分析过程,提出了一种用于IMA平台网络通信调度数据自动生成的递归式方法。最后,借助于体系结构分析设计语言(AADL)对IMA平台网络实例进行建模,针对所建立的IMA平台网络实例模型应用AADL Inspector对其进行可调度分析,以验证生成的通信调度数据的正确性,从而验证递归式算法的可行性。结果表明:本文提出的算法能够快速且准确地生成符合规范的通信调度数据。
【关键词】：IMA IMA平台网络 通信调度 自动生成 递归算法 可调度性验证
【学位授予单位】：中国民航大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：V243.1
【目录】：

• 摘要5-6
• Abstract6-9
• 第一章 绪论9-13
• 1.1 研究背景及意义9-10
• 1.2 国内外研究现状10-12
• 1.3 论文主要工作内容12
• 1.4 本章小结12-13
• 第二章 IMA平台网络基础理论13-23
• 2.1 ARINC653规范定义的IMA模块架构13-16
• 2.1.1 ARINC653介绍13-14
• 2.1.2 IMA模块架构14-16
• 2.2 IMA通信16-18
• 2.2.1 IMA通信理论16-17
• 2.2.2 分区通信17-18
• 2.3 IMA调度18-22
• 2.3.1 IMA调度理论18
• 2.3.2 分区调度18-22
• 2.4 本章小结22-23
• 第三章 IMA平台网络通信调度分析23-33
• 3.1 IMA通信调度23-25
• 3.1.1 IMA通信调度的含义23-24
• 3.1.2 IMA通信调度的特性24-25
• 3.2 通信调度分析25-32
• 3.2.1 分区间端口通信25-27
• 3.2.2 通信调度27-32
• 3.3 本章小结32-33
• 第四章 通信调度数据自动生成33-47
• 4.1 问题概述33
• 4.2 通信调度自动生成过程33-41
• 4.2.1 递归式方法概述36-39
• 4.2.2 基于递归算法的通信调度数据自动生成39-41
• 4.3 仿真结果及分析41-46
• 4.4 本章小结46-47
• 第五章 通信调度数据的评估与验证47-58
• 5.1 基于AADL的IMA平台网络静态模型47-54
• 5.1.1 AADL概述47
• 5.1.2 IMA平台网络静态模型47-50
• 5.1.3 IMA平台网络模型评估50-54
• 5.2 通信调度的动态仿真与评估54-57
• 5.2.1 仿真设置54-55
• 5.2.2 仿真结果与分析55-57
• 5.3 本章小结57-58
• 结论58-60
• 致谢60-61
• 参考文献61-64
• 攻读硕士期间发表论文64

【相似文献】

中国期刊全文数据库 前3条

1 卫锋;;跨平台网络学习行为监视软件的研究与实践[J];湖北理工学院学报;2012年05期

2 张煜,肖文拯;LINUX平台网络服务研究[J];太原重型机械学院学报;2005年01期

3 ;[J];;年期

中国重要会议论文全文数据库 前2条

1 杨进;吴伟杰;祝凤杰;;舰船设计平台网络管理[A];2010年MIS/S&A学术交流会议论文集（中国造船工程学会学术论文集）[C];2010年

2 杨进;张明;祝凤杰;;舰船设计平台网络安全技术探讨[A];2007年CAD/CAM学术交流会议论文集[C];2007年

中国重要报纸全文数据库 前10条

1 丛妍 朱井男 记者 杨晓艳;我省将建设中小企业公共服务平台网络体系[N];吉林日报;2011年

2 实习记者 马捷思;云南省中小企业公共服务平台网络启动[N];云南经济日报;2014年

3 记者 孙伟 通讯员 周珏;全省中小企业公共服务平台网络启动运行[N];云南日报;2014年

4 记者 任杰;搭建服务平台网络 创建充分就业街道[N];营口日报;2010年

5 记者 王光荣 周伟华;我市中小企业公共服务平台网络开建[N];重庆日报;2012年

6 魏林 李世福 本报记者 桑蕾;纵横网络“拦截”中小企业难题[N];黑龙江日报;2012年

7 本报记者 由庆祝 通讯员 魏林;黑龙江打造服务平台网络支持中小企业发展[N];中国工业报;2013年

8 赵孟鑫 黑龙江省财政科学研究所;加强中小企业公共服务平台网络建设[N];黑龙江日报;2013年

9 记者 钟文;我省将力争用3年基本建成中小企业公共服务平台网络[N];成都日报;2013年

10 李;杰尔TrueONE提供统一平台网络[N];计算机世界;2006年

中国硕士学位论文全文数据库 前2条

1 鲁云峰;浙江省中小企业公共服务平台网络融资研究[D];新疆财经大学;2015年

2 李浩;IMA平台网络的通信调度数据自动生成方法研究[D];中国民航大学;2016年

，

本文编号：863725