图书介绍
列车运行控制系统安全性设计技术PDF|Epub|txt|kindle电子书版本网盘下载
- 马连川编著 著
- 出版社： 北京：中国铁道出版社
- ISBN：9787113233457
- 出版时间：2017
- 标注页数：219页
- 文件大小：37MB
- 文件页数：233页
- 主题词：列车－运行－控制系统－安全设计
PDF下载
下载说明
列车运行控制系统安全性设计技术PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 绪论1
第一节 铁路信号安全技术的发展1
一、传统铁路信号故障—安全技术的产生2
二、传统铁路信号安全技术概述3
三、故障—安全概念的发展9
第二节 安全标准11
一、IEC 61508标准11
二、EN 50126/50128/50129标准13
三、EN 50159标准14
第三节 典型铁路信号系统安全结构举例15
一、编码微处理器结构15
二、SIMIS结构16
三、SMILE结构20
第二章 列控系统的安全性设计基础22
第一节 系统生命周期22
第二节 安全完整性及其等级26
一、安全需求26
二、安全完整性26
三、安全完整性需求的分配27
四、安全完整性等级（SIL）33
第三节 安全相关系统硬件的SIL计算34
一、IEC 61508标准中基于可靠性框图的SIL计算方法35
二、PDS方法及其应用39
第三章 系统和硬件安全性设计44
第一节 系统级方法44
一、系统层次结构的概念44
二、系统需求和特点45
三、系统边界和功能45
第二节 避免系统失效以及控制随机与系统失效46
第三节 详细技术要求52
一、功能正确运行的保障52
二、故障的影响53
三、外界影响下的运行56
四、安全相关应用条件57
五、安全合格测试58
第四节 SIL3或SIL4补充技术要求59
一、物理的内部独立性的获得59
二、物理的外部独立性的获得59
三、单故障分析方法示例60
四、多重故障分析方法示例61
第五节 其他要求63
一、可编程器件要求63
二、既有硬件和商业现货产品硬件要求67
三、型式试验耐受要求68
四、电磁兼容及防雷要求68
第四章 软件安全性设计74
第一节 概述74
一、软件研发流程74
二、软件安全完整性等级75
三、软件管理和组织75
第二节 软件保障一般要求78
一、软件测试78
二、软件验证79
三、软件确认80
四、软件评估80
五、软件质量保障81
六、软件修改和变更控制82
七、支持工具和语言83
八、软件部署和维护85
第三节 通用软件研发要求87
一、通用软件的生命周期和文档87
二、软件需求87
三、软件架构和设计88
四、组件设计91
五、组件实现和测试92
六、集成92
七、整体软件测试／最终确认93
第四节 应用数据和算法的研发94
一、目标94
二、输入文档95
三、输出文档95
四、要求95
第五节 技术和措施的选择标准97
一、条款表98
二、详细表格103
第五章 列控安全计算机设计举例108
第一节 二乘二取二列控安全计算机结构设计108
一、结构特点108
二、二取二功能的实现110
三、二乘（双通道热备）功能的实现115
第二节 列控安全计算机硬件设计120
一、硬件设计基础120
二、电源设计134
三、强故障—安全电路设计139
四、诊断设计145
五、输入输出的安全性设计146
六、EMC及防雷设计150
第三节 安全完整性等级指标计算举例155
一、计算举例所针对的地面列控安全计算机结构155
二、安全完整性等级指标计算158
三、计算结果及分析163
第四节 软件安全性设计的附加措施176
一、软件设计与实现的具体措施176
二、语言和编译器及链接编辑器的措施185
三、软件验证与测试方法的措施187
四、防范软件导致共因故障的措施189
第五节 地面列控安全计算机软件设计192
一、基于安全核的设计方法192
二、列控安全计算机软件设计194
三、操作系统的选择196
四、安全核心的实现200
五、系统可靠性设计204
第六节 地面列控安全计算机的形式化验证206
一、时间自动机及其验证工具UPPAAL206
二、基于时间自动机的系统建模208
三、基于UPPAAL的仿真与验证214
参考文献219