軟件工程師可信計算基礎(chǔ)

第一章 概述
1.1 可信性的元素
1.1.1 一個警示性的故事
1.1.2 為什么要研究可信性
1.2 軟件工程師的角色
1.3 對于計算機的依賴
1.4 一些遺憾的失效
1.4.1 “阿麗亞娜”V火箭
1.4.2 大韓航空801航班
1.4.3 火星氣候軌道飛行器
1.4.4 火星極地登陸器
1.4.5 其他重要的事故
1.4.6 如何考慮失效
1.5 失效的后果
1.5.1 不明顯的失效后果
1.5.2 失效帶來的意外成本
1.5.3 后果的種類
1.5.4 確定失效后果
1.6 對于可信性的需求
1.7 系統(tǒng)和它們的可信性需求
1.7.1 關(guān)鍵系統(tǒng)
1.7.2 幫助構(gòu)建系統(tǒng)的系統(tǒng)
1.7.3 與其他系統(tǒng)交互的系統(tǒng)
1.8 我們要去往何方?
1.9 本書的組織結(jié)構(gòu)
習(xí)題
第二章 可信性需求
2.1 為什么需要可信性需求
2.2 可信性概念的演變過程
2.3 術(shù)語的作用
2.4 什么是系統(tǒng)?
2.5 需求和規(guī)格說明
2.6 失效
2.6.1 服務(wù)失效的概念
2.6.2 服務(wù)失效的來源
2.6.3 需求和規(guī)格說明的實踐觀點
2.6.4 服務(wù)失效的視角
2.6.5 告知用戶失效
2.7 可信性及其屬性
2.7.1 可靠性
2.7.2 可用性
2.7.3 每次請求失效
2.7.4 安全性
2.7.5 機密性
2.7.6 完整性
2.7.7 維修性
2.7.8 有關(guān)保密安全性的詞匯
2.7.9 信任的概念
2.8 系統(tǒng)、軟件和可信性
2.8.1 計算機既非不安全也非不保密安全
2.8.2 為什么要考慮應(yīng)用系統(tǒng)的可信性
2.8.3 應(yīng)用系統(tǒng)可信性和計算機
2.9 定義可信性需求
2.9.1 第一個例子：汽車巡航控制器
2.9.2 第二個例子：起搏器
2.1 0低至合理可行ALARP
2.1 0.1 對于ALARP的需求
2.1 0.2 ALARP概念
2.1 0.3 ALARP胡蘿卜圖
習(xí)題
第三章 錯誤、故障和危險
3.1 錯誤
3.2 錯誤狀態(tài)的復(fù)雜性
……
第四章 可信性分析
第五章 故障處理
第六章 退化故障和軟件
第七章 軟件可信性
第八章 軟件需求規(guī)格說明中的故障避免
第九章 軟件實現(xiàn)中的故障避免
第十章 軟件故障消除
第十一章 軟件容錯
第十二章 可信性評價
參考文獻
索引