可信計算系統(tǒng)設(shè)計和分析

內(nèi)容概要

　　當前，隨著“普適計算”時代的到來，數(shù)字計算系統(tǒng)已經(jīng)滲透到社會的各個領(lǐng)域。對“可信計算和可信計算系統(tǒng)”的設(shè)計理論和實踐環(huán)節(jié)的深入研究和開拓必將成為當今數(shù)字系統(tǒng)研究的熱點?！　”緯灿?2章，可以分成兩大部分。第一部分為對可信性各類屬性和基本知識的詳細介紹和分析（第1-4章）。其中包括對軟硬件系統(tǒng)的故障、錯誤和失效的定義及性質(zhì)的形式化描述，并對軟硬件系統(tǒng)中的故障、錯誤作了分析和比較； 對可信性的6個屬性的定義以及評估和計算方法等進行了討論。第二部分則是在對可信性的主要屬性做深入研究的基礎(chǔ)上，闡述了提高系統(tǒng)可信性的基本理論、主要技術(shù)和實施方法及其他相關(guān)知識（第5~12章）。其中詳細分析和討論軟硬件系統(tǒng)的開發(fā)生命周期各個階段應(yīng)采取的各種可信性策略和措施，闡明了避錯技術(shù)、防錯技術(shù)、排錯技術(shù)、可測性設(shè)計技術(shù)（包括冗余與編碼技術(shù)）、容錯設(shè)計技術(shù)以及故障安全技術(shù)等在可信計算系統(tǒng)中的理論、方法和應(yīng)用實例?！　”緯樟藝鴥?nèi)外關(guān)于可信性理論和技術(shù)方面的大量研究成果，是一本集數(shù)字計算軟硬件系統(tǒng)于一體、可信性理論和實踐并重的著作，適應(yīng)作為高等院校計算機科學、電子信息、通信工程以及微電子等相關(guān)專業(yè)高年級本科生和研究生的教材，也可供與可信計算有關(guān)的專業(yè)人士學習參考。

書籍目錄

第1章 數(shù)字計算系統(tǒng)可信性及屬性1.1 可信性定義及問題的提出1.2 影響可信性計算的主要因素1.2.1 失效的定義及后果1.2.2 故障的定義及性質(zhì)1.2.3 錯誤的定義及傳遞性1.3 可信性的評估測度和提高可信性的措施1.4 小結(jié)1.5 思考題參考文獻第2章 故障及故障模型2.1 故障模型及分類2.2 硬件結(jié)構(gòu)類/功能類故障模型2.2.1 邏輯電路的結(jié)構(gòu)類/功能類故障模型2.2.2 CMOS門電路的結(jié)構(gòu)類/功能類故障模型2.3 軟件結(jié)構(gòu)類/功能類故障模型2.3.1 軟件結(jié)構(gòu)類故障模型2.3.2 軟件功能類故障模型2.3.3 軟件功能類故障的一個實例2.4 故障模型的建立標準2.4.1 建立故障模型的標準2.4.2 故障模型的不足2.5 小結(jié)2.6 思考題參考文獻第3章 可信性測度和評估3.1 數(shù)字系統(tǒng)的可信性測度3.1.1 可信性的數(shù)量測度3.1.2 可信性的質(zhì)量測度3.2 硬件系統(tǒng)的可靠性及其測度3.2.1 可靠性函數(shù)和失效函數(shù)3.2.2 MTTF, MTTR 和MTBF的定義3.3 組合系統(tǒng)的可靠性3.3.1 串行系統(tǒng)的可靠性3.3.2 并行系統(tǒng)的可靠性3.3.3 串并/并串系統(tǒng)的可靠性3.3.4 非串行/非并行系統(tǒng)的可靠性3.4 軟件系統(tǒng)可靠性及其測度3.5 可測性及其測度3.6 可維護性及其測度3.6.1 維護及其定義3.6.2 可維護性及其定義3.7 可用性及其測度3.8 安全性及其測度3.9 保密性及其測度3.10 可信性的綜合評價標準3.11 小結(jié)3.12 思考題參考文獻第4章 軟件可靠性及其測度4.1 軟件可靠性的重要意義4.2 軟件開發(fā)的生命周期4.2.1 啟動和結(jié)束階段4.2.2 需求條件和規(guī)格說明4.2.3 建立原型樣本4.2.4 設(shè)計4.2.5 編程4.2.6 測試4.3 軟件可靠性及其測度4.4 軟件錯誤及其對軟件可靠性模型的影響4.4.1 軟件錯誤與排錯曲線4.4.2 軟件錯誤與排錯模型4.5 軟件可靠性模型4.5.1 常數(shù)排錯率的軟件可靠性模型4.5.2 線性遞減型排錯率的軟件可靠性模型4.5.3 指數(shù)遞減型排錯率的軟件可靠性模型4.6 軟件可靠性模型中常數(shù)估算4.6.1 常數(shù)型排錯率的參數(shù)估算方法4.6.2 線性遞減型排錯率的參數(shù)估算方法4.6.3 指數(shù)遞減型排錯率的參數(shù)估算方法4.7 小結(jié)4.8 思考題參考文獻第5章 冗余技術(shù)及其應(yīng)用第6章 避錯技術(shù)第7章 防錯技術(shù)第8章 硬件系統(tǒng)排錯技術(shù)第9章 軟件系統(tǒng)排錯技術(shù)第10章 可測性設(shè)計第11章 容錯設(shè)計技術(shù)第12章 故障安全技術(shù)

編輯推薦

當前，隨著“普適計算”時代的到來，數(shù)字計算系統(tǒng)已經(jīng)滲透到社會的各個領(lǐng)域。對“可信計算和可信計算系統(tǒng)”的設(shè)計理論和實踐環(huán)節(jié)的深入研究和開拓必將成為當今數(shù)字系統(tǒng)研究的熱點。    本書共有12章，可以分成兩大部分。第一部分為對可信性各類屬性和基本知識的詳細介紹和分析（第1-4章）。其中包括對軟硬件系統(tǒng)的故障、錯誤和失效的定義及性質(zhì)的形式化描述，并對軟硬件系統(tǒng)中的故障、錯誤作了分析和比較； 對可信性的6個屬性的定義以及評估和計算方法等進行了討論。第二部分則是在對可信性的主要屬性做深入研究的基礎(chǔ)上，闡述了提高系統(tǒng)可信性的基本理論、主要技術(shù)和實施方法及其他相關(guān)知識（第5~12章）。其中詳細分析和討論軟硬件系統(tǒng)的開發(fā)生命周期各個階段應(yīng)采取的各種可信性策略和措施，闡明了避錯技術(shù)、防錯技術(shù)、排錯技術(shù)、可測性設(shè)計技術(shù)（包括冗余與編碼技術(shù)）、容錯設(shè)計技術(shù)以及故障安全技術(shù)等在可信計算系統(tǒng)中的理論、方法和應(yīng)用實例。

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    可信計算系統(tǒng)設(shè)計和分析 PDF格式下載

---