內容介紹
內 容 簡 介本書圍繞鐵路信號用的微型計算機系統的高可靠性、高安全性的要求，以容錯技
術的基本概念、基本知識和基本技術理論為基礎，以故障安全技術為主線，詳細闡述
了故障測試、硬體冗餘技術、軟體冗餘技術、故障安全組合邏輯電路、故障安全時序邏
輯電路、自校驗邏輯電路、故障安全計算機、軟體系統的故障安全等內容。
本書為高等學校自控專業研究生教材或教學參考書，也可供自控專業的工程技
術人員學習參考。
作品目錄
目 錄第一章 總 論
1.1容錯技術概論
1.2故障安全技術概論
第二章 故障測試
2.1數字電路（或系統）的故障和故障模型
2.2故障測試總論
2.3部件的功能測試
2.4門級的結構測試
2.5其它的故障檢測技術
2.6系統級診斷
第三章 硬體冗餘技術
3.1冗餘技術的基本概念
3.2N模冗餘技術
3.3待命儲備系統
3.4混合冗餘系統
3.5二模冗餘系統
3.6局部網路冗餘技術
第四章 軟體冗餘技術
4.1軟體可靠性的基本概念
4.2軟體的避錯技術
4.3容錯軟體的結構
4.4軟體錯誤檢測技術
4.5軟體容錯技術
第五章 故障安全組合邏輯電路
5.1基本故障安全邏輯電路的定義
5.2單調邏輯函式
5.3基本故障安全邏輯電路的條件
5.4故障安全組合邏輯電路
5.5實現基本故障安全邏輯電路應該考慮的主要問題
5.6電阻一電晶體調變式故障安全邏輯電路
5.7三值故障安全邏輯電路
5.8交替邏輯電路及其故障安全性
第六章 故障安全的時序邏輯電路
6.1時序電路和狀態機
6.2故障安全（FS）時序電路基本概念
6.3用對稱出錯元件（SFE）和波格碼設計FS同步時序電路
6.4用對稱出錯元件（SFE）和等重碼kCn設計FS同步時序電路
6.5用SFE元件和集合分劃理論設計FS同步時序電路
6.6N－FS時序電路
第七章 自校驗邏輯電路
7.1概 述
7.2自校驗邏輯電路的特點及一般結構模型
7.3自校驗邏輯電路的定義
7.4完全自校驗檢測器
7.5雙軌代碼完全自校驗檢測器
7.6奇偶校驗碼完全自校驗檢測器
7.7m/n編碼的完全自校驗檢測器
7.8強故障保險邏輯
7.9自校驗和故障安全的關係
第八章 故障安全計算機
8.1概 述
8.2鐵路信號設備微型計算機化的特點
8.3單機閉環自診斷故障安全計算機
8.4採用單機軟體冗餘的故障安全計算機
8.5雙模緊密耦合匯流排同步式故障安全計算機
8.6雙模時差同步式故障安全計算機
8.7雙模軟體冗餘的故障安全計算機
8.8三模緊密耦合匯流排同步式故障安全計算機
8.9三模鬆散耦合式故障安全計算機
8.10故障安全輸入接口
8.11故障安全輸出接口
8.12故障安全傳輸
第九章 軟體系統的故障安全
9.1軟體系統故障安全概述
9.2軟體故障安全性需求分析
9.3軟體系統的故障安全性設計準則
9.4軟體系統安全性驗證和評估
主要參考文獻
