| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 缩略词 | 第10-11页 |
| 第一章 绪论 | 第11-16页 |
| ·课题研究背景及意义 | 第11-12页 |
| ·国内外研究现状 | 第12-14页 |
| ·论文研究内容与组织结构 | 第14-16页 |
| 第二章 综合航电系统架构及系统资源配置验证分析框架 | 第16-23页 |
| ·IMA系统架构概述 | 第16-17页 |
| ·IMA系统开发与资源配置流程 | 第17-19页 |
| ·IMA系统开发框架 | 第17-18页 |
| ·IMA系统资源配置流程 | 第18-19页 |
| ·MARTE与MAST-2 描述 | 第19-22页 |
| ·MARTE Profile | 第19-21页 |
| ·MAST-2 模型 | 第21-22页 |
| ·本章小结 | 第22-23页 |
| 第三章 IMA系统时间资源配置分析与正确性验证 | 第23-34页 |
| ·基于MARTE的IMA系统建模 | 第23-28页 |
| ·通信虚拟链路建模 | 第23-24页 |
| ·AFDX终端建模 | 第24-25页 |
| ·资源设备模块建模 | 第25页 |
| ·分区建模 | 第25-26页 |
| ·进程建模 | 第26-28页 |
| ·IMA系统时间资源配置验证 | 第28-33页 |
| ·IMA系统调度模型特征 | 第28-29页 |
| ·IMA系统的MAST-2 模型描述 | 第29-32页 |
| ·IMA系统可调度性验证框架 | 第32-33页 |
| ·本章小结 | 第33-34页 |
| 第四章 IMA系统资源分配建模及优化 | 第34-44页 |
| ·IMA系统硬件资源分配 | 第34-35页 |
| ·IMA系统软件资源分配 | 第35-36页 |
| ·IMA系统资源分配及约束建模 | 第36-41页 |
| ·硬件资源分配及约束建模 | 第36-38页 |
| ·软件资源分配及约束建模 | 第38-41页 |
| ·IMA系统资源分配优化 | 第41-43页 |
| ·构建目标函数 | 第41-42页 |
| ·多目标优化算法优化 | 第42-43页 |
| ·本章小结 | 第43-44页 |
| 第五章 IMA系统资源配置验证工具设计与实例分析 | 第44-65页 |
| ·IMA资源配置验证工具设计 | 第44-47页 |
| ·功能需求分析 | 第44-45页 |
| ·工具设计框架 | 第45-46页 |
| ·工具执行流程 | 第46-47页 |
| ·IMA资源配置验证工具实现 | 第47-52页 |
| ·工具平台架构 | 第47-49页 |
| ·获取配置需求 | 第49-50页 |
| ·构建拓扑结构 | 第50-51页 |
| ·实现资源配置 | 第51页 |
| ·时间资源配置验证 | 第51-52页 |
| ·IMA系统时间资源配置验证及优化实例分析 | 第52-63页 |
| ·IMA系统资源配置工具使用实例 | 第53-57页 |
| ·IMA系统时间资源配置正确性验证实例 | 第57-59页 |
| ·IMA系统资源分配优化实例 | 第59-63页 |
| ·本章小结 | 第63-65页 |
| 第六章 总结与展望 | 第65-67页 |
| ·论文总结 | 第65页 |
| ·未来工作展望 | 第65-67页 |
| 参考文献 | 第67-72页 |
| 致谢 | 第72-73页 |
| 在学期间的研究成果及发表的学术论文 | 第73页 |