| 摘要 | 第1-6页 |
| ABSTRACT | 第6-11页 |
| 第一章 绪论 | 第11-14页 |
| ·研究背景与意义 | 第11-12页 |
| ·国内外研究概况及发展趋势 | 第12-13页 |
| ·本文研究内容与论文结构 | 第13-14页 |
| 第二章 体系结构分析与设计语言 | 第14-19页 |
| ·AADL 总览 | 第14页 |
| ·AADL 组件 | 第14-15页 |
| ·软件组件 | 第15页 |
| ·执行平台组件 | 第15页 |
| ·系统组件 | 第15页 |
| ·特征与关联 | 第15-16页 |
| ·特征 | 第15-16页 |
| ·关联 | 第16页 |
| ·AADL 组件语法规则实例 | 第16-17页 |
| ·AADL 扩展方法 | 第17-18页 |
| ·OSATE | 第18页 |
| ·本章小结 | 第18-19页 |
| 第三章 ARINC653标准概论及具体映射规则 | 第19-25页 |
| ·APEX接口 | 第19-20页 |
| ·分区 | 第20-21页 |
| ·时间隔离 | 第20页 |
| ·空间隔离 | 第20-21页 |
| ·通信服务 | 第21-22页 |
| ·分区间（INTER-PARTITION）通信 | 第21页 |
| ·分区内（INTRA-PARTITION）通信 | 第21-22页 |
| ·健康监控机制 | 第22页 |
| ·系统配置 | 第22-24页 |
| ·配置需求 | 第22-23页 |
| ·ARINC653 XML-SCHEMA | 第23-24页 |
| ·本章总结 | 第24-25页 |
| 第四章 配置文件生成工具与分区调度仿真工具设计总览 | 第25-29页 |
| ·需求分析 | 第25-26页 |
| ·配置工具总体设计 | 第26-28页 |
| ·模块详细设计 | 第26-27页 |
| ·子模块设计 | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 第五章 ARINC653系统建模与配置生成工具的实现 | 第29-54页 |
| ·ARINC653航电系统建模 | 第29-38页 |
| ·AADL 组件与ARINC653组件的映射关系 | 第29-30页 |
| ·AADL 语言扩展内容 | 第30-35页 |
| ·扩展的ARINC653属性集 | 第35-37页 |
| ·建立ARINC653系统模型 | 第37-38页 |
| ·配置文件自动生成工具的实现 | 第38-45页 |
| ·AADL 模型的实例化 | 第38-39页 |
| ·DROOLS规则引擎 | 第39-42页 |
| ·交互类 | 第42-43页 |
| ·配置文件信息验证 | 第43-45页 |
| ·配置文件自动生成的具体实现 | 第45页 |
| ·配置工具使用方法及其实例分析 | 第45-53页 |
| ·工具最终形式与运行环境要求 | 第45-46页 |
| ·工具使用方法图示 | 第46-48页 |
| ·配置工具功能测试与实例分析 | 第48-53页 |
| ·本章总结 | 第53-54页 |
| 第六章 分区调度仿真工具的实现 | 第54-80页 |
| ·分区调度算法 | 第54-60页 |
| ·系统模型 | 第54-55页 |
| ·分区调度配置存在的判断条件 | 第55-56页 |
| ·分区调度恢复策略 | 第56-58页 |
| ·分区调度配置的自动生成约束条件 | 第58-59页 |
| ·分区调度策略对分区响应时间的影响 | 第59-60页 |
| ·分区调度工具设计 | 第60-63页 |
| ·分区调度工具的需求分析 | 第60-61页 |
| ·分区调度仿真工具的整体构架 | 第61-63页 |
| ·子模块的详细设计 | 第63-72页 |
| ·系统信息采集模块设计说明 | 第63-66页 |
| ·调度分析模块设计说明 | 第66-69页 |
| ·系统仿真模块设计说明 | 第69-72页 |
| ·分区调度仿真工具运行环境与界面 | 第72-75页 |
| ·运行环境要求 | 第72页 |
| ·分区调度仿真工具的界面 | 第72-75页 |
| ·实例分析 | 第75-79页 |
| ·功能验证 | 第75-77页 |
| ·调度策略比较 | 第77-79页 |
| ·本章小结 | 第79-80页 |
| 结论 | 第80-81页 |
| 致谢 | 第81-82页 |
| 参考文献 | 第82-85页 |
| 攻硕期间取得的研究成果 | 第85-86页 |