基于逻辑运行时间的硬实时编程模型及开发框架研究
| 目录 | 第1-8页 |
| 图目录 | 第8-9页 |
| 摘要 | 第9-10页 |
| ABSTRACT | 第10-11页 |
| 第一章 绪论 | 第11-15页 |
| ·研究背景 | 第11-12页 |
| ·研究内容及成果 | 第12-13页 |
| ·论文结构 | 第13-15页 |
| 第二章 相关概念和研究基础 | 第15-32页 |
| ·硬实时编程基础 | 第15-19页 |
| ·实时任务的概念 | 第15-16页 |
| ·实时任务的交互 | 第16页 |
| ·实时任务的时间属性 | 第16-17页 |
| ·硬实时与软实时任务 | 第17-19页 |
| ·硬实时编程模型综述 | 第19-28页 |
| ·基于优先级的编程模型 | 第19-21页 |
| ·基于同步假设的编程模型 | 第21-22页 |
| ·基于逻辑运行时间的编程模型 | 第22-25页 |
| ·三种硬实时编程模型的比较 | 第25-26页 |
| ·对逻辑运行时间模型的研究现状 | 第26-28页 |
| ·软件体系结构 | 第28-30页 |
| ·软件体系结构简介 | 第28-29页 |
| ·软件体系结构描述语言 | 第29-30页 |
| ·本章小结 | 第30-32页 |
| 第三章 HARTIF开发框架研究与设计 | 第32-56页 |
| ·HARTIF框架整体描述 | 第32-33页 |
| ·语言提取转换工具 | 第33-48页 |
| ·TSL语言 | 第34-41页 |
| ·虚拟指令 | 第41-44页 |
| ·从TSL程序到虚拟指令 | 第44-48页 |
| ·构件链编工具 | 第48-50页 |
| ·时间检查工具 | 第50-52页 |
| ·HARTIF时间检查工具的基本原理 | 第50-51页 |
| ·特殊情况下的时间检查 | 第51-52页 |
| ·框架外围的软件模块 | 第52-53页 |
| ·虚拟机 | 第52-53页 |
| ·实时操作系统 | 第53页 |
| ·使用框架的开发过程 | 第53-55页 |
| ·本章小结 | 第55-56页 |
| 第四章 HARTIF框架中语言转换工具的实现 | 第56-68页 |
| ·使用SableCC工具 | 第56-60页 |
| ·SableCC的开发步骤 | 第56-57页 |
| ·SableCC的命名规则 | 第57-58页 |
| ·对访问者模式的修改 | 第58-59页 |
| ·抽象语法树遍历器 | 第59-60页 |
| ·TSL转换工具的实现 | 第60-67页 |
| ·TSL语言规约描述 | 第61页 |
| ·TSL转换工具的实现框架 | 第61-62页 |
| ·TSL向虚拟指令转换实现 | 第62-67页 |
| ·本章小结 | 第67-68页 |
| 第五章 开发实例研究分析 | 第68-81页 |
| ·电梯控制系统 | 第68-71页 |
| ·系统需求说明 | 第68-69页 |
| ·传统方法实现及缺点 | 第69-71页 |
| ·基于HARTIF框架的开发 | 第71-76页 |
| ·TSL语言描述 | 第71-75页 |
| ·生成的虚拟指令 | 第75-76页 |
| ·系统模拟与分析 | 第76-80页 |
| ·系统模拟的环境 | 第76-77页 |
| ·系统运行结果及分析 | 第77-79页 |
| ·系统扩展 | 第79-80页 |
| ·本章小结 | 第80-81页 |
| 第六章 总结与展望 | 第81-83页 |
| 致谢 | 第83-84页 |
| 参考文献 | 第84-88页 |
| 攻读硕士期间发表的论文 | 第88-89页 |
| 附录 A TSL语言规约 | 第89-92页 |
| 附录 B 代码生成的模板文件 | 第92-99页 |
