歡迎光臨中圖網(wǎng) 請(qǐng) | 注冊(cè)
> >>
列車運(yùn)行控制系統(tǒng)安全性設(shè)計(jì)技術(shù)

列車運(yùn)行控制系統(tǒng)安全性設(shè)計(jì)技術(shù)

出版社：中國(guó)鐵道出版社出版時(shí)間：2017-12-01
開本： 32開 頁(yè)數(shù)： 219
中 圖 價(jià):¥64.0(8.0折) 定價(jià)  ¥80.0 登錄后可看到會(huì)員價(jià)
加入購(gòu)物車 收藏
運(yùn)費(fèi)6元，滿39元免運(yùn)費(fèi)
?新疆、西藏除外
本類五星書更多>

列車運(yùn)行控制系統(tǒng)安全性設(shè)計(jì)技術(shù) 版權(quán)信息

列車運(yùn)行控制系統(tǒng)安全性設(shè)計(jì)技術(shù) 本書特色

本書為“十二五”重點(diǎn)出版規(guī)劃項(xiàng)目之一，依據(jù)IEC61508、EN50126、EN50128、EN50129等國(guó)際安全標(biāo)準(zhǔn)，結(jié)合軌道交通（鐵路、城市軌道交通、高速磁。┬盘(hào)系統(tǒng)故障安全技術(shù)的發(fā)展趨勢(shì)，針對(duì)列車運(yùn)行控制系統(tǒng)的安全性設(shè)計(jì)，從系統(tǒng)安全生命周期要求、安全完整性要求、硬件安全性設(shè)計(jì)、軟件安全性設(shè)計(jì)等方面，詳細(xì)描述了相關(guān)的安全性設(shè)計(jì)技術(shù)的細(xì)節(jié)，*后給出了列控安全計(jì)算機(jī)安全性設(shè)計(jì)的實(shí)例。

列車運(yùn)行控制系統(tǒng)安全性設(shè)計(jì)技術(shù) 內(nèi)容簡(jiǎn)介

本書為“十二五”重點(diǎn)出版規(guī)劃項(xiàng)目之一，依據(jù)IEC61508、EN50126、EN50128、EN50129等國(guó)際安全標(biāo)準(zhǔn)，結(jié)合軌道交通(鐵路、城市軌道交通、高速磁浮)信號(hào)系統(tǒng)故障安全技術(shù)的發(fā)展趨勢(shì)，針對(duì)列車運(yùn)行控制系統(tǒng)的安全性設(shè)計(jì)，從系統(tǒng)安全生命周期要求、安全完整性要求、硬件安全性設(shè)計(jì)、軟件安全性設(shè)計(jì)等方面，詳細(xì)描述了相關(guān)的安全性設(shè)計(jì)技術(shù)的細(xì)節(jié)，*后給出了列控安全計(jì)算機(jī)安全性設(shè)計(jì)的實(shí)例。

列車運(yùn)行控制系統(tǒng)安全性設(shè)計(jì)技術(shù) 目錄

**章 緒 論 **節(jié) 鐵路信號(hào)安全技術(shù)的發(fā)展 一、傳統(tǒng)鐵路信號(hào)故障一安全技術(shù)的產(chǎn)生 二、傳統(tǒng)鐵路信號(hào)安全技術(shù)概述 三、故障一安全概念的發(fā)展 第二節(jié) 安全標(biāo)準(zhǔn) 一、IEC 61508標(biāo)準(zhǔn) 二、EN 50126／50128／50129標(biāo)準(zhǔn) 三、EN 50159標(biāo)準(zhǔn) 第三節(jié) 典型鐵路信號(hào)系統(tǒng)安全結(jié)構(gòu)舉例 一、編碼微處理器結(jié)構(gòu) 二、SIMIS結(jié)構(gòu) 三、SMILE結(jié)構(gòu) 第二章 列控系統(tǒng)的安全性設(shè)計(jì)基礎(chǔ) **節(jié) 系統(tǒng)生命周期 第二節(jié) 安全完整性及其等級(jí) 一、安全需求 二、安全完整性 三、安全完整性需求的分配 四、安全完整性等級(jí)(SIL) 第三節(jié) 安全相關(guān)系統(tǒng)硬件的SIL計(jì)算 一、IEC 61508標(biāo)準(zhǔn)中基于可靠性框圖的SIL計(jì)算方法 二、PDS方法及其應(yīng)用 第三章 系統(tǒng)和硬件安全性設(shè)計(jì)。 **節(jié) 系統(tǒng)級(jí)方法 一、系統(tǒng)層次結(jié)構(gòu)的概念 二、系統(tǒng)需求和特點(diǎn) 三、系統(tǒng)邊界和功能 第二節(jié) 避免系統(tǒng)失效以及控制隨機(jī)與系統(tǒng)失效 第三節(jié) 詳細(xì)技術(shù)要求 一、功能正確運(yùn)行的保障 二、故障的影響 三、外界影響下的運(yùn)行 四、安全相關(guān)應(yīng)用條件 五、安全合格測(cè)試 第四節(jié) SIL3或SIL4補(bǔ)充技術(shù)要求 一、物理的內(nèi)部獨(dú)立性的獲得 二、物理的外部獨(dú)立性的獲得 三、單故障分析方法示例 四、多重故障分析方法示例 第五節(jié) 其他要求 一、可編程器件要求 二、既有硬件和商業(yè)現(xiàn)貨產(chǎn)品硬件要求 三、型式試驗(yàn)?zāi)褪芤? 四、電磁兼容及防雷要求 第四章 軟件安全性設(shè)計(jì) **節(jié) 概 述 一、軟件研發(fā)流程 二、軟件安全完整性等級(jí) 三、軟件管理和組織 第二節(jié) 軟件保障一般要求 一、軟件測(cè)試 二、軟件驗(yàn)證 三、軟件確認(rèn) 四、軟件評(píng)估 五、軟件質(zhì)量保障 六、軟件修改和變更控制 七、支持工具和語(yǔ)言 八、軟件部署和維護(hù) 第三節(jié) 通用軟件研發(fā)要求 一、通用軟件的生命周期和文檔 二、軟件需求 三、軟件架構(gòu)和設(shè)計(jì) 四、組件設(shè)計(jì) 五、組件實(shí)現(xiàn)和測(cè)試 六、集 成 七、整體軟件測(cè)試／*終確認(rèn) 第四節(jié) 應(yīng)用數(shù)據(jù)和算法的研發(fā) 一、目 標(biāo) 二、輸入文檔 三、輸出文檔 四、要 求 第五節(jié) 技術(shù)和措施的選擇標(biāo)準(zhǔn) 一、條款表 二、詳細(xì)表格 第五章 列控安全計(jì)算機(jī)設(shè)計(jì)舉例 **節(jié) 二乘二取二列控安全計(jì)算機(jī)結(jié)構(gòu)設(shè)計(jì) 一、結(jié)構(gòu)特點(diǎn) 二、二取二功能的實(shí)現(xiàn) 三、二乘(雙通道熱備)功能的實(shí)現(xiàn) 第二節(jié) 列控安全計(jì)算機(jī)硬件設(shè)計(jì) 一、硬件設(shè)計(jì)基礎(chǔ) 二、電源設(shè)計(jì) 三、強(qiáng)故障一安全電路設(shè)計(jì) 四、診斷設(shè)計(jì) 五、輸入輸出的安全性設(shè)計(jì) 六、EMC及防雷設(shè)計(jì) 第三節(jié) 安全完整性等級(jí)指標(biāo)計(jì)算舉例 一、計(jì)算舉例所針對(duì)的地面列控安全計(jì)算機(jī)結(jié)構(gòu) 二、安全完整性等級(jí)指標(biāo)計(jì)算 三、計(jì)算結(jié)果及分析 第四節(jié) 軟件安全性設(shè)計(jì)的附加措施 一、軟件設(shè)計(jì)與實(shí)現(xiàn)的具體措施 二、語(yǔ)言和編譯器及鏈接編輯器的措施 三、軟件驗(yàn)證與測(cè)試方法的措施 四、防范軟件導(dǎo)致共因故障的措施 第五節(jié) 地面列控安全計(jì)算機(jī)軟件設(shè)計(jì) 一、基于安全核的設(shè)計(jì)方法 二、列控安全計(jì)算機(jī)軟件設(shè)計(jì) 三、操作系統(tǒng)的選擇 四、安全核心的實(shí)現(xiàn) 五、系統(tǒng)可靠性設(shè)計(jì) 第六節(jié) 地面列控安全計(jì)算機(jī)的形式化驗(yàn)證 一、時(shí)間自動(dòng)機(jī)及其驗(yàn)證工具UPPAAL 二、基于時(shí)間自動(dòng)機(jī)的系統(tǒng)建模 三、基于UPPAAL的仿真與驗(yàn)證 參考文獻(xiàn)
展開全部
商品評(píng)論(0條)
暫無(wú)評(píng)論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網(wǎng)
在線客服