本文關(guān)鍵詞：基于狀態(tài)事件故障樹(shù)的軟件安全性分析方法研究，由筆耕文化傳播整理發(fā)布。

《小型微型計(jì)算機(jī)系統(tǒng)》 2016年01期

投稿

一種基于狀態(tài)事件故障樹(shù)的軟件安全性分析方法研究

【摘要】：目前,能夠?qū)娇蘸教�、核電等領(lǐng)域中復(fù)雜嵌入式系統(tǒng)安全關(guān)鍵軟件功能建模和故障分析的方法尚未得到統(tǒng)一;致使功能模型分析中缺乏安全屬性來(lái)源,故障分析得到的危害無(wú)法在功能設(shè)計(jì)中得到避免.狀態(tài)事件故障樹(shù)是一種適合描述復(fù)雜系統(tǒng)中功能失效因果關(guān)系的建模技術(shù),統(tǒng)一了功能建模和故障分析;但是,由于其缺乏精確語(yǔ)義,難以直接進(jìn)行軟件的安全性分析.為此,提出一種基于狀態(tài)事件故障樹(shù)的軟件安全性分析方法:首先,通過(guò)元素映射以及邏輯門轉(zhuǎn)換,將狀態(tài)事件故障樹(shù)擴(kuò)展為附加故障語(yǔ)義信息的故障狀態(tài)機(jī);然后,將故障狀態(tài)機(jī)轉(zhuǎn)換到時(shí)間自動(dòng)機(jī);最后,在模型檢測(cè)工具UPPAAL下進(jìn)行安全性測(cè)試反例分析.本文使用燃?xì)庠羁刂葡到y(tǒng)的實(shí)例進(jìn)行分析.

【作者單位】： 南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;
【關(guān)鍵詞】：
【基金】： 江蘇省普通高校研究生科研創(chuàng)新計(jì)劃資助項(xiàng)目 中央高�；究蒲袠I(yè)務(wù)費(fèi)專項(xiàng)資金項(xiàng)目(CXZZ11_0218)資助
【分類號(hào)】：TP309;TP311.52
【正文快照】：

1引言嵌入式系統(tǒng)在航空航天、交通以及工業(yè)控制等安全關(guān)鍵領(lǐng)域的廣泛應(yīng)用使得對(duì)其進(jìn)行安全性分析成為系統(tǒng)開(kāi)發(fā)過(guò)程中的重要部分[1].隨著軟件體系結(jié)構(gòu)越來(lái)越復(fù)雜,軟件的規(guī)模越來(lái)越龐大(嵌入式系統(tǒng)更是如此),軟件和硬件的交互越來(lái)越廣泛,軟硬件故障引起的安全事故頻發(fā),帶來(lái)不可

下載全文 更多同類文獻(xiàn)

PDF全文下載

CAJ全文下載

(如何獲取全文？ 歡迎：購(gòu)買知網(wǎng)充值卡、在線充值、在線咨詢)

CAJViewer閱讀器支持CAJ、PDF文件格式，AdobeReader僅支持PDF格式

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 牛愛(ài)民;葉東升;;[J];計(jì)算機(jī)工程與設(shè)計(jì);2007年20期

2 樊曉光;褚文奎;張鳳鳴;;[J];計(jì)算機(jī)科學(xué);2011年05期

3 王緯;[J];質(zhì)量與可靠性;1992年03期

4 周新蕾;[J];質(zhì)量與可靠性;2005年03期

5 張永進(jìn);;[J];科學(xué)技術(shù)與工程;2007年09期

6 孟祥宏;;[J];電腦知識(shí)與技術(shù)(學(xué)術(shù)交流);2007年11期

7 金力;江建慧;樓俊鋼;;[J];計(jì)算機(jī)應(yīng)用與軟件;2011年04期

8 金英;劉鑫;張晶;;[J];計(jì)算機(jī)科學(xué);2011年05期

9 李仁見(jiàn);董威;董龍明;吳學(xué)光;;[J];載人航天;2012年03期

10 何鑫;劉暢;鄭軍;;[J];計(jì)算機(jī)測(cè)量與控制;2012年11期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前2條

1 郭瑞杰;宮云戰(zhàn);楊朝紅;;[A];第三屆全國(guó)軟件測(cè)試會(huì)議與移動(dòng)計(jì)算、柵格、智能化高級(jí)論壇論文集[C];2009年

2 高傳平;趙利軍;談利群;;[A];第27次全國(guó)計(jì)算機(jī)安全學(xué)術(shù)交流會(huì)論文集[C];2012年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前1條

1 山東 張曉華;[N];電腦報(bào);2010年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前8條

1 申光耀;[D];北京信息控制研究所;2005年

2 李凌志;[D];吉林大學(xué);2009年

3 姜超;[D];長(zhǎng)春理工大學(xué);2011年

4 王若男;[D];大連理工大學(xué);2013年

5 王樂(lè);[D];西安電子科技大學(xué);2014年

6 劉大材;[D];北京交通大學(xué);2010年

7 劉鑫;[D];吉林大學(xué);2011年

8 李柏嵐;[D];上海交通大學(xué);2011年

  本文關(guān)鍵詞：基于狀態(tài)事件故障樹(shù)的軟件安全性分析方法研究，由筆耕文化傳播整理發(fā)布。