封面
声明
中文摘要
英文摘要
目录
第一章 绪论
1.1 多处理器的实时系统
1.2 可调度性分析
1.3 相关研究
1.4 研究内容和成果
1.5 论文结构
第二章 时间自动机和Uppaal
2.1 时间自动机
2.1.1 有限自动机
2.1.2 通信的有限自动机
2.1.3 扩展的有限自动机
2.1.4 时间有限自动机
2.2 Uppaal
2.2.1 Uppaal中的时间自动机
2.2.2 Uppaal中的模型校验
第三章 系统描述与建模
3.1 系统框架概述
3.2 硬件环境
3.2.1 硬件环境描述
3.2.2 火车-控制台模型
3.2.3 在Uppaal中建模
3.3 任务系统
3.3.1 任务系统描述
3.3.2 在Uppaal中建模
3.4 执行平台
3.4.1 执行平台描述
3.4.2 在Uppaal中建模
第四章 系统验证
4.1 形式化验证
4.2 可调度性验证
第五章 全文总结
参考文献
致谢
攻读学位论文期间发表的学术论文目录
上海交通大学;