| 摘要 | 第1-9页 |
| ABSTRACT | 第9-13页 |
| 第一章 绪论 | 第13-23页 |
| ·研究背景 | 第13-15页 |
| ·国内外研究现状 | 第15-19页 |
| ·研究内容和方法 | 第19-20页 |
| ·论文结构 | 第20-23页 |
| 第二章 AADL和Real-Time Maude介绍 | 第23-43页 |
| ·AADL | 第23-30页 |
| ·AADL构件介绍 | 第25-27页 |
| ·AADL Thread构件建模 | 第27-29页 |
| ·AADL Thread运行时状态 | 第29-30页 |
| ·重写逻辑和Real-Time Maude | 第30-42页 |
| ·成员关系等式逻辑 | 第31页 |
| ·重写逻辑 | 第31-32页 |
| ·Maude | 第32-37页 |
| ·Real-Time Maude | 第37-42页 |
| ·本章小结 | 第42-43页 |
| 第三章 AADL Thread构件结构和运行时的描述 | 第43-55页 |
| ·AADL中Thread的描述 | 第43-48页 |
| ·AADL Thread构件状态转换的描述 | 第43-45页 |
| ·AADL Thread线程间通讯的描述 | 第45-47页 |
| ·AADL Thread时间相关属性的描述 | 第47页 |
| ·AADL Thread完整描述 | 第47-48页 |
| ·AADL Thread运行时描述 | 第48-53页 |
| ·本章小结 | 第53-55页 |
| 第四章 AADL Thread构件实时调度的描述 | 第55-75页 |
| ·EDF算法的形式化描述 | 第55-68页 |
| ·算法介绍 | 第55-58页 |
| ·描述EDF算法 | 第58-68页 |
| ·RMS算法的形式化描述 | 第68-73页 |
| ·算法介绍 | 第68-69页 |
| ·描述RMS算法 | 第69-73页 |
| ·本章小结 | 第73-75页 |
| 第五章 AADL Thread构件的验证与分析 | 第75-89页 |
| ·AADL Thread运行时实例 | 第75-82页 |
| ·Real-Time Maude描述实例 | 第77-80页 |
| ·实例验证和分析 | 第80-82页 |
| ·AADL Thread实时调度的验证 | 第82-87页 |
| ·EDF算法验证与分析 | 第82-85页 |
| ·RMS算法验证与分析 | 第85-87页 |
| ·本章小结 | 第87-89页 |
| 第六章 总结和展望 | 第89-91页 |
| ·总结 | 第89-90页 |
| ·展望 | 第90-91页 |
| 参考文献 | 第91-97页 |
| 致谢 | 第97-99页 |
| 攻读硕士学位期间发表论文和科研情况 | 第99页 |