中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
公路車寶典(ZINN的公路車維修與保養秘籍)
-
>
晶體管電路設計(下)
-
>
基于個性化設計策略的智能交通系統關鍵技術
-
>
花樣百出:貴州少數民族圖案填色
-
>
山東教育出版社有限公司技術轉移與技術創新歷史叢書中國高等技術教育的蘇化(1949—1961)以北京地區為中心
-
>
鐵路機車概要.交流傳動內燃.電力機車
-
>
利維坦的道德困境:早期現代政治哲學的問題與脈絡
列車運行控制系統安全性設計技術 版權信息
- 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的仿真與驗證
參考文獻
展開全部
書友推薦
- >
羅曼·羅蘭讀書隨筆-精裝
- >
名家帶你讀魯迅:朝花夕拾
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
- >
我從未如此眷戀人間
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
名家帶你讀魯迅:故事新編
- >
【精裝繪本】畫給孩子的中國神話
- >
我與地壇
本類暢銷
