| 摘要 | 第1-5页 |
| ABSTRACT | 第5-11页 |
| 缩略词 | 第11-12页 |
| 第一章 绪论 | 第12-19页 |
| ·课题研究背景 | 第12-14页 |
| ·国内外研究现状 | 第14-16页 |
| ·研究目的和意义 | 第16-17页 |
| ·主要研究内容及各章节安排 | 第17-19页 |
| 第二章 相关基础知识 | 第19-36页 |
| ·IMA系统 | 第19-21页 |
| ·IMA系统相关定义及其通用开放式架构 | 第19-21页 |
| ·IMA系统资源配置过程 | 第21页 |
| ·ARINC653 标准 | 第21-22页 |
| ·AADL | 第22-33页 |
| ·组件类型(Component Type) | 第23-24页 |
| ·组件实现(Component Implementation) | 第24页 |
| ·组件(Components)分类 | 第24-30页 |
| ·组件交互 | 第30-32页 |
| ·模式(modes) | 第32页 |
| ·附件库(Annex Library) | 第32页 |
| ·AADL模型工具 | 第32-33页 |
| ·AltaRica | 第33-34页 |
| ·AltaRica的定义 | 第33-34页 |
| ·AltaRica模型工具SimFia | 第34页 |
| ·基于模型驱动的IMA资源配置安全性分析 | 第34-35页 |
| ·本章小结 | 第35-36页 |
| 第三章 IMA资源配置的建模与模型转换 | 第36-54页 |
| ·基于EMF对IMA系统对象的建模 | 第36-46页 |
| ·IMA系统对象 | 第36-37页 |
| ·基于EMF的IMA对象和资源建模 | 第37-44页 |
| ·IMA资源配置过程 | 第44-46页 |
| ·IMA资源配置信息转换为AADL模型 | 第46-53页 |
| ·转换规则 | 第46-49页 |
| ·AADL针对结合了ARINC653 规范的IMA资源配置的扩展属性集 | 第49-53页 |
| ·本章小结 | 第53-54页 |
| 第四章 资源配置AADL模型的验证 | 第54-61页 |
| ·REAL语言 | 第54-57页 |
| ·资源配置信息验证需求及其验证的REAL定理 | 第57-60页 |
| ·本章小结 | 第60-61页 |
| 第五章 IMA资源配置转换和验证工具的实现 | 第61-69页 |
| ·资源配置转换和验证工具的实现过程 | 第61-66页 |
| ·IMA资源配置信息解析 | 第61页 |
| ·AADL模型和模型文件生成设计 | 第61-63页 |
| ·AADL模型验证设计 | 第63页 |
| ·工具实现 | 第63-66页 |
| ·实例分析 | 第66-68页 |
| ·本章小结 | 第68-69页 |
| 第六章 IMA资源配置安全性分析与验证 | 第69-77页 |
| ·应用操作层 | 第70-72页 |
| ·功能层 | 第72-76页 |
| ·本章小结 | 第76-77页 |
| 第七章 总结与展望 | 第77-79页 |
| ·工作总结 | 第77页 |
| ·研究展望 | 第77-79页 |
| 参考文献 | 第79-83页 |
| 致谢 | 第83-84页 |
| 在学期间的科研成果及发表的学术论文 | 第84页 |