安全性設(shè)計分析與驗證

內(nèi)容概要

　　
《安全性設(shè)計分析與驗證》主要面向工程技術(shù)人員，以“危險”為核心，闡述了裝備研制中的安全性工程工作、技術(shù)體系及具體技術(shù)方法，強調(diào)工程實用性?！栋踩栽O(shè)計分析與驗證》介紹了安全性工程的地位和作用以及發(fā)展歷程；在介紹安全性度量與要求及安全性工程基本概念的基礎(chǔ)上，梳理分析了裝備研制、生產(chǎn)、使用各階段的安全性分析工作，結(jié)合不同裝備特點有針對性地介紹了各類產(chǎn)品的安全性設(shè)計原則和方法；詳細闡述了安全性分析、設(shè)計技術(shù)方法。同時，《安全性設(shè)計分析與驗證》針對裝備中的軟件安全性工作，介紹了相關(guān)的技術(shù)方法。最后，介紹了安全性驗證的管理與技術(shù)方法。
　　
《安全性設(shè)計分析與驗證》供工程技術(shù)人員及管理人員在開展安全性工程工作時學(xué)習(xí)和參考，也可作為培訓(xùn)教材使用。同樣也可用于高等院校高年級本科生及研究生學(xué)習(xí)參考。

書籍目錄

第1章 緒論
 1.1 安全性的作用與地位
 1.2 安全性發(fā)展概況
第2章 安全性度量與要求
 2.1 安全性基本概念
 2.2 安全性度量
 2.3 危險源與分類
 2.4 安全性一般要求
第3章 安全性分析
 3.1 概述
 3.2 研制各階段安全性分析工作及方法
 3.3 表格危險分析法
 3.4 功能危險分析
 3.5 過程故障模式與影響分析
 3.6 特定風(fēng)險分析
 3.7 區(qū)域安全性分析
 3.8 共模分析
 3.9 能量跟蹤與屏蔽分析
 3.10 概率風(fēng)險評價
 3.11 馬爾科夫分析
 3.12 人為差錯分析
第4章 安全性設(shè)計
 4.1 概述
 4.2 通用安全性設(shè)計方法
 4.3 電子產(chǎn)品安全性設(shè)計
 4.4 機械設(shè)備安全性設(shè)計
 4.5 火工品與含化學(xué)品產(chǎn)品安全性設(shè)計
 4.6 核產(chǎn)品安全性設(shè)計
 4.7 人機安全性設(shè)計
 4.8 事故應(yīng)急預(yù)案設(shè)計
第5章 軟件安全性設(shè)計分析
第6章 安全性驗證
參考文獻

章節(jié)摘錄

版權(quán)頁：插圖：2）軟件與信息技術(shù)對安全性工程的挑戰(zhàn)隨著信息技術(shù)的不斷發(fā)展，軟件在裝備中逐漸發(fā)揮重要的作用，軟件的規(guī)模和復(fù)雜性日益增加，軟件錯誤導(dǎo)致的安全性事故也在不斷增多。例如，2007年12架F一22戰(zhàn)斗機從夏威夷飛往日本，途經(jīng)國際日期變更線時，計算機系統(tǒng)發(fā)生故障，這是在軟件需求中沒有考慮到經(jīng)過國際日期變更線的時間處理問題而產(chǎn)生的嚴(yán)重后果，若在戰(zhàn)時這些戰(zhàn)機很可能會因此而被擊落。近20年來軟件安全性獲得越來越多的關(guān)注，在航天、航空、兵器、醫(yī)療、核工業(yè)以及交通等領(lǐng)域，眾多的機構(gòu)對其進行了深入的研究，例如，美國國防部（DOD）、美國航空宇航局（NASA）、美國聯(lián)邦航空局（FAA）、歐洲航天局（ESA）、英國國防部（MOD）以及國際電工委員會（IEC）、電氣和電子工程師協(xié)會（IEEE）、航空無線電技術(shù)委員會（RTCA）以及以麻省理工學(xué)院（MIT）等。這些機構(gòu)獲得了豐富的研究成果，并形成了一些廣為認(rèn)可的軟件安全性規(guī)范，有些已成為廣為應(yīng)用的行業(yè)標(biāo)準(zhǔn)，用以指導(dǎo)實際的軟件安全性工作的開展，例如，美國聯(lián)合軍種軟件系統(tǒng)安全性委員會發(fā)布的《軟件系統(tǒng)安全性手冊》、RTCADO-178B、IEC-61508以及NASA-GB-8719.13等。在不同標(biāo)準(zhǔn)中，軟件安全性.工作思路有所側(cè)重，RTCADO-178B在強調(diào)開展軟件安全性分析的前提下，注重在軟件工程過程中的驗證策略及過程管理；美軍JSSSC的《軟件系統(tǒng)安全性手冊》是以危險的識別、消除、控制為核心開展軟件安全性工作；澳大利亞國防部標(biāo)準(zhǔn)DEF（AUST）5679則比較注重計劃的制定以及證據(jù)的收集，而N.ASA-GB一8719.13及其指南則以軟件開發(fā)過程為主線，更全面地從安全性分析、設(shè)計和驗證及過程和管理等方面對軟件安全性工作進行規(guī)范。我國軟件安全性的研究和應(yīng)用起步較晚，但隨著工程需要，我國的軟件安全性研究也逐步開展起來。已制定的相關(guān)標(biāo)準(zhǔn)有GJB／Z102-97《軟件可靠性和安全性設(shè)計準(zhǔn)則》和GJB142-2004《軍用軟件安全性分析指南》，以及一些相關(guān)的行業(yè)標(biāo)準(zhǔn)。與此相適應(yīng)，各類安全性標(biāo)準(zhǔn)中都增加了軟件安全性工作項目，要求在裝備研制過程中針對軟件系統(tǒng)開展安全性分析、評價和驗證工作。例如，在美國信息技術(shù)協(xié)會最新的安全性標(biāo)準(zhǔn)中，將軟件安全性工作分為危險分析和軟件集成.（integrity）兩個過程，強調(diào)從系統(tǒng)整體層面來研究軟件故障、危險和事故的影響；要求在軟件設(shè)計、開發(fā)和測試過程中并行開展危險分析，并制定和檢驗是否達到規(guī)定要求。

編輯推薦

《安全性設(shè)計分析與驗證》是可靠性?維修性?保障性技術(shù)叢書10之一。

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    安全性設(shè)計分析與驗證 PDF格式下載

---