【摘要】：隨著互聯(lián)網(wǎng)時(shí)代對(duì)軟件系統(tǒng)質(zhì)量屬性的綜合化評(píng)估需求的提高,軟件屬性分析,比如安全性(Safety)、可靠性(Reliability)、正確性(Correctness)等,需要更綜合化的研究和擴(kuò)展。同時(shí),對(duì)大規(guī)模復(fù)雜系統(tǒng)的語(yǔ)言層描述也面臨著在軟件體系結(jié)構(gòu)相關(guān)屬性及其分析方法上的擴(kuò)展需求。作為軟件系統(tǒng)的重要特性,安全性已有很多研究成果,比如故障樹(shù)分析(Fault Tree Analysis,簡(jiǎn)稱FTA)和失效模式及影響分析(Failure Mode and Effects Analysis,簡(jiǎn)稱FMEA)等。但現(xiàn)有的安全性分析方法在定性和定量方面都已不能滿足當(dāng)前大規(guī)模系統(tǒng)的復(fù)雜度需求�；谝陨峡紤],本文從軟件體系結(jié)構(gòu)出發(fā),針對(duì)軟件系統(tǒng)的質(zhì)量屬性分析需求,重點(diǎn)關(guān)注安全性,提出一種軟件體系結(jié)構(gòu)驅(qū)動(dòng)的系統(tǒng)安全性分析方法。1)通過(guò)將FTA與FMEA相結(jié)合,實(shí)現(xiàn)自頂向下,再自底向上的雙向系統(tǒng)級(jí)綜合安全性分析。2)對(duì)傳統(tǒng)的FMEA方法進(jìn)行人為因素(Human Factors)的維度擴(kuò)展。3)采用模糊理論進(jìn)行失效模式的評(píng)估與計(jì)算。通過(guò)將該系統(tǒng)安全性分析方法運(yùn)用到某大型分布式指揮系統(tǒng)進(jìn)行實(shí)例化分析,并與傳統(tǒng)分析方法進(jìn)行對(duì)比,凸顯本文方法的意義和優(yōu)勢(shì)。4)將本文的系統(tǒng)安全性分析方法在Breeze/ADL上進(jìn)行安全性擴(kuò)展,實(shí)現(xiàn)對(duì)體系結(jié)構(gòu)描述語(yǔ)言的支持。5)在Breeze工具上開(kāi)發(fā)相應(yīng)的安全性分析插件,驗(yàn)證所提出的安全性分析方法。
【學(xué)位授予單位】：上海交通大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：TP311.52

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 李艷霞;趙長(zhǎng)見(jiàn);管飛;;系統(tǒng)級(jí)FMEA工作方法探討[J];質(zhì)量與可靠性;2007年03期

2 高文德·拉穆;簫笙;;消除了難題的FMEA[J];中國(guó)質(zhì)量;2009年04期

3 饒枝建;計(jì)算機(jī)輔助FMEA應(yīng)用研究[J];質(zhì)量與可靠性;1994年06期

4 王高峰;FMEA在質(zhì)量管理中的應(yīng)用[J];電子質(zhì)量;2002年11期

5 吳邦國(guó),唐任仲;軟件FMEA技術(shù)研究[J];機(jī)電工程;2004年03期

6 孫繼文,楊世元;基于“全質(zhì)量”的計(jì)算機(jī)輔助FMEA研究[J];科學(xué)技術(shù)與工程;2005年09期

7 劉正高;王志梅;;軟件FMEA技術(shù)的應(yīng)用策略[J];質(zhì)量與可靠性;2005年06期

8 張麗平;鄒碧海;江燕玲;;FMEA技術(shù)在信用卡系統(tǒng)中的應(yīng)用[J];商場(chǎng)現(xiàn)代化;2006年12期

9 段桂江;;面向協(xié)同產(chǎn)品商務(wù)環(huán)境的FMEA系統(tǒng)設(shè)計(jì)與開(kāi)發(fā)[J];中國(guó)質(zhì)量;2006年07期

10 費(fèi)勝巍;孫宇;;基于“結(jié)構(gòu)FMEA”的故障樹(shù)自動(dòng)構(gòu)建方法研究[J];潤(rùn)滑與密封;2006年12期

相關(guān)會(huì)議論文 前10條

1 徐大偉;賈志新;;中走絲電火花線切割機(jī)床FMEA研究[A];第15屆全國(guó)特種加工學(xué)術(shù)會(huì)議論文集（上）[C];2013年

2 王民;;FMEA在大型高速客滾船上的應(yīng)用[A];現(xiàn)代船舶機(jī)電維修技術(shù)（2005）[C];2005年

3 ;AN APPROACH TO STRUCTURING A TECHNOLOGY BASE VIA FMEA[A];2005年中國(guó)機(jī)械工程學(xué)會(huì)年會(huì)論文集[C];2005年

4 張成利;;論FMEA的分析與應(yīng)用[A];科學(xué)發(fā)展與社會(huì)責(zé)任（B卷）——第五屆沈陽(yáng)科學(xué)學(xué)術(shù)年會(huì)文集[C];2008年

5 劉志凌;段紅衛(wèi);;核安全設(shè)備設(shè)計(jì)與過(guò)程FMEA應(yīng)用初探[A];中國(guó)核學(xué)會(huì)核能動(dòng)力學(xué)會(huì)核電質(zhì)量保證專業(yè)委員會(huì)第十屆年會(huì)暨學(xué)術(shù)報(bào)告會(huì)論文專集[C];2010年

6 樊喜剛;;FMEA在產(chǎn)品制造質(zhì)量控制中的應(yīng)用[A];質(zhì)量——持續(xù)發(fā)展的源動(dòng)力：中國(guó)質(zhì)量學(xué)術(shù)與創(chuàng)新論壇論文集（下）[C];2010年

7 �？±�;;基于FMEA的質(zhì)量體系管理活動(dòng)風(fēng)險(xiǎn)控制研究[A];2013年中國(guó)航空學(xué)會(huì)管理科學(xué)分會(huì)學(xué)術(shù)會(huì)議論文集[C];2013年

8 kP章煜;何泰源;李魁士;吶鷓

本文編號(hào)：2804249