面向轨道交通智能运行控制系统的可信性建模与分析

   基于图形化的Sysml和Uml等建模技术，以及形式的Event-B和Nusmv等建模技术，对轨道交通控制系统进行建模和分析，特别关注于针对危害识别和安全分析的结果展开分析，进而确保建立高安全和高可靠的列车控制系统。