嵌入式系统SMILE的建模与调度
| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 引言 | 第9-21页 |
| ·嵌入式系统简介 | 第9-10页 |
| ·建模工具 | 第10-11页 |
| ·Statecharts | 第10-11页 |
| ·Petri网 | 第11页 |
| ·实时系统调度算法 | 第11-19页 |
| ·单调速率调度算法 | 第12-17页 |
| ·最早时限优先优先调度算法 | 第17-18页 |
| ·反馈调度算法 | 第18-19页 |
| ·应用项目背景 | 第19页 |
| ·研究工作 | 第19-20页 |
| ·论文结构 | 第20-21页 |
| 第2章 SMILE系统需求 | 第21-24页 |
| ·概述 | 第21页 |
| ·运行平台 | 第21-22页 |
| ·硬件 | 第22页 |
| ·软件 | 第22页 |
| ·业务流程 | 第22-23页 |
| ·主站分站结构 | 第22页 |
| ·工程部部署功能 | 第22-23页 |
| ·图形化显示界面 | 第23页 |
| ·主机实现功能 | 第23页 |
| ·本文相关工作 | 第23-24页 |
| 第3章 SMILE系统的建模 | 第24-40页 |
| ·Statecharts | 第24-29页 |
| ·事件 | 第24-25页 |
| ·状态 | 第25页 |
| ·变迁 | 第25-28页 |
| ·复合状态 | 第28-29页 |
| ·SMILE系统建模 | 第29-38页 |
| ·最高层状态图 | 第29-32页 |
| ·处理灯具信号 | 第32-33页 |
| ·解析FAS信号 | 第33-34页 |
| ·查询联动预案 | 第34页 |
| ·解析手动指令 | 第34-35页 |
| ·执行灯具指令 | 第35-37页 |
| ·环境保存 | 第37页 |
| ·故障处理 | 第37-38页 |
| ·SMILE系统模型分析 | 第38-40页 |
| 第4章 改进的单调速率调度算法 | 第40-48页 |
| ·单调速率调度算法与延迟单调速率调度算法 | 第40-41页 |
| ·对单调速率调度算法的改进 | 第41-42页 |
| ·单调速率调度算法与改进的单调速率调度算法的对比 | 第42-43页 |
| ·模拟实验 | 第43-45页 |
| ·SMILE系统中的实现 | 第45-48页 |
| 第5章 结论 | 第48-50页 |
| ·工作总结 | 第48页 |
| ·工作展望 | 第48-50页 |
| 参考文献 | 第50-55页 |
| 致谢 | 第55-56页 |
| 攻读硕士学位期间参加的科研项目 | 第56-57页 |
| 攻读硕士学位期间发表的论文 | 第57页 |
