《可信計算系統設計和分析》是清華大學出版社出版的圖書，作者是徐拾義。本書吸收了國內外關於可信性理論和技術方面的大量研究成果。
基本介紹
- 書名：可信計算系統設計和分析
- 作者：徐拾義
- ISBN：9787302126133
- 出版社：清華大學出版社
基本信息,內容簡介,目錄,
基本信息
作 者：徐拾義 編出 版 社：清華大學出版社ISBN：9787302126133出版時間：2006-07-01版 次：1頁 數：325裝 幀：平裝所屬分類：圖書 > 教材教輔 > 大學教材
內容簡介
當前，隨著“普適計算”時代的到來，數字計算系統已經滲透到社會的各個領域。對“可信計算和可信計算系統”的設計理論和實踐環節的深入研究和開拓必將成為當今數字系統研究的熱點。
本書共有12章，可以分成兩大部分。第一部分為對可信性各類屬性和基本知識的詳細介紹和分析（第1-4章）。其中包括對軟硬體系統的故障、錯誤和失效的定義及性質的形式化描述，並對軟硬體系統中的故障、錯誤作了分析和比較； 對可信性的6個屬性的定義以及評估和計算方法等進行了討論。第二部分則是在對可信性的主要屬性做深入研究的基礎上，闡述了提高系統可信性的基本理論、主要技術和實施方法及其他相關知識（第5~12章）。其中詳細分析和討論軟硬體系統的開發生命周期各個階段應採取的各種可信性策略和措施，闡明了避錯技術、防錯技術、排錯技術、可測性設計技術（包括冗餘與編碼技術）、容錯設計技術以及故障安全技術等在可信計算系統中的理論、方法和套用實例。
本書是一本集數字計算軟硬體系統於一體、可信性理論和實踐並重的著作，適應作為高等院校計算機科學、電子信息、通信工程以及微電子等相關專業高年級本科生和研究生的教材，也可供與可信計算有關的專業人士學習參考。
目錄
第1章 數字計算系統可信性及屬性
1.1 可信性定義及問題的提出
1.2 影響可信性計算的主要因素
1.2.1 失效的定義及後果
1.2.2 故障的定義及性質
1.2.3 錯誤的定義及傳遞性
1.3 可信性的評估測度和提高可信性的措施
1.4 小結
1.5 思考題
參考文獻
第2章 故障及故障模型
2.1 故障模型及分類
2.2 硬體結構類/功能類故障模型
2.2.1 邏輯電路的結構類/功能類故障模型
2.2.2 CMOS門電路的結構類/功能類故障模型
2.3 軟體結構類/功能類故障模型
2.3.1 軟體結構類故障模型
2.3.2 軟體功能類故障模型
2.3.3 軟體功能類故障的一個實例
2.4 故障模型的建立標準
2.4.1 建立故障模型的標準
2.4.2 故障模型的不足
2.5 小結
2.6 思考題
參考文獻
第3章 可信性測度和評估
3.1 數字系統的可信性測度
3.1.1 可信性的數量測度
3.1.2 可信性的質量測度
3.2 硬體系統的可靠性及其測度
3.2.1 可靠性函式和失效函式
3.2.2 MTTF, MTTR 和MTBF的定義
3.3 組合系統的可靠性
3.3.1 串列系統的可靠性
3.3.2 並行系統的可靠性
3.3.3 串並/並串系統的可靠性
3.3.4 非串列/非並行系統的可靠性
3.4 軟體系統可靠性及其測度
3.5 可測性及其測度
3.6 可維護性及其測度
3.6.1 維護及其定義
3.6.2 可維護性及其定義
3.7 可用性及其測度
3.8 安全性及其測度
3.9 保密性及其測度
3.10 可信性的綜合評價標準
3.11 小結
3.12 思考題
參考文獻
第4章 軟體可靠性及其測度
4.1 軟體可靠性的重要意義
4.2 軟體開發的生命周期
4.2.1 啟動和結束階段
4.2.2 需求條件和規格說明
4.2.3 建立原型樣本
4.2.4 設計
4.2.5 編程
4.2.6 測試
4.3 軟體可靠性及其測度
4.4 軟體錯誤及其對軟體可靠性模型的影響
4.4.1 軟體錯誤與排錯曲線
4.4.2 軟體錯誤與排錯模型
4.5 軟體可靠性模型
4.5.1 常數排錯率的軟體可靠性模型
4.5.2 線性遞減型排錯率的軟體可靠性模型
4.5.3 指數遞減型排錯率的軟體可靠性模型
4.6 軟體可靠性模型中常數估算
4.6.1 常數型排錯率的參數估算方法
4.6.2 線性遞減型排錯率的參數估算方法
4.6.3 指數遞減型排錯率的參數估算方法
4.7 小結
4.8 思考題
參考文獻
第5章 冗餘技術及其套用
第6章 避錯技術
第7章 防錯技術
第8章 硬體系統排錯技術
第9章 軟體系統排錯技術
第10章 可測性設計
第11章 容錯設計技術
第12章 故障安全技術
