AADL模型可调度性分析工具设计与实现
| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第1章 绪论 | 第11-15页 |
| ·选题背景及意义 | 第11-12页 |
| ·国内外研究概况及发展趋势 | 第12-13页 |
| ·课题研究方法 | 第13-14页 |
| ·本文的内容和组织 | 第14-15页 |
| 第2章 AADL与时间自动机理论 | 第15-22页 |
| ·AADL概述 | 第15-20页 |
| ·端口 | 第15-16页 |
| ·线程组件 | 第16页 |
| ·进程组件 | 第16页 |
| ·处理器组件 | 第16-17页 |
| ·关联 | 第17页 |
| ·AADL简单模型 | 第17-20页 |
| ·时间自动机及可达性判断 | 第20-22页 |
| ·时间自动机理论概述 | 第20-21页 |
| ·可达性判断原理 | 第21-22页 |
| 第3章 基于UPPAAL的AADL模型验证 | 第22-29页 |
| ·UPPAAL概述 | 第22页 |
| ·OSATE工具概述 | 第22-23页 |
| ·设计UPPAAL中的调度模型 | 第23-28页 |
| ·周期及零星线程模板 | 第23-24页 |
| ·非周期线程模板 | 第24-25页 |
| ·调度器模板 | 第25-27页 |
| ·周期线程事件产生器模板 | 第27页 |
| ·非周期及零星线程事件产生器模板 | 第27-28页 |
| ·可调度性验证及局限性 | 第28-29页 |
| 第4章 UCaS工具的设计与实现 | 第29-59页 |
| ·总体设计 | 第29-33页 |
| ·系统结构设计 | 第29-30页 |
| ·用户界面设计 | 第30-32页 |
| ·混合自动机理论 | 第32-33页 |
| ·数据采集设计与实现 | 第33-36页 |
| ·设计思路 | 第33页 |
| ·类层次结构设计 | 第33-34页 |
| ·AAXL实例文件的访问 | 第34-36页 |
| ·事件产生器设计与实现 | 第36-41页 |
| ·设计思路 | 第36-37页 |
| ·XML文件生成及解析 | 第37-39页 |
| ·图形编辑器的设计与实现 | 第39-41页 |
| ·调度分析设计与实现 | 第41-50页 |
| ·设计思路 | 第41-42页 |
| ·差值有界矩阵及基本操作 | 第42-45页 |
| ·线程自动机的设计 | 第45-46页 |
| ·类层次结构设计 | 第46-49页 |
| ·可调度性分析算法设计 | 第49-50页 |
| ·调度仿真设计与实现 | 第50-57页 |
| ·设计思路 | 第50-51页 |
| ·带滚动条和横向标尺的窗口 | 第51-52页 |
| ·调度仿真的连续执行 | 第52-53页 |
| ·定位当前绘制点及面板大小调整 | 第53页 |
| ·双缓存技术解决绘图闪烁 | 第53-54页 |
| ·避免内存泄露 | 第54-55页 |
| ·显示鼠标位置的刻度值 | 第55页 |
| ·甘特图的绘制 | 第55-57页 |
| ·插件的设计及实现 | 第57-59页 |
| 第5章 UCaS工具测试 | 第59-66页 |
| ·UCaS工具运行测试 | 第59-63页 |
| ·测试环境 | 第59页 |
| ·测试用例设计 | 第59-60页 |
| ·测试过程及结果说明 | 第60-63页 |
| ·UCaS工具性能测试 | 第63-66页 |
| ·测试环境 | 第64页 |
| ·测试用例设计 | 第64页 |
| ·测试结果及说明 | 第64-66页 |
| 结论 | 第66-67页 |
| 致谢 | 第67-68页 |
| 参考文献 | 第68-70页 |
| 攻读硕士学位期间发表的论文 | 第70-71页 |
