注冊 | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當前位置: 首頁出版圖書科學技術計算機/網(wǎng)絡軟件工程及軟件方法學軟件工程師可信計算基礎

軟件工程師可信計算基礎

軟件工程師可信計算基礎

定 價:¥78.00

作 者: (美)萊特
出版社: 國防工業(yè)出版社
叢編項:
標 簽: 暫缺

ISBN: 9787118100068 出版時間: 2014-12-01 包裝:
開本: 16開 頁數(shù): 329 字數(shù):  

內容簡介

  《可靠性維修性保障性學術專著譯叢:軟件工程師可信計算基礎》為美國弗吉尼亞大學JohnKnight教授的最新著作,是計算機系統(tǒng)可信性領域的前沿著作。書中提出了一套完整的計算機系統(tǒng)可信性概念和術語體系,介紹了可信性需求、可信性分析、可信性評估的基本方法,并重點對錯誤、故障、威脅等相關概念進行了闡述和區(qū)分,詳細討論了故障避免、故障消除、容錯和故障預測這四種故障處理措施,并配以大量的案例進行說明和分析。《可靠性維修性保障性學術專著譯叢:軟件工程師可信計算基礎》不僅詳細介紹了計算機系統(tǒng)可信性領域的相關概念、技術和方法.完整得提出了一套計算機系統(tǒng)可信性術語體系,還凝聚了作者多年從事軟件可信性研究工作所獲得的寶貴經(jīng)驗,對于國內正在興起的可信性研究具有重要的指導意義和參考價值。

作者簡介

暫缺《軟件工程師可信計算基礎》作者簡介

圖書目錄

第一章 概述
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 關鍵系統(tǒng)
1.7.2 幫助構建系統(tǒng)的系統(tǒng)
1.7.3 與其他系統(tǒng)交互的系統(tǒng)
1.8 我們要去往何方?
1.9 本書的組織結構
習題
第二章 可信性需求
2.1 為什么需要可信性需求
2.2 可信性概念的演變過程
2.3 術語的作用
2.4 什么是系統(tǒng)?
2.5 需求和規(guī)格說明
2.6 失效
2.6.1 服務失效的概念
2.6.2 服務失效的來源
2.6.3 需求和規(guī)格說明的實踐觀點
2.6.4 服務失效的視角
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 有關保密安全性的詞匯
2.7.9 信任的概念
2.8 系統(tǒng)、軟件和可信性
2.8.1 計算機既非不安全也非不保密安全
2.8.2 為什么要考慮應用系統(tǒng)的可信性
2.8.3 應用系統(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胡蘿卜圖
習題
第三章 錯誤、故障和危險
3.1 錯誤
3.2 錯誤狀態(tài)的復雜性
……
第四章 可信性分析
第五章 故障處理
第六章 退化故障和軟件
第七章 軟件可信性
第八章 軟件需求規(guī)格說明中的故障避免
第九章 軟件實現(xiàn)中的故障避免
第十章 軟件故障消除
第十一章 軟件容錯
第十二章 可信性評價
參考文獻
索引

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) www.dappsexplained.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號