基于ISO26262的功能安全

定　價：￥139.00

作　者：	薇拉·格布哈特（Vera Gebhardt）著
出版社：	機械工業(yè)出版社
叢編項：	汽車先進(jìn)技術(shù)譯叢-汽車創(chuàng)新與開發(fā)系列
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787111675860	出版時間：	2021-06-01	包裝：	精裝
開本：	16開	頁數(shù)：	276	字?jǐn)?shù)：

內(nèi)容簡介

　　《基于ISO26262的功能安全》以一個虛擬項目Joy中的操縱桿傳感器開發(fā)流程為例，系統(tǒng)介紹了基于ISO26262功能安全的安全理念、團(tuán)隊組建、團(tuán)隊成員角色、具體項目、操作流程、技術(shù)手段、驗證與確認(rèn)計劃、工作中產(chǎn)生的文檔和工作產(chǎn)品、評審等內(nèi)容，并在項目結(jié)束后進(jìn)行了回顧。《基于ISO26262的功能安全》結(jié)合具體項目，手把手引導(dǎo)讀者進(jìn)行功能安全管理方面的學(xué)習(xí)，把枯燥單調(diào)的功能安全標(biāo)準(zhǔn) 具體化、形象化。

作者簡介

　　【作者簡介】Vera Gebhardt Vera Gebhardt直到1999年底是一名認(rèn)證的保險專家，在DBV Winterthur保險公司內(nèi)部服務(wù)做多領(lǐng)域保險和電話客戶支持。與此同時，通過在個人保險部門的認(rèn)證咨詢，她建立了一個穩(wěn)定的客戶群。2000年1月，她轉(zhuǎn)向IT行業(yè)，擔(dān)任高級質(zhì)量經(jīng)理和測試經(jīng)理，重點關(guān)注財務(wù)和保險。在轉(zhuǎn)到工程/汽車行業(yè)后，她獲得了SPICE審核員、CMMI專業(yè)顧問和流程專家的資格，擔(dān)任Ruecker AG股份公司的軟件質(zhì)量經(jīng)理。從2004年開始，她成為IAE GmbH公司領(lǐng)導(dǎo)層的質(zhì)量經(jīng)理和項目經(jīng)理，具有人事責(zé)任和簽字授權(quán)。隨后又獲得在項目管理和功能安全方面的資格和認(rèn)證。今天Vera Gebhardt是獲得認(rèn)證的SPICE審核員、iSQI項目管理認(rèn)證專家、功能安全首席顧問和tecmata GmbH公司的主要分公司領(lǐng)導(dǎo)。她負(fù)責(zé)人力資源、功能安全、質(zhì)量管理和項目管理這些領(lǐng)域，以及整個業(yè)務(wù)網(wǎng)絡(luò)的擴展。 Vera Gebhardt是ASQF的安全技術(shù)組的創(chuàng)始人和組長，她也是很多專業(yè)報告的作者。 vera.gebhardt@tecmata.de · http：//www.tecmata.deGerhard M. Rieger Gerhard M. Rieger在奧格斯堡學(xué)習(xí)電氣工程/通信工程。完成學(xué)業(yè)后，他在TÜV Bayern e.V. 的電子設(shè)備»自動化和安全技術(shù)«部門IQSE擔(dān)任原型驗證的審核員。1992年他額外還負(fù)責(zé)TÜV Bayern Sachsen e.V.的測試機構(gòu)，到1998年前在工作領(lǐng)域»電信設(shè)備和遠(yuǎn)程控制設(shè)備«的管理層工作。直到2001年，Rieger先生在在TÜV產(chǎn)品服務(wù)有限公司的安全相關(guān)電子系統(tǒng)領(lǐng)域擔(dān)任市場部門經(jīng)理，并于2001年轉(zhuǎn)到RWTÜV下的TÜV Informationstechnik GmbH公司擔(dān)任部門主管負(fù)責(zé)»安全認(rèn)證服務(wù)«。他的職責(zé)包括功能安全工作領(lǐng)域的建立，人事領(lǐng)導(dǎo)和測試機構(gòu)的經(jīng)濟。他繼續(xù)在母公司RWTÜV完善功能安全領(lǐng)域的建設(shè)，2004年轉(zhuǎn)到RWTÜV公司（自2006年起，改名為TÜV NORD SysTec GmbH＆Co. KG）的安全相關(guān)服務(wù)部門。在那里直到2010年他領(lǐng)導(dǎo)奧格斯堡場所的運營并負(fù)責(zé)工作領(lǐng)域“功能安全”。自2011年以來，他繼續(xù)負(fù)責(zé)擴大奧格斯堡場所的建設(shè)以及TÜV NORD Systems GmbH＆Co。KG的功能安全工作領(lǐng)域的擴展。 Rieger先生是眾多專業(yè)文章的作者，并在奧格斯堡大學(xué)的精英學(xué)位計算機科學(xué)講解»功能性安全性“課程。 grieger@tuev-nord.de · http：//www.tuev-nord.deJürgen Motto 教授JürgenMottok博士在雷根斯堡應(yīng)用科學(xué)大學(xué)教授計算機科學(xué)。他的教學(xué)領(lǐng)域是軟件工程，編程語言、操作系統(tǒng)和功能安全。他領(lǐng)導(dǎo)人身安全和信息安全系統(tǒng)實驗室，是巴伐利亞信息技術(shù)（IT）d的安全與安全集群顧問委員會成員，汽車安全軟件系統(tǒng)論壇顧問委員會成員，ASQF安全咨詢委員會委員，計算機協(xié)會東歐巴伐利亞州的理事機構(gòu)成員。巴伐利亞軟件工程教學(xué)工作組的組織者。是具有授予博士學(xué)位合作的研究項目DynaS3和VitaS3，S3OP和S3EMO的項目經(jīng)理，研究項目的合作伙伴是AVL Software and Functions GmbH公司，Continental Automotive GmbH（大陸汽車公司），iNTENCE Automotive GmbH公司，Manu AG公司和exida GmbH公司。教授Jürgen Mottok博士在眾多科學(xué)技術(shù)會議的議程委員會中擔(dān)任委員。他是巴伐利亞州的科學(xué)、研究和藝術(shù)部的杰出教學(xué)獎獲得者。 juergen.mottok@hs-regensburg.de · http：//www.las3.de Christian Gießelbach 工程數(shù)學(xué)碩士Christian Gießelbach科隆大學(xué)學(xué)習(xí)數(shù)學(xué)和計算機科學(xué)，畢業(yè)后*初是IVU Traffic科技股份公司的軟件開發(fā)人員。2007年，他轉(zhuǎn)到了tecmata GmbH公司并作為軟件架構(gòu)的專家以及測試設(shè)計師負(fù)責(zé)安全相關(guān)嵌入式開發(fā)領(lǐng)域的不同工業(yè)項目。Christian Gießelbach是功能安全與安全的首席顧問，負(fù)責(zé)安全軟件系統(tǒng)的概念設(shè)計。他是ASQF安全專家組成員和tecmata GmbH公司的功能安全專家組顧問。 c.giesselbach@tecmata.de · http：//www.tecmata.de【譯者簡介】程威為，上海同濟大學(xué)汽車系，德國卡爾斯魯厄大學(xué)計算機系碩士。德國頂級汽車零部件企業(yè)項目安全經(jīng)理，安全專家，負(fù)責(zé)多國客戶項目及平臺項目的功能安全。在功能安全領(lǐng)域深耕十余年，擁有完整的功能安全開發(fā)技術(shù)和項目管理經(jīng)驗，涵蓋汽車動力總成、自動駕駛及工業(yè)自動化等領(lǐng)域。張律，畢業(yè)于德國斯圖加特大學(xué)車輛工程碩士專業(yè)，后就職于全球頂級汽車零部件供應(yīng)商，在其德國總部從事電子控制器在平臺和客戶項目中的研發(fā)工作。始終致力于功能安全概念的研究和軟件層面的實現(xiàn)，針對于不同的客戶產(chǎn)品特點，就其特有的架構(gòu)給出可行的功能安全解決方案，具有豐富的ISO26262在產(chǎn)品研發(fā)中的實踐經(jīng)驗。張亮，畢業(yè)于哈爾濱工業(yè)大學(xué)汽車工程學(xué)院內(nèi)燃機系，德國埃森林根應(yīng)用科技大學(xué)汽車機電系，先后就職于中國某頂級大型汽車公司，德國某頂級汽車零部件供應(yīng)商。多年來從一直從事汽車動力系統(tǒng)的研發(fā)工作，具有豐富的理論和實踐經(jīng)驗。楊青，德國杜伊斯堡-埃森大學(xué)機械電子專業(yè)碩士，中德教育與科技合作促進(jìn)中心成員，全德華人機電工程學(xué)會成員，德國頂級汽車零部件企業(yè)功能安全應(yīng)用工程師。他多年來一直致力于動力總成方面電子控制單元的功能安全應(yīng)用客戶項目，具有豐富的實踐經(jīng)驗。劉晨光，曾任德國聯(lián)邦科學(xué)研究員，獲得卡爾斯魯厄大學(xué)應(yīng)用計算機學(xué)博士。后加入德國采埃孚集團(tuán)研發(fā)中心，計算工程師，從事變速器創(chuàng)新軟件設(shè)計，兼任技術(shù)和商務(wù)談判翻譯。兼任北京交通大學(xué)外籍客座教授，國際汽車工程師學(xué)會SAE會員。羅本進(jìn)，德國斯圖加特大學(xué)工學(xué)博士，中德教育與科技合作促進(jìn)中心主席，江蘇省產(chǎn)業(yè)技術(shù)研究院首席科學(xué)家，長期任職德國汽車零部件企業(yè)前瞻開發(fā)部高級系統(tǒng)工程師。他多年來一直致力于混合動力系統(tǒng)、電驅(qū)動系統(tǒng)、全自動變速器及工業(yè)4.0的研究，具有豐富的實踐經(jīng)驗。

圖書目錄

譯者的話
前言作者團(tuán)隊
譯者簡介
第１章引言…１
１.１為何選擇汽車專用安全標(biāo)準(zhǔn) ＩＳＯ２６２６２：２０１１…１
１.１.１ＩＳＯ２６２６２：２０１１，２０１１.１１.１５版本…２
１.１.２汽車技術(shù)委員會…２
１.１.３最新技術(shù)水平…２
１.１.４ＩＳＯ２６２６２：２０１１———可實際應(yīng)用的標(biāo)準(zhǔn)…３
１.１.５舉證責(zé)任反轉(zhuǎn)…４
１.２符合ＡＳＩＬ的產(chǎn)品等級…４
１.２.１明確的責(zé)任分配…４
１.２.２流程模型和流程成熟度…５
第２章在這本書將會學(xué)到什么…７
２.１一般提示…７
２.２項目 “Ｊｏｙ”及其產(chǎn)品 “操縱桿傳感器”的前提和假設(shè)…９
２.３本書的閱讀指引…１０
２.４項目 “Ｊｏｙ”描述文檔…１１
２.４.１創(chuàng)新性…１２
２.４.２產(chǎn)品信息…１２
２.５參與的公司…１４
２.６Ｊｏｙ開發(fā)團(tuán)隊…１６
２.７法律基礎(chǔ)和責(zé)任…１８
第３章階段模型…２０
３.１組織結(jié)構(gòu)要求…２０
３.２流程模型和功能安全管理…２１
３.３ＩＳＯ２６２６２：２０１１階段模型…２１
３.４創(chuàng)建安全文化…２３
３.４.１項目舉例…２４
３.４.２安全文化問卷調(diào)查…２５
３.４.３ＷｏｒｌｄＣａｆｅ和開放空間方法…２７
３.５技術(shù)安全管理…２７
３.６Ｊｏｙ項目的功能安全管理…２８
３.７ｓａｆｅｈｉｃｌｅ公司安全政策和安全計劃…２８
３.８安全生命周期活動…３０
３.８.１項目實踐舉例…３０
３.８.２管理活動…３１
３.８.３證實措施…３３
３.９所需的流程支持…３３
第４章安全生命周期中的特定角色…３５
４.１高效的團(tuán)體…３５
４.１.１資源規(guī)劃項目舉例…３５
４.１.２有條理地確定培訓(xùn)需求…３７
４.２資質(zhì)…３８
４.３Ｊｏｙ項目安全經(jīng)理…４０
４.４功能安全經(jīng)理職位描述…４０
４.４.１項目舉例…４２
４.４.２Ｊｏｙ項目的安全協(xié)調(diào)員…４２
４.５安全協(xié)調(diào)員職位描述…４２
４.６安全生命周期的其他角色…４３
４.６.１銷售代表和產(chǎn)品專家…４３
４.６.２招標(biāo)部門的職員…４４
４.６.３訂單處理負(fù)責(zé)人…４４
４.６.４ＡＳＩＬ產(chǎn)品專家（產(chǎn)品管理部門員工）…４４
４.６.５項目經(jīng)理…４４
４.６.６研發(fā)人員和測試確認(rèn)人員…４５
４.６.７裝配人員…４５
４.６.８檢查和調(diào)試人員…４５
４.６.９處理訂單的服務(wù)人員／文員…４６
４.６.１０車間維修技師…４６
４.６.１１獨立的第三方（評估）…４６
４.７角色多樣性…４６
第５章配置和更改管理…４７
５.１配置管理…４７
５.１.１配置管理的任務(wù)…４７
５.１.２活動項目舉例…４７
５.１.３里程碑－基線－接口－權(quán)限…４８
５.１.４工具使用和交付ＫＭ項目…４８
５.２配置經(jīng)理…４９
５.３根據(jù) ＩＳＯ２６２６２：２０１１進(jìn)行更改管理…５１
５.４ｓａｆｅｈｉｃｌｅ公司更改管理計劃…５２
５.５流程調(diào)整方面…５３
５.６審批過程…５４
５.７接口修改和批準(zhǔn)…５５
５.８回顧…５７
５.８.１回顧方法…５７
５.８.２實施回顧…５７
第６章安全生命周期和開發(fā)接口協(xié)議的初始化…５９
６.１初始化…５９
６.２供應(yīng)商選擇…５９
６.３資質(zhì)查詢和選擇報告…６０
６.４開發(fā)接口協(xié)議…６１
６.５ＤＩＡ———程序Ｊｏｙ項目舉例…６３
６.６安全生命周期初始化…６３
６.７招標(biāo)和轉(zhuǎn)包…６４
第７章汽車安全完整性等級的概念…６６
７.１ＡＳＩＬ的歷史和背景…６６
７.１.１降低風(fēng)險…６７
７.１.２在Ｊｏｙ項目里從安全目標(biāo)到安全概念…６８
７.２ＡＳＩＬ在標(biāo)準(zhǔn)書中表格的意義…６８
７.３依賴于ＡＳＩＬ的要求和推薦…７０
７.４ＡＳＩＬ分解的基礎(chǔ)…７０
７.４.１操縱桿傳感器的分解方法…７１
７.４.２安全要求的分解…７１
７.４.３分解的局限和限制…７３
７.４.４可用性的方面…７４
７.４.５安全狀態(tài)的簡例…７４
７.５使用ＩＳＯ２６２６２的優(yōu)點和啟示…７５
７.５.１更優(yōu)的流程質(zhì)量…７５
７.５.２更優(yōu)的商務(wù)關(guān)系…７５
７.５.３更優(yōu)的產(chǎn)品質(zhì)量…７６
７.５.４經(jīng)濟上的益處…７６
７.６定量和定性的方法…７６
７.６.１定性的方法…７７
７.６.２定量的方法…７７
７.７安全性分析…７７
７.７.１在操縱桿項目中的定性和定量方法…７９
７.７.２認(rèn)識論…７９
第８章危害分析與風(fēng)險評估…８０
８.１危險和分類識別…８０
８.２執(zhí)行分析———項目實例…８０
８.３在產(chǎn)品生命周期階段的程序…８２
８.４與其他系統(tǒng)的相互作用…８２
８.５風(fēng)險分析…８３
８.６風(fēng)險分析的方法…８４
８.７ＡＳＩＬ的確認(rèn)…８６
８.８來自于Ｊｏｙ項目的具體案例…８８
８.８.１驅(qū)動的案例…９１
８.８.２制動力的案例…９４
８.８.３轉(zhuǎn)向的案例…９７
８.９危害分析與風(fēng)險評估的總結(jié)…９９
第９章功能和技術(shù)安全要求規(guī)范…１００
９.１功能安全要求規(guī)范…１００
９.２操縱桿Ｊｏｙ和操縱桿傳感器規(guī)范程序…１０１
９.２.１功能安全要求規(guī)范…１０１
９.２.２子系統(tǒng)的技術(shù)安全要求…１０１
９.２.３實施技術(shù)要求以降低風(fēng)險…１０２
９.２.４項目示例Ｊｏｙ…１０４
９.３系統(tǒng)確認(rèn)…１０４
９.４可靠性、功能安全性和可用性…１０５
９.５安全性審核…１０６
９.５.１獨立性…１０７
９.５.２規(guī)劃安全審核…１０８
９.５.３Ｊｏｙ項目中的安全審核議程…１０８
９.５.４推導(dǎo)出措施…１１３
第１０章驗證和確認(rèn)計劃…１１４
１０.１關(guān)于Ｖ＋Ｖ的一般信息…１１４
１０.２驗證工作的作用領(lǐng)域…１１７
１０.２.１驗證規(guī)范…１１７
１０.２.２測試報告…１１９
１０.３確認(rèn)工作的作用領(lǐng)域…１１９
１０.３.１確認(rèn)計劃的范圍…１２０
１０.３.２聯(lián)合確認(rèn)計劃和計劃內(nèi)容…１２１
１０.４硬件－軟件集成…１２４
１０.５系統(tǒng)集成測試…１２４
１０.６集成測試方法…１２６
１０.６.１故障注入測試…１２７
１０.６.２背靠背測試…１２７
１０.６.３接口檢查…１２８
１０.６.４基于經(jīng)驗的測試…１２８
１０.７車輛級別的集成和測試…１２９
１０.８硬件的確認(rèn)計劃…１３０
１０.８.１硬件集成和硬件集成測試…１３０
１０.８.２Ｊｏｙ項目中的方法…１３１
１０.８.３評估隨機硬件故障造成的安全目標(biāo)違規(guī)…1３３
１０.８.４確認(rèn)隨機硬件錯誤的度量標(biāo)準(zhǔn)…１３３
１０.８.５評估硬件架構(gòu)的指標(biāo)…１３３
１０.８.６評估硬件設(shè)計的輸入和輸出…１３４
１０.８.７項目示例硬件設(shè)計評審…１３４
１０.９軟件模塊測試…１３５
１０.９.１導(dǎo)出和執(zhí)行軟件模塊故障的方法…１３５
１０.９.２軟件集成和測試…１３７
１０.９.３軟件集成測試…１３８
１０.１０項目示例軟件測試…１３８
１０.１１驗證軟件安全要求…１３９
１０.１２機電一體化系統(tǒng)的分析和驗證…１４０
第１１章系統(tǒng)級的產(chǎn)品開發(fā)…１４２
１１.１在概念階段的２０００個要求…１４２
１１.２概述…１４２
１１.３初始化系統(tǒng)級的產(chǎn)品研發(fā)階段…１４４
１１.４規(guī)范技術(shù)安全要求…１４５
１１.４.１系統(tǒng)機制的規(guī)范…１４６
１１.４.２硬件故障的分類和指標(biāo)…１４７
１１.４.３隨機硬件故障的過程模型…１４８
１１.５Ｊｏｙ項目的技術(shù)安全要求…１４９
１１.５.１通往技術(shù)安全要求的途徑…１５０
１１.５.２項目示例…１５１
１１.５.３在內(nèi)部處理時的錯誤…１５２
１１.５.４系統(tǒng)設(shè)計中的冗余…１５３
１１.５.５對于傳輸傳感器信號的要求…１５４
１１.６系統(tǒng)設(shè)計…１５４
１１.６.１避免系統(tǒng)性的故障…１５５
１１.６.２隨機故障的識別措施…１５６
１１.６.３項目示例…１５６
１１.６.４故障樹分析（ＦＴＡ）…１５７
１１.６.５其他的指標(biāo)———用于硬件錯誤的 “ＣｕｔＳｅｔ方法”…１５８
１１.６.６度量的邊界值…１５９
１１.７規(guī)范軟硬件之間的接口…１６０
１１.８驗證系統(tǒng)設(shè)計…１６１
１１.９相關(guān)項整合和測試…１６１
１１.１０總結(jié)…１６２
第１２章文檔和工作產(chǎn)品…１６３
１２.１文檔要求…１６３
１２.２ “誰寫下來誰就有理”或 “凡事不宜過分”———項目示例…１６６
１２.３跨越階段的文檔…１６７
１２.４ＩＳＯ２６２６２：２０１１的關(guān)鍵性文件———第２部分 “功能安全管理”…１６８
１２.４.１總體安全管理計劃…１６８
１２.４.２資格證明…１６９
１２.４.３公認(rèn)的書面質(zhì)量管理體系…１６９
１２.４.４安全計劃…１６９
１２.５安全證書…１７１
１２.５.１安全證書———安全檔案（功能安全工作產(chǎn)品）…１７１
１２.５.２參考和相關(guān)文件…１７１
１２.５.３引用與核心安全相關(guān)的文件…１７１
１２.５.４定義、術(shù)語、縮寫…１７１
１２.５.５安全計劃…１７２
１２.５.６相關(guān)項定義…１７２
１２.５.７遵規(guī)矩陣…１７２
１２.５.８會議紀(jì)要…１７２
１２.５.９計劃過程中的工作產(chǎn)品…１７２
１２.５.１０出自安全生命周期初始化階段的工作產(chǎn)品…１７２
１２.５.１１來自于支持過程的工作產(chǎn)品…１７３
１２.５.１２狀態(tài)報告…１７３
１２.５.１３生產(chǎn)安全控制計劃…１７３
１２.５.１４危害分析與風(fēng)險評估摘錄…１７３
１２.５.１５功能安全概念…１７４
１２.５.１６安全要求確定…１７４
１２.５.１７來自驗證和確認(rèn)的工作產(chǎn)品…１７４
１２.５.１８安全分析和安全報告…１７４
１２.５.１９安全性參數(shù)…１７４
１２.５.２０安全證書中的安全事項清單…１７５
１２.５.２１評估計劃和過程的符合性…１７５
１２.５.２２總結(jié)…１７６
１２.６ＩＳＯ２６２６２：２０１１的關(guān)鍵文件———第３部分 “概念階段”…１７６
１２.６.１相關(guān)項定義…１７６
１２.６.２工作產(chǎn)品影響性分析…１７７
１２.６.３危害與風(fēng)險分析…１７７
１２.６.４功能安全概念…１７８
第１３章相關(guān)文檔和工作產(chǎn)品…１８０
１３.１概述…１８０
１３.２ＩＳＯ２６２６２：２０１１的關(guān)鍵文件———第４部分 “系統(tǒng)級產(chǎn)品開發(fā)”…１８１
１３.２.１確認(rèn)計劃和確認(rèn)報告…１８２
１３.２.２系統(tǒng)級安全評估…１８３
１３.２.３生產(chǎn)釋放的文檔…１８３
１３.２.４技術(shù)安全要求…１８３
１３.２.５技術(shù)安全概念…１８３
１３.３ＩＳＯ２６２６２：２０１１的主要文件———第５部分 “硬件級產(chǎn)品開發(fā)”…１８４
１３.３.１硬件級別的安全計劃…１８５
１３.３.２硬件級別的規(guī)格…１８５
１３.３.３硬件設(shè)計文檔…１８５
１３.３.４安全性分析…１８６
１３.３.５硬件架構(gòu)指標(biāo)的文檔…１８７
１３.３.６硬件集成和硬件測試…１８７
１３.４ＩＳＯ２６２６２：２０１１的主要文件———第６部分 “軟件實施”…１８８
１３.４.１計劃和啟動…１８９
１３.４.２軟件安全要求和驗證計劃…１８９
１３.４.３軟件設(shè)計…１８９
１３.４.４軟件模塊設(shè)計和軟件實現(xiàn)…１９０
１３.４.５軟件模塊測試…１９０
１３.４.６軟件集成和測試…１９１
１３.４.７配置數(shù)據(jù)和標(biāo)定數(shù)據(jù)…１９２
１３.５ＩＳＯ２６２６２：２０１１的主要文件———第７部分 “生產(chǎn)和操作”…１９３
ⅩⅧ １３.５.１生產(chǎn)計劃和生產(chǎn)控制計劃…１９４
１３.５.２運行、維護(hù)和報廢…１９４
１３.６ＩＳＯ２６２６２：２０１１的關(guān)鍵文件———第８部分 “支持流程”…１９５
１３.７ＩＳＯ２６２６２：２０１１的關(guān)鍵文件———第９部分 “ＡＳＩＬ和安全導(dǎo)向性分析”…１９５
１３.７.１ＡＳＩＬ分解…１９５
１３.７.２要素共存的標(biāo)準(zhǔn)…１９６
１３.７.３依賴性錯誤和失敗的分析…１９６
１３.７.４安全分析…１９６
１３.８總結(jié)…１９６
第１４章評審…１９８
１４.１通常意義…１９８
１４.１.１評審程序 …1９９
１４.１.２評審技術(shù)…１９９
１４.１.３ＡＳＩＬ和評審技術(shù)之間的依賴性…２０１
１４.２閱讀技術(shù)…２０２
１４.２.１簡介…２０２
１４.２.２即席閱讀…２０４
１４.２.３基于清單的閱讀技術(shù)…２０５
１４.２.４逐步抽象閱讀…２０６
１４.２.５基于錯誤類別的閱讀…２０７
１４.２.６基于視角的閱讀…２０７
１４.２.７總結(jié)…２０８
第１５章對軟件工具的信任性…２１０
１５.１軟件工具的信任性和資格…２１０
１５.２為什么謹(jǐn)慎選擇工具很重要…２１１
１５.３工具置信度…２１４
１５.３.１工具鑒定計劃…２１６
１５.３.２工具文檔…２１６
１５.３.３工具錯誤報告…２１７
１５.３.４評估工具開發(fā)過程…２１７
１５.３.５檢查工具的性能…２１７
１５.３.６Ｊｏｙ項目中的資格報告…２１８
１５.４題外話：操作可靠性的重復(fù)使用…２１９
１５.５總結(jié)…２２１
第１６章回顧…２２２
１６.１安全相關(guān)項目的規(guī)劃…２２２
１６.２ｓａｆｅｈｉｃｌｅ公司———來自規(guī)劃活動的流程更改…２２３
１６.３總結(jié)…２２７
第１７章展望…２２８
附錄…２２９
附錄Ａ …２２９
Ａ.１計劃的工作輔助清單…２２９
Ａ.２安全文化的例子…２３５
Ａ.３基本測試過程…２３６
Ａ.４錯誤的心理原因…２３７
Ａ.４.１思維陷阱作為錯誤原因…２３８
Ａ.４.２總結(jié)…２３９
附錄Ｂ詞匯表…２３９
附錄Ｃ縮寫索引…２４７
附錄Ｄ規(guī)范和標(biāo)準(zhǔn)…２５０
附錄Ｅ參考文獻(xiàn)…２５１