基于时间自动机的实时系统规范验证研究

摘要	第1-3页
ABSTRACT	第3-6页
1 前言	第6-9页
·研究背景	第6页
·研究现状	第6-7页
·研究内容	第7-8页
·本文结构	第8-9页
2 时间自动机建模	第9-17页
·转换系统	第9-11页
·转换系统	第9-10页
·有时间约束的转换系统	第10-11页
·时间自动机	第11-17页
·语法和语义	第11-12页
·时间自动机积的构造	第12-17页
3 可达性分析	第17-32页
·时间抽象转换系统	第17-18页
·域自动机	第18-22页
·带自动机	第22-24页
·我们的方法	第24-32页
·时间段转换系统	第24-25页
·时间段转换系统的最小化过程	第25-30页
·可行性分析	第30-32页
4 自动机理论验证	第32-39页
·通过自动机空性验证	第32-37页
·时间语言理论	第37-39页
5 基于UPPAAL的规范验证	第39-52页
·UPPAAL介绍	第39-41页
·基于UPPAAL规范验证的应用	第41-51页
·自动筛选器系统	第41-44页
·道岔自动控制系统	第44-51页
·UPPAAL的发展和前景	第51-52页
6 总结与展望	第52-53页
致谢	第53-54页
参考文献	第54-58页
附录1 攻读硕士学位期间发表的论文	第58页