差异化安全计算机及其在磁浮车载运控系统中的应用研究

目录

声明

致谢

1 引言

1.1 研究背景及意义

1.2 研究及应用现状

1.2.1 磁悬浮列车研究及应用现状

1.2.2 磁浮运控系统及安全性分析研究及应用现状

1.2.3 安全计算机研究及应用现状

1.3 本文主要研究内容

2 磁浮车载运行控制系统安全性分析

2.1 磁浮车载运行控制系统分析

2.1.1 磁浮车载运行控制系统功能需求

2.1.2 磁浮车载运行控制系统总体架构

2.2 磁浮车载运行控制系统STAMP模型建立

2.2.1 磁浮车载运行控制系统分层控制结构

2.2.2 磁浮车载运行控制系统过程模型与控制行为

2.3 磁浮车载运行控制系统STPA分析

2.3.1 系统级危险定义

2.3.2 不恰当控制行为辨识

2.3.3 控制缺陷分析

2.3.4 安全约束

2.4 本章小结

3 差异化三取二安全计算机设计

3.1 差异化三取二安全计算机硬件设计

3.2 差异化三取二安全计算机软件设计

3.2.1 三系主控板操作系统移植与驱动编写

3.2.2 差异化三取二安全计算机同步与表决

3.3 本章小结

4 差异化三取二安全计算机可靠性分析

4.1 差异化三取二安全计算机故障树建模

4.1.1 差异化三取二安全计算机故障树模型

4.1.2 基于维修率的差异化三取二安全计算机可用度分析

4.2 同构与差异化三取二安全计算机可靠度对比

4.3 本章小结

5 基于安全计算机的磁浮车载运控系统搭建与测试

5.1 差异化三取二安全计算机样机研制

5.1.1 差异化三取二安全计算机样机架构设计

5.1.2 差异化三取二安全计算机样机搭建

5.2 磁浮车载运控系统搭建与测试

5.2.1 磁浮车载运控系统搭建

5.2.2 磁浮车载运控系统测试

5.3 本章小结

6 结论

参考文献

作者简历及攻读硕士学位期间取得的研究成果

独创性声明

学位论文数据集