嵌入式基于模型驱动验证及软件生产线的研究与实现
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第1章 绪论 | 第11-16页 |
| ·背景及意义 | 第11-12页 |
| ·国内外情况 | 第12-14页 |
| ·模型驱动 | 第12-13页 |
| ·模型驱动验证 | 第13-14页 |
| ·课题来源 | 第14页 |
| ·本文研究内容及论文结构 | 第14-16页 |
| ·本文研究内容 | 第14-15页 |
| ·论文结构 | 第15-16页 |
| 第2章 基于模型的嵌入式软件生产线需求分析 | 第16-22页 |
| ·生产线的生产流程 | 第16-18页 |
| ·开发过程需求 | 第18-21页 |
| ·向导需求 | 第18页 |
| ·集成模型开发工具的需求 | 第18-19页 |
| ·模型驱动验证需求 | 第19-20页 |
| ·代码转换和合成需求 | 第20-21页 |
| ·本章小结 | 第21-22页 |
| 第3章 调度分析系统模型的设计 | 第22-34页 |
| ·调度系统模型的设计 | 第22-23页 |
| ·任务模型的设计 | 第23-25页 |
| ·外部事件自动机 | 第25-29页 |
| ·时间自动机理论 | 第25-26页 |
| ·外部事件自动机的设计 | 第26-27页 |
| ·任务被激活的实例数 | 第27-28页 |
| ·外部事件自动机的数据结构 | 第28-29页 |
| ·内部状态自动机 | 第29-33页 |
| ·内部状态自动机的定义 | 第29页 |
| ·内部状态自动机模型 | 第29-32页 |
| ·内部状态自动机的数据结构 | 第32-33页 |
| ·本章小结 | 第33-34页 |
| 第4章 调度检测工具SCT的设计与实现 | 第34-56页 |
| ·SCT体系结构设计 | 第34页 |
| ·系统信息收集设计 | 第34-37页 |
| ·编辑面板结构 | 第34-35页 |
| ·信息的输入与存储 | 第35-36页 |
| ·模型行为自动机实例化 | 第36-37页 |
| ·DBM的设计与实现 | 第37-40页 |
| ·DBM存储结构设计 | 第38-39页 |
| ·DBM关键操作 | 第39-40页 |
| ·调度仿真树的设计 | 第40-47页 |
| ·可达性判断 | 第40-41页 |
| ·调度仿真树的定义 | 第41页 |
| ·调度仿真树的数据结构 | 第41-42页 |
| ·调度仿真树的构造和处理流程 | 第42-47页 |
| ·调度分析过程的设计 | 第47-52页 |
| ·调度分析算法总流程 | 第47-49页 |
| ·时间流逝处理 | 第49-50页 |
| ·求后继状态的算法设计 | 第50-51页 |
| ·消息队列的处理 | 第51-52页 |
| ·抢占处理 | 第52页 |
| ·仿真模拟分析设计 | 第52-55页 |
| ·仿真算法总流程 | 第52-53页 |
| ·时间流逝值模拟 | 第53-55页 |
| ·本章小结 | 第55-56页 |
| 第5章 基于模型的嵌入式软件生产线的设计与实现 | 第56-70页 |
| ·生产线的系统设计 | 第56-57页 |
| ·工程项目向导设计 | 第57-59页 |
| ·MDE项目向导 | 第57-58页 |
| ·Mdl文件向导 | 第58-59页 |
| ·OSATE与LambdaPRO的集成 | 第59-60页 |
| ·Simulink的集成 | 第60-62页 |
| ·AADL模型验证 | 第62-63页 |
| ·Simulink模型测试 | 第63-67页 |
| ·静态测试的实现 | 第63-64页 |
| ·覆盖测试的实现 | 第64-66页 |
| ·过滤器的实现 | 第66-67页 |
| ·代码转换及代码合成 | 第67-69页 |
| ·模型的代码转换 | 第67页 |
| ·代码合成实现 | 第67-69页 |
| ·本章小结 | 第69-70页 |
| 第6章 软件生产线开发环境验证 | 第70-76页 |
| 第7章 总结与展望 | 第76-78页 |
| ·总结 | 第76页 |
| ·展望 | 第76-78页 |
| 致谢 | 第78-79页 |
| 参考文献 | 第79-83页 |
| 攻读硕士学位期间发表的论文 | 第83-84页 |
