扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
湖南省志(1978-2002)?铁路志
-
>
公路车宝典(ZINN的公路车维修与保养秘籍)
-
>
晶体管电路设计(下)
-
>
基于个性化设计策略的智能交通系统关键技术
-
>
德国克虏伯与晚清火:贸易与仿制模式下的技术转移
-
>
花样百出:贵州少数民族图案填色
-
>
识木:全球220种木材图鉴
列车运行控制系统安全性设计技术 版权信息
- ISBN：9787113233457
- 条形码：9787113233457 ; 978-7-113-23345-7
- 装帧：80g胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>>
列车运行控制系统安全性设计技术 本书特色
本书为“十二五”重点出版规划项目之一，依据IEC61508、EN50126、EN50128、EN50129等国际安全标准，结合轨道交通（铁路、城市轨道交通、高速磁浮）信号系统故障安全技术的发展趋势，针对列车运行控制系统的安全性设计，从系统安全生命周期要求、安全完整性要求、硬件安全性设计、软件安全性设计等方面，详细描述了相关的安全性设计技术的细节，*后给出了列控安全计算机安全性设计的实例。
列车运行控制系统安全性设计技术 内容简介
本书为“十二五”重点出版规划项目之一，依据IEC61508、EN50126、EN50128、EN50129等国际安全标准，结合轨道交通(铁路、城市轨道交通、高速磁浮)信号系统故障安全技术的发展趋势，针对列车运行控制系统的安全性设计，从系统安全生命周期要求、安全完整性要求、硬件安全性设计、软件安全性设计等方面，详细描述了相关的安全性设计技术的细节，*后给出了列控安全计算机安全性设计的实例。
列车运行控制系统安全性设计技术 目录
**章 绪 论
**节 铁路信号安全技术的发展
一、传统铁路信号故障一安全技术的产生
二、传统铁路信号安全技术概述
三、故障一安全概念的发展
第二节 安全标准
一、IEC 61508标准
二、EN 50126／50128／50129标准
三、EN 50159标准
第三节 典型铁路信号系统安全结构举例
一、编码微处理器结构
二、SIMIS结构
三、SMILE结构
第二章 列控系统的安全性设计基础
**节 系统生命周期
第二节 安全完整性及其等级
一、安全需求
二、安全完整性
三、安全完整性需求的分配
四、安全完整性等级(SIL)
第三节 安全相关系统硬件的SIL计算
一、IEC 61508标准中基于可靠性框图的SIL计算方法
二、PDS方法及其应用
第三章 系统和硬件安全性设计。
**节 系统级方法
一、系统层次结构的概念
二、系统需求和特点
三、系统边界和功能
第二节 避免系统失效以及控制随机与系统失效
第三节 详细技术要求
一、功能正确运行的保障
二、故障的影响
三、外界影响下的运行
四、安全相关应用条件
五、安全合格测试
第四节 SIL3或SIL4补充技术要求
一、物理的内部独立性的获得
二、物理的外部独立性的获得
三、单故障分析方法示例
四、多重故障分析方法示例
第五节 其他要求
一、可编程器件要求
二、既有硬件和商业现货产品硬件要求
三、型式试验耐受要求
四、电磁兼容及防雷要求
第四章 软件安全性设计
**节 概 述
一、软件研发流程
二、软件安全完整性等级
三、软件管理和组织
第二节 软件保障一般要求
一、软件测试
二、软件验证
三、软件确认
四、软件评估
五、软件质量保障
六、软件修改和变更控制
七、支持工具和语言
八、软件部署和维护
第三节 通用软件研发要求
一、通用软件的生命周期和文档
二、软件需求
三、软件架构和设计
四、组件设计
五、组件实现和测试
六、集 成
七、整体软件测试／*终确认
第四节 应用数据和算法的研发
一、目 标
二、输入文档
三、输出文档
四、要 求
第五节 技术和措施的选择标准
一、条款表
二、详细表格
第五章 列控安全计算机设计举例
**节 二乘二取二列控安全计算机结构设计
一、结构特点
二、二取二功能的实现
三、二乘(双通道热备)功能的实现
第二节 列控安全计算机硬件设计
一、硬件设计基础
二、电源设计
三、强故障一安全电路设计
四、诊断设计
五、输入输出的安全性设计
六、EMC及防雷设计
第三节 安全完整性等级指标计算举例
一、计算举例所针对的地面列控安全计算机结构
二、安全完整性等级指标计算
三、计算结果及分析
第四节 软件安全性设计的附加措施
一、软件设计与实现的具体措施
二、语言和编译器及链接编辑器的措施
三、软件验证与测试方法的措施
四、防范软件导致共因故障的措施
第五节 地面列控安全计算机软件设计
一、基于安全核的设计方法
二、列控安全计算机软件设计
三、操作系统的选择
四、安全核心的实现
五、系统可靠性设计
第六节 地面列控安全计算机的形式化验证
一、时间自动机及其验证工具UPPAAL
二、基于时间自动机的系统建模
三、基于UPPAAL的仿真与验证
参考文献
展开全部
书友推荐
- >
经典常谈
经典常谈
¥12.7¥39.8 - >
巴金－再思录
巴金－再思录
¥14.7¥46.0 - >
大红狗在马戏团-大红狗克里弗-助人
大红狗在马戏团-大红狗克里弗-助人
¥3.5¥10.0 - >
山海经
山海经
¥19.7¥68.0 - >
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
企鹅口袋书系列·伟大的思想20:论自然选择(英汉双语)
¥6.3¥14.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥31.9¥58.0 - >
有舍有得是人生
有舍有得是人生
¥17.1¥45.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥24.4¥49.8
本类畅销
-
中国高速公路建设实录
¥116¥400 -
上海高速公路建设实录
¥53.5¥150 -
4.23文创礼盒A款--“作家言我精神状态”
¥42.3¥206 -
4.23文创礼盒B款--“作家言我精神状态”
¥42.3¥206 -
一句顶一万句 (印签版)
¥40.4¥68 -
百年书评史散论
¥14.9¥38
