基于AUTOSAR的汽车电子操作系统及其应用的建模与分析
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-12页 |
| 插图 | 第12-13页 |
| 表格 | 第13-14页 |
| 第一章 绪论 | 第14-22页 |
| ·研究现状 | 第14-16页 |
| ·形式化方法 | 第14-15页 |
| ·汽车电子 | 第15页 |
| ·相关工作 | 第15-16页 |
| ·研究方法 | 第16-19页 |
| ·进程代数CSP、Timed CSP | 第16-17页 |
| ·形式化验证方法及工具 | 第17-19页 |
| ·本文工作与贡献 | 第19-20页 |
| ·本文组织 | 第20-22页 |
| 第二章 问题描述 | 第22-28页 |
| ·AUTOSAR OS | 第22-23页 |
| ·基于AUTOSAR的汽车电子应用 | 第23-25页 |
| ·汽车起动系统 | 第23-24页 |
| ·汽车发动机管理系统EMS | 第24-25页 |
| ·本章小结 | 第25-28页 |
| 第三章 总体架构 | 第28-40页 |
| ·AUTOSAR OS及应用的抽象 | 第28-34页 |
| ·AUTOSAR OS抽象 | 第28-31页 |
| ·应用抽象 | 第31-34页 |
| ·AUTOSAR OS与其应用的关系 | 第34-36页 |
| ·研究框架 | 第36-38页 |
| ·本章小结 | 第38-40页 |
| 第四章 AUTOSAR OS建模 | 第40-50页 |
| ·OS模型架构 | 第40-41页 |
| ·任务的建模 | 第41-43页 |
| ·调度表的建模 | 第43-44页 |
| ·OS调度的建模 | 第44-48页 |
| ·本章小结 | 第48-50页 |
| 第五章 应用建模 | 第50-60页 |
| ·汽车起动系统建模 | 第50-54页 |
| ·汽车起动系统模型架构 | 第50-51页 |
| ·汽车起动系统建模 | 第51-54页 |
| ·发动机管理系统EMS建模 | 第54-59页 |
| ·EMS模型架构 | 第54-55页 |
| ·EMS建模 | 第55-59页 |
| ·本章小结 | 第59-60页 |
| 第六章 AUTOSAR OS及应用的性质 | 第60-66页 |
| ·数据结构 | 第60-61页 |
| ·AUTOSAR OS性质 | 第61-63页 |
| ·应用性质 | 第63-65页 |
| ·本章小结 | 第65-66页 |
| 第七章 实现 | 第66-74页 |
| ·模型实现 | 第66-67页 |
| ·性质验证 | 第67-70页 |
| ·AUTOSAR OS性质验证 | 第68-69页 |
| ·应用性质验证 | 第69-70页 |
| ·结果分析 | 第70-73页 |
| ·本章小结 | 第73-74页 |
| 第八章 总结与展望 | 第74-76页 |
| ·总结 | 第74页 |
| ·未来工作展望 | 第74-76页 |
| 附录A 主要缩写对照表 | 第76-78页 |
| 附录B 性质验证的补充说明 | 第78-86页 |
| 参考文献 | 第86-92页 |
| 致谢 | 第92-94页 |
| 攻读硕士学位期间发表论文和科研情况 | 第94页 |
