基于时间自动机的实时系统形式化建模与验证

摘要	第1-4页
Abstract	第4-7页
第一章 绪论	第7-12页
·研究背景	第7-8页
·研究现状	第8-10页
·研究内容	第10-11页
·本文组织结构	第11-12页
第二章 基于时间自动机的形式化方法	第12-30页
·形式化建模	第16-21页
·时间自动机概述	第16-17页
·时间自动机模型	第17-21页
·形式化验证	第21-30页
·基于时间自动机的验证	第25-26页
·时间自动机验证工具 UPPAAL	第26-30页
第三章 基于时间自动机的实时系统建模	第30-40页
·实时系统概述	第30-31页
·实时系统的时间自动机建模	第31-35页
·转换系统	第31-32页
·有时间约束的转换系统	第32-33页
·实时系统时间自动机模型的优化	第33-35页
·应用实例分析	第35-40页
第四章 基于时间自动机的实时系统验证	第40-58页
·基于时间自动机的实时系统验证方法	第40-50页
·区域自动机	第40-42页
·可达性分析	第42-47页
·启发式验证方法	第47-50页
·时间自动机验证工具 UPPAAL 的验证	第50-53页
·应用实例分析	第53-58页
第五章 总结和展望	第58-59页
1. 本文工作总结	第58页
2. 下一步工作	第58-59页
参考文献	第59-63页
攻读硕士期间发表(录用)的论文	第63-64页
致谢	第64页