列车运行控制方法与技术丛书 列车运行控制系统安全性设计技术

列车运行控制方法与技术丛书 列车运行控制系统安全性设计技术
作者：马连川
出版时间：2017年版
丛编项： 列车运行控制方法与技术丛书
内容简介
本书为“十二五”重点出版规划项目之一，依据IEC61508、EN50126、EN50128、EN50129等国际安全标准，结合轨道交通（铁路、城市轨道交通、高速磁浮）信号系统故障安全技术的发展趋势，针对列车运行控制系统的安全性设计，从系统安全生命周期要求、安全完整性要求、硬件安全性设计、软件安全性设计等方面，详细描述了相关的安全性设计技术的细节，最后给出了列控安全计算机安全性设计的实例。
目录
第一章 绪论
第一节 铁路信号安全技术的发展
一、传统铁路信号故障一安全技术的产生
二、传统铁路信号安全技术概述
三、故障一安全概念的发展
第二节 安全标准
一、IEC 61508标准
二、EN 50126／50128／50129标准
三、EN 50159标准
第三节 典型铁路信号系统安全结构举例
一、编码微处理器结构
二、SIMIS结构
三、SMILE结构

第二章 列控系统的安全性设计基础
第一节 系统生命周期
第二节 安全完整性及其等级
一、安全需求
二、安全完整性
三、安全完整性需求的分配
四、安全完整性等级(SIL)
第三节 安全相关系统硬件的SIL计算
一、IEC61508标准中基于可靠性框图的SIL计算方法
二、PDS方法及其应用

第三章 系统和硬件安全性设计。
第一节 系统级方法
一、系统层次结构的概念
二、系统需求和特点
三、系统边界和功能
第二节 避免系统失效以及控制随机与系统失效
第三节 详细技术要求
一、功能正确运行的保障
二、故障的影响
三、外界影响下的运行
四、安全相关应用条件
五、安全合格测试
第四节 SIL3或SIL4补充技术要求
一、物理的内部独立性的获得
二、物理的外部独立性的获得
三、单故障分析方法示例
四、多重故障分析方法示例
第五节 其他要求
一、可编程器件要求
二、既有硬件和商业现货产品硬件要求
三、型式试验耐受要求
四、电磁兼容及防雷要求

第四章 软件安全性设计
第一节 概述
一、软件研发流程
二、软件安全完整性等级
三、软件管理和组织
第二节 软件保障一般要求
一、软件测试
二、软件验证
三、软件确认
四、软件评估
五、软件质量保障
六、软件修改和变更控制
七、支持工具和语言
八、软件部署和维护
第三节 通用软件研发要求
一、通用软件的生命周期和文档
二、软件需求
三、软件架构和设计
四、组件设计
五、组件实现和测试
六、集成
七、整体软件测试／最终确认
第四节 应用数据和算法的研发
一、目标
二、输入文档
三、输出文档
四、要求
第五节 技术和措施的选择标准
一、条款表
二、详细表格

第五章 列控安全计算机设计举例
第一节 二乘二取二列控安全计算机结构设计
一、结构特点
二、二取二功能的实现
三、二乘(双通道热备)功能的实现
第二节 列控安全计算机硬件设计
一、硬件设计基础
二、电源设计
三、强故障一安全电路设计
四、诊断设计
五、输入输出的安全性设计
六、EMC及防雷设计
第三节 安全完整性等级指标计算举例
一、计算举例所针对的地面列控安全计算机结构
二、安全完整性等级指标计算
三、计算结果及分析
第四节 软件安全性设计的附加措施
一、软件设计与实现的具体措施
二、语言和编译器及链接编辑器的措施
三、软件验证与测试方法的措施
四、防范软件导致共因故障的措施
第五节 地面列控安全计算机软件设计
一、基于安全核的设计方法
二、列控安全计算机软件设计
三、操作系统的选择
四、安全核心的实现
五、系统可靠性设计
第六节 地面列控安全计算机的形式化验证
一、时间自动机及其验证工具UPPAAL
二、基于时间自动机的系统建模
三、基于UPPAAL的仿真与验证
参考文献