基于Uppaal的多处理器实时系统的可调度性分析

摘要	第1-7页
ABSTRACT	第7-10页
表格索引	第10-11页
插图索引	第11-12页
第一章 绪论	第12-16页
·多处理器的实时系统	第12-13页
·可调度性分析	第13-14页
·相关研究	第14页
·研究内容和成果	第14-15页
·论文结构	第15-16页
第二章 时间自动机和Uppaal	第16-28页
·时间自动机	第16-22页
·有限自动机	第16-17页
·通信的有限自动机	第17-19页
·扩展的有限自动机	第19页
·时间有限自动机	第19-22页
·Uppaal	第22-28页
·Uppaal中的时间自动机	第23-25页
·Uppaal中的模型校验	第25-28页
第三章 系统描述与建模	第28-42页
·系统框架概述	第28-29页
·硬件环境	第29-35页
·硬件环境描述	第29页
·火车-控制台模型	第29-30页
·在Uppaal中建模	第30-35页
·任务系统	第35-38页
·任务系统描述	第35-36页
·在Uppaal中建模	第36-38页
·执行平台	第38-42页
·执行平台描述	第38-39页
·在Uppaal中建模	第39-42页
第四章 系统验证	第42-46页
·形式化验证	第42-43页
·可调度性验证	第43-46页
第五章 全文总结	第46-48页
参考文献	第48-50页
致谢	第50-52页
攻读学位论文期间发表的学术论文目录	第52页