声明
1 绪论
1.1论文的研究背景及意义
1.2 国内外发展现状
1.3 论文的研究内容
2 相关系统研究和理论
2.1 CTCS-3级列控系统研究
2.2 列控中心与计算机联锁系统研究
2.3 可靠性基础理论
2.4 广义随机Petri网
2.5 小结
3 联锁列控一体化系统设计方案
3.1 一体化系统的可行性
3.2 一体化系统的设计需求
3.3 一体化系统总体设计方案
3.3 小结
4 基于AADL的一体化系统建模仿真
4.1 AADL简介
4.2 基于AADL的一体化系统模型
4.3 整体结构模型
4.4 模型验证及结果分析
4.5 小结
5 一体化系统功能模型的分析
5.1 进路办理的AADL模型
5.2 模型转换规则
5.3 基于GSPN的进路办理功能模型及分析
5.4 小结
结论
致谢
参考文献
攻读学位期间的研究成果
兰州交通大学;
