| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 缩略词 | 第10-11页 |
| 第一章 绪论 | 第11-15页 |
| ·课题研究背景 | 第11-12页 |
| ·国内外研究现状 | 第12-13页 |
| ·本文研究内容与论文结构 | 第13-15页 |
| 第二章 面向综合航电系统配置信息的正确性分析框架 | 第15-25页 |
| ·综合航电系统标准概述 | 第15-19页 |
| ·分区 | 第16页 |
| ·通信服务 | 第16-17页 |
| ·健康监控 | 第17页 |
| ·配置信息 | 第17-19页 |
| ·实时嵌入式系统建模与分析建模语言概述 | 第19-22页 |
| ·MARTE组成部分 | 第19-20页 |
| ·MARTE相关工具 | 第20-22页 |
| ·面向综合航电系统的配置信息的正确性分析框架 | 第22-24页 |
| ·本章小结 | 第24-25页 |
| 第三章 基于MARTE的IMA系统配置信息建模与正确性验证 | 第25-40页 |
| ·ARINC653 系统配置信息核心概念建模 | 第25页 |
| ·ARINC653 系统配置信息转换规则 | 第25-34页 |
| ·模块转换规则 | 第25-27页 |
| ·分区转换规则 | 第27-29页 |
| ·进程转换规则 | 第29-30页 |
| ·健康监控转换规则 | 第30页 |
| ·分区内通信的转换规则 | 第30-31页 |
| ·分区间通信的转换规则 | 第31-33页 |
| ·配置信息核心概念与MARTE构件的转换规则表 | 第33-34页 |
| ·配置信息模型的分析与验证 | 第34-39页 |
| ·配置信息属性约束需求示例 | 第34-35页 |
| ·需求执行分析语言 | 第35页 |
| ·验证ARINC653 配置语义的REAL定理 | 第35-38页 |
| ·配置信息模型的验证实例 | 第38-39页 |
| ·本章小结 | 第39-40页 |
| 第四章 基于MARTE的IMA分区任务集可调度性判定方法 | 第40-53页 |
| ·IMA分区调度特征 | 第40-41页 |
| ·IMA分区调度判定分析 | 第41-46页 |
| ·分区可调度性判定理论依据 | 第41-42页 |
| ·仿真判定算法 | 第42-46页 |
| ·可调度性判定框架 | 第46-52页 |
| ·MARTE对分区系统调度建模 | 第47-48页 |
| ·MAST自定义调度策略 | 第48-51页 |
| ·可调度性判定实例 | 第51-52页 |
| ·本章小结 | 第52-53页 |
| 第五章 ARINC653 系统配置信息验证工具设计与实现 | 第53-69页 |
| ·ARINC653 系统配置信息验证工具设计 | 第53-55页 |
| ·工具设计框架 | 第53-54页 |
| ·工具执行流程 | 第54-55页 |
| ·ARINC653 系统配置信息验证工具实现 | 第55-62页 |
| ·配置信息解析 | 第55-56页 |
| ·Java交互类 | 第56-59页 |
| ·DROOLS规则引擎 | 第59-60页 |
| ·模型与文本的转换 | 第60-62页 |
| ·IMA系统配置信息正确性和可调度性实例分析 | 第62-68页 |
| ·配置信息模型的验证实例 | 第62-66页 |
| ·分区任务集可调度性判定验证实例 | 第66-68页 |
| ·本章小结 | 第68-69页 |
| 第六章 总结与展望 | 第69-71页 |
| ·论文总结 | 第69页 |
| ·未来工作展望 | 第69-71页 |
| 参考文献 | 第71-76页 |
| 致谢 | 第76-77页 |
| 在学期间的研究成果及发表的学术论文 | 第77页 |
