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

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

投稿

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

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

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

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

PDF全文下載

CAJ全文下載

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

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

【相似文獻(xiàn)】

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

1 牛愛民;葉東升;;[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ù)(學(xué)術(shù)交流);2007年11期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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