基于CSP的CBTC系统区域控制器的建模与验证

致谢	第1-6页
中文摘要	第6-7页
ABSTRACT	第7-10页
1 引言	第10-19页
·选题背景	第10-13页
·国内外研究现状	第13-15页
·研究的目的及意义	第15-16页
·论文研究内容与结构安排	第16-19页
2 系统形式化建模与验证方法研究	第19-34页
·形式化方法基本概念	第19-22页
·标准建模语言	第22-24页
·标准建模语言概述	第22页
·UML建模机制	第22-24页
·通信顺序进程建模方法	第24-33页
·CSP基本概念	第24-26页
·CSP的语法定义	第26-33页
·小结	第33-34页
3 基于CSP的ZC建模与验证方法	第34-56页
·区域控制器功能及组成	第34-36页
·ZC系统结构	第34-35页
·ZC与其它系统的交互关系	第35-36页
·基于CSP的ZC需求建模方法	第36-46页
·UML模型到CSP转换	第36-39页
·基于CSP的ZC建模	第39-46页
·ZC功能需求的形式化验证方法	第46-55页
·验证工具	第47-48页
·CSPM语言	第48-49页
·性质验证分析方法	第49-55页
·小结	第55-56页
4 区域控制器的场景建模验证	第56-80页
·列车场景需求提取	第56-62页
·正常行车场景需求提取	第56-60页
·故障场景需求提取	第60-62页
·区域控制器正常行车场景的建模与验证	第62-73页
·正常行车场景需求建模	第62-70页
·正常行车场景模型验证	第70-73页
·区域控制器故障场景的建模与验证	第73-79页
·故障场景需求建模	第74-76页
·故障场景模型验证	第76-79页
·小结	第79-80页
5 总结与展望	第80-82页
·总结	第80页
·展望	第80-82页
参考文献	第82-84页
作者简历	第84-88页
学位论文数据集	第88页