與系統(tǒng)工程學(xué)院生專業(yè)課課件-軟件可靠性質(zhì)量保證no8-sfmeasfta

甬溫事故分“由于軟件的邏輯錯誤，導(dǎo)致了主控軟件得到CTC（車站調(diào)度集中系統(tǒng)）的不是實時外部數(shù)據(jù)軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 甬溫事故分調(diào)度中心由各車站CTC車站CTC CTC主要從列控中心獲取閉塞區(qū)間軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 甬溫事故分 邏輯電源仍在傳輸信息———非實時外部數(shù)數(shù)正、 溫的在這些數(shù)據(jù)包時未能識別出來軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 如果多問些。。信 會不會出問題信息 會不會出問題。。軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 如何使系統(tǒng)更健壯這些問題對系統(tǒng)有何影響？影響大不軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 軟件 FailureModeand 軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 目了解什么是軟件FMEA，有何特點掌握如何進行軟件FMEA分軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 內(nèi)軟件FMEA的作軟件FMEA軟件FMEA軟件FMEA系統(tǒng)級軟件FMEA系統(tǒng)級軟件FMEA實軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 1軟件 可以在早期發(fā)現(xiàn)需求的問題、設(shè)計的缺陷，體現(xiàn)了盡早檢測的原軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 FROMFailuremodeandeffect ysis(FMEA)wasoneofthefirstsystematictechniquesforfailure Itwasdevelopedbyreliabilityengineersinthe1950stostudyproblemsthatmightarisefrommalfunctionsofmilitarysystems.AnFMEAisoftenthefirststepofasystemreliabilitystudy.Itinvolvesreviewingasmanycomponents,assemblies,andsubsystemsaspossibletoidentifyfailuremodes,andtheircausesandeffects.軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 FROM AnFMEAisanInductivereasoning(forwardlogic)singlepointoffailure ysisandisacoretaskin軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 2：基本概軟件失效e軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 2：基本概念（續(xù) 失效嚴度生 軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 3：分析階段與對分析階分析對軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 4：分析方法類軟件FMEA軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 方法1－系統(tǒng)級軟件分析對象是設(shè)計階段早期 次的子系統(tǒng)、部軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 方法2－詳細級軟件軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 系統(tǒng)級軟件軟件FMEA方法與分析階段的關(guān)系統(tǒng)級軟件詳細級軟件詳細級軟件軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 5：系統(tǒng)級軟件FMEA分析方步驟 步驟軟件失效模式的分析是軟件FMEA的基軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 IEEE1044-1993軟件異常分軟件異常類具體軟件異軟件質(zhì)量和可靠性保證技術(shù)：軟件2013講義第7章,第8 軟件失效模式示例1軟件軟件失效模式示例1軟件的2軟件的詳細失效程序失效其 證技術(shù)：軟件FMEA、FTA2013講義第 第85：系統(tǒng)級軟件FMEA分析方步驟軟件失步驟失效影一般分析三個層次的影響：本層次影響，上一層次影響，最終影失效影軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 失效原因分析分①邏輯遺漏或執(zhí)行錯②算法的編碼錯③軟硬件接口故④數(shù)據(jù)操作錯⑤數(shù)據(jù)錯誤或丟軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 失效原因分析-邏輯遺漏或執(zhí)行錯遺忘邏輯

需求未進循環(huán)軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 算法的編碼錯－等－丟－括－舍－標 不正軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 軟硬件接口故－I/O軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 數(shù)據(jù)操作錯－數(shù)－數(shù)－數(shù)－變－數(shù)

－變－變－變－數(shù)軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 數(shù)據(jù)錯誤或丟軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 失效影響的嚴酷度等級分嚴酷度等嚴酷度定 嚴酷度等嚴酷度定 ，軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 5：系統(tǒng)級軟件FMEA分析方步驟修改軟件缺陷（如增加保護功能，改變控制時序軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 6：系統(tǒng)級軟件FMEA軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 系統(tǒng)定艦載防 型號通訊軟件概述：某艦載防8255通訊）為主計算機）軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 軟件結(jié)構(gòu)層次轉(zhuǎn)塔控制與伺服系控制計算機系(主計算機

伺服計算機系（從計算機 軟件配置

硬件配置

軟件配置

硬件配置并行通訊模

信息處

并行通訊模

信息處信息處理 信息處理

信息處理 信息處理 軟件質(zhì)量和可靠性保證技術(shù)：軟件

FTA2013講義第7章,第8 雙機通訊協(xié)先由A向B發(fā)送N字節(jié)，待B接收完N字節(jié)后，B再向A發(fā)送M字A發(fā)送過程的時間為TSA，A接收過程的時間為TTA，B發(fā)送過程的時間為TSB，B接收過程的時間為TTB軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 通訊協(xié)議示意某并行通訊

從計算機從計算機主計算機

HeadA·

HeadB發(fā) 時間接 時間

發(fā) 時間接 時間軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 實例1－失效模式確根據(jù)通訊協(xié)議，可確定分析對象的失效模式軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 失效原因分失效原因主要從以下方面分軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 失效影響軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 改進措施軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 失效模失效原失效影嚴失效模失效原失效影嚴重改進措次影最終影1A無法進入通訊A接收到其它中無A無法發(fā)系統(tǒng)無法通訊由A的通訊外程序采取措保證按時進入通訊子程序2A發(fā)送中斷超無A發(fā)送數(shù)據(jù)周期混系統(tǒng)通訊混計數(shù)控制，以保證規(guī)定時3AHeadA出現(xiàn)錯無A發(fā)送錯系統(tǒng)通訊錯B接收A的頭字節(jié)后，判別4A發(fā)送的中間字無A發(fā)送錯系統(tǒng)通訊錯利用異或等校驗進行5ATailA出現(xiàn)錯無A發(fā)送錯系統(tǒng)通訊錯B接收A的尾字節(jié)后，判別軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEAFTA20107章,第8控制計算機系統(tǒng)并行通訊模塊軟件FMEA編號失效?？赡苁гв皣乐馗倪M措本層影上一層影最終影6A處于接收狀態(tài)時，無法接收數(shù)始終無B提供無法進入信息處理單A關(guān)參見失效模式{2}的措7A接收數(shù)B發(fā)送數(shù)據(jù)超時；沒有超進入信息處理單元時A一通過計數(shù)控制證規(guī)定時間內(nèi)接收數(shù)8A未有數(shù)據(jù)態(tài)卻顯示已提供雙方在通訊8255進入信息處A起步與嚴在每次通訊后，將8255初始化字節(jié)數(shù)態(tài)未保證單元B于A尚未提供同步數(shù)據(jù)的初狀態(tài)軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 要軟件FMEA軟件系統(tǒng)級軟件軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 軟件航空航天大學(xué)可靠性與系軟件的事件特別是對和設(shè)備的安全產(chǎn)生重大軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 目軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 內(nèi)軟件FTA方法概述：特點，作軟件故障樹的建立：目的，誰建，怎么軟件故障樹的定性分析：識別最小割軟件故障樹的定量分析：不是重軟件FTA實軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 1 可以早期指導(dǎo)需求和設(shè)計，提高軟件的可靠性和安全軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 2：故障樹的軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 故障樹的作軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 建故障樹在需軟件系統(tǒng)測 在軟件設(shè)計階段：除所有上 外，還需要軟件架構(gòu)在軟件實現(xiàn)階段：需加在測試階段：需加軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 軟件故障樹的建立步構(gòu)建故障簡化故障軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8

析的事件。頂事件是不希望發(fā)生的系統(tǒng)不效事件的系統(tǒng)狀態(tài)或條件?？煽炕虿话踩录?。中間事件是故障

入三角形：表示樹的部分分支在

軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEAFTA20107章,第8所有版都故決策器障不相所有版都故決策器障不相故障相故不相故障主方案故次方案故軟件故障樹建立的基本方演繹法其中根——頂事件（不希望發(fā)生的事節(jié)——導(dǎo)致葉——導(dǎo)致軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2013講義第7章,第8 軟件故障樹建立方法流是否軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 頂事件的確可依據(jù)以下信息確定頂事件 分析（PHA）提供的信軟件FMEA的分析結(jié) 軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 初 分析 控制系統(tǒng)中常見的基本危害有：發(fā)停機、發(fā)軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 根據(jù)軟件需求規(guī)格說明等文檔 要求確定頂事軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 底事件的確在軟件系統(tǒng)分析中，底事件可以是軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 3：軟件FTA軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 割集和最小割割集：指能引起頂事件發(fā)生的底事件集軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 最小割集的求解軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 SFTA定性分析示頂頂事件（T軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 最小割集：{X3}、{X1,X2}最小割集的定性比應(yīng)根據(jù)最小割集所包含的底事件數(shù)目（階數(shù)）排割集{X3}最重底事件X3比底事件X1、X2重底事件X1、X2比底事件X4、X5,、X6重軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 4：軟件FTA軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 定量分應(yīng)將軟件故障樹分析的點放在定性分析，而不

P{Ci}

P{CiCjiP{CiCjCkin軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 5：實例——軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 系統(tǒng)簡 軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 故障樹的建選取“選課故障”作為故障樹的頂事分析針對對事件1,導(dǎo)致其發(fā)生的可能的原因軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 故障樹的建立（續(xù)對事件2，導(dǎo)致其發(fā)生的可能的原因是數(shù)據(jù) 錯誤（事件超出權(quán)限的不該選的課程可選（事件對事件3，導(dǎo)致其發(fā)生的可能原因是未向用戶給出選課的結(jié)果信息（事件并且未給出選課失敗的錯誤提示信息（事件進一步分析事件1.2其他用戶超權(quán)限選課（事件必選課的選課人數(shù)限制設(shè)置錯誤（事件進一步分析事件1.1、1.2.1以及1.4用戶選課的權(quán)限設(shè)置錯誤（事件軟件質(zhì)量和可靠性保證技術(shù)：軟件FMEA、FTA2010講義第7章,第8 選課故選課1該選的1該選的選不 1.2必選人數(shù)1.2必選人數(shù)已1.1用戶權(quán)不誤

果

1.1.1權(quán)設(shè)置錯1.2.11.2.1其他用超權(quán)限選

1.2.2人

章 章故障樹定性分將底事件從左至