前言
第1章 緒論
1.1 背景與意義
1.2 **外研究現狀
1.2.1 可信計算與可信繫統
1.2.2 變電站自動化繫統
1.2.3 信息繫統可信性分析
1.2.4 可信設計方法
1.2.5 連鎖故障
1.2.6 傳感器故障診斷
1.3 本書研究內容與結構
1.3.1 研究內容
1.3.2 本書的結構
第2章 可信計算及其研究進展
2.1 可信計算產生的背景
2.2 可信計算的概念與發展
2.2.1 可信計算的概念與屬性
2.2.2 國外可信計算的發展
2.2.3 **可信計算的發展
2.2.4 基於容錯的可信計算
2.3 可信計算中的若干問題
2.3.1 容錯技術
2.3.2 軟件可靠性
2.3.3 拜占庭將軍問題
第3章 變電站自動化繫統的可信性分析
3.1 可信性的內涵
3.1.1 特征屬性及其關繫
3.1.2 威脅及其關繫
3.1.3 保障可信性的措施
3.2 智能電網環境下的變電站自動化
3.2.1 智能電網
3.2.2 智能電網環境下的變電站自動化
3.2.3 變電站自動化繫統的可信性屬性
3.2.4 變電站自動化繫統面臨的可信性威脅
3.3 基於可達矩陣的變電站自動化繫統可信性分析
3.3.1 基於組件的變電站自動化繫統可信性模型
3.3.2 變電站自動化繫統可信性分析
3.4 本章小結
第4章 變電站自動化繫統IED可信設計方法
4.1 IED設計需求
4.2 基於Timed CSP的IED形式化設計方法
4.2.1 形式化設計方法
4.2.2 Timed CSP簡介
4.2.3 IED邏輯模型與Timed CSP語言的轉換關繫
4.2.4 實例分析
4.3 CSP描述的性能分析
4.3.1 CSP描述向隨機Petri網模型的轉換
4.3.2 基於馬爾可夫過程的性能分析方法
4.3.3 實例分析
4.4 本章小結