【摘要】：隨著安全關(guān)鍵系統(tǒng)的復(fù)雜度以及集成度越來越高,系統(tǒng)出現(xiàn)故障往往集中在系統(tǒng)組件之間的不安全交互。傳統(tǒng)的失效-事故模型的安全性分析方法,如故障樹分析,失效模式影響分析等不能有效地找到交互性錯(cuò)誤。工程實(shí)踐表明,系統(tǒng)理論過程分析(STPA)方法可以有效解決這一問題。但是,目前STPA方法缺少有效的自動化工具的支持,所以本文通過對STPA方法過程和要素的研究,設(shè)計(jì)了一個(gè)支持危害分析和安全性需求捕獲的自動化工具,并賦予其對安全需求的驗(yàn)證能力,有效支撐安全性分析的工程應(yīng)用。論文的主要研究工作包括以下幾個(gè)方面:首先,針對現(xiàn)有工具的不足,對STPA基本元素模型、生成不安全控制動作、自動化驗(yàn)證方面進(jìn)行了深入研究。解決現(xiàn)有工具只能輔助STPA方法進(jìn)行安全性分析的簡單編輯功能的問題,使得工具能夠完整支撐STPA方法的步驟和流程,并能夠?qū)崿F(xiàn)自動化生成不安全控制動作以及自動化驗(yàn)證。其次,研究和解決了工具實(shí)現(xiàn)中的具體技術(shù)難點(diǎn),主要包括如何構(gòu)建STPA基本元素模型及其之間的約束關(guān)系,設(shè)計(jì)不安全控制動作的數(shù)據(jù)結(jié)構(gòu)和自動生成算法,以及模型驗(yàn)證性質(zhì)的描述等。實(shí)現(xiàn)了控制結(jié)構(gòu)圖模型設(shè)計(jì)功能,不安全控制動作表自動生成等重要功能和安全性質(zhì)驗(yàn)證等拓展功能。這些功能可以很大程度上減少安全性分析人員的重復(fù)工作,降低人為引發(fā)錯(cuò)誤的概率。最后,以飛行導(dǎo)引系統(tǒng)(FGS)的安全性分析為實(shí)例研究對象,展示如何使用本工具進(jìn)行安全性分析的過程,并給出了分析結(jié)果。通過與傳統(tǒng)安全性分析結(jié)果對比,體現(xiàn)了STPA方法的優(yōu)越性以及借助本工具進(jìn)行安全性分析的有效性。
【學(xué)位授予單位】：南京航空航天大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2019
【分類號】：V249;N941
【圖文】：

支持危害分析和安全性需求捕獲的自動化工具研究與實(shí)現(xiàn)（2） 自動化生成不安全控制動作STPA 方法是尋求復(fù)雜關(guān)鍵系統(tǒng)在組件交互的過程中發(fā)生的安全性錯(cuò)誤。不安全控制動作本質(zhì)上其實(shí)就系統(tǒng)控制器的控制信號在某種上下文環(huán)境中出現(xiàn)出錯(cuò)，是一種錯(cuò)誤發(fā)生的場景。所以，分析不安全的控制動作是 STPA 方法流程中耗時(shí)最長也是內(nèi)容最多的一環(huán)。為了提高安全性分析人員的工作效率，由麻省理工大學(xué) John Thomas 提出的形式化 STPA 是實(shí)現(xiàn)不安全控制動作自動生成的主要理論支撐。通過加入過程模型變量，計(jì)算引導(dǎo)詞與過程模型變量的笛卡爾積，確定規(guī)則表，可以自動化生成所有的不安全控制動作。通過自動化生成不安全的控制動作不僅提高整個(gè)安全性分析效率，還可以減少由人工在安全性分析過程中產(chǎn)生的人為錯(cuò)誤，降低分析過程中的錯(cuò)誤可能性。本工具在自動化生成不安全控制動作部分有三部分功能：首先，將過程模型變量加入系統(tǒng)控制器中，通過計(jì)算引導(dǎo)詞以及過程模型變量之間的笛卡爾積得到系統(tǒng)控制器所有潛在的不安全控制動作列表。通過對所有模型的變量化，以及變量取值的遍歷，我們可以遍歷整個(gè)系統(tǒng)模型的狀態(tài)空間，并將其自動化的顯示在工具軟件中。如圖4. 6 所示：

配置好驗(yàn)證工具基本信息以及需要驗(yàn)證的系統(tǒng)模型文件，便可以實(shí)現(xiàn)自動化驗(yàn)。通過管道重定向系統(tǒng)的輸入輸出流，我們可以方便的將外部檢測工具的功能，集成到之中。提供特定接口與外部檢測工具對接，將外部檢測工具的所有內(nèi)容重定向至本工具戶在做安全性分析的過程中不必使用多個(gè)軟件。自動化的驗(yàn)證功能，會將外部檢測工具輸入輸出呈現(xiàn)在本工具界面中，通過對接口功能的封裝，用戶也不需要知道 NuSMV 這的使用方法，僅需簡單的點(diǎn)擊按鈕，便可以實(shí)現(xiàn)自動化驗(yàn)證，具體功能實(shí)現(xiàn)請參照 4.3 小3 具體實(shí)現(xiàn)1） 工具開發(fā)環(huán)境及內(nèi)容 程序語言：Java 平臺框架：Eclipse Rich Client Platform 開發(fā)環(huán)境：Eclipse 4.6 Neon Plugin Development Environment 類數(shù)量統(tǒng)計(jì)：155 個(gè) 代碼行數(shù)統(tǒng)計(jì)：19566 行

【相似文獻(xiàn)】

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

1 王京婭;;民用飛機(jī)安全性需求捕獲方法與流程[J];科技視界;2018年24期

2 李果;;Web服務(wù)安全性需求與實(shí)現(xiàn)機(jī)制[J];硅谷;2010年01期

3 朱瑩,金凌紫,朱鴻;醫(yī)院信息系統(tǒng)安全性需求分析與總體設(shè)計(jì)初探[J];計(jì)算機(jī)系統(tǒng)應(yīng)用;1998年08期

4 王曉東;;試析Word文檔的安全性[J];數(shù)字技術(shù)與應(yīng)用;2018年05期

5 Shakeel Peera;;安全性需求帶來更多機(jī)會[J];中國電子商情(基礎(chǔ)電子);2014年Z1期

6 ;汽車紡織品市場隨著個(gè)性化和安全性需求的提高而增長[J];紡織導(dǎo)報(bào);2006年06期

7 謝曉紅;;安全移動辦公的研究與實(shí)現(xiàn)[J];中國管理信息化;2017年17期

8 張立華;電子政務(wù)對視頻會議系統(tǒng)的安全性需求分析[J];鐵路計(jì)算機(jī)應(yīng)用;2005年08期

9 劉雪峰;;淺談縣級電視臺播出高清化改造[J];傳播力研究;2019年16期

10 宋永豪;谷大武;;數(shù)字版權(quán)管理技術(shù)的安全性綜述[J];信息安全與通信保密;2007年09期

相關(guān)會議論文 前3條

1 張衛(wèi)民;賈山剛;;安全關(guān)鍵產(chǎn)品開發(fā)的安全性工程過程[A];2011航空試驗(yàn)測試技術(shù)學(xué)術(shù)交流會論文集[C];2010年

2 徐_";袁玉宇;林峰;鄧?yán)W(xué);袁暾;劉曼;楊亞亞;郭澤躍;詹澤豐;汪鵬麗;;生物3D打印技術(shù)構(gòu)建神經(jīng)外科組織修復(fù)支架[A];2014浙江省神經(jīng)外科學(xué)學(xué)術(shù)年會論文匯編[C];2014年

3 黃卿;黃智;闕喜戎;王文東;;具有VPN功能防火墻的設(shè)計(jì)與實(shí)現(xiàn)[A];開創(chuàng)新世紀(jì)的通信技術(shù)——第七屆全國青年通信學(xué)術(shù)會議論文集[C];2001年

相關(guān)重要報(bào)紙文章 前3條

1 本報(bào)記者 唐隆輝;智能手機(jī)劇增催生安全性需求 中電信加碼云服務(wù)促模式轉(zhuǎn)變[N];通信信息報(bào);2012年

2 本報(bào)記者 吳珊珊;中國企業(yè)愛“雞”不愛“蛋”[N];中國高新技術(shù)產(chǎn)業(yè)導(dǎo)報(bào);2001年

3 劉衛(wèi);創(chuàng)新實(shí)現(xiàn)價(jià)值[N];中國企業(yè)報(bào);2003年

相關(guān)博士學(xué)位論文 前2條

1 王方兵;城市居家養(yǎng)老老年人居住環(huán)境需求研究[D];華東師范大學(xué);2015年

2 鄧江;新型認(rèn)證協(xié)議研究[D];電子科技大學(xué);2015年

相關(guān)碩士學(xué)位論文 前7條

1 鄧劉夢;基于SysML的安全性需求追蹤及驗(yàn)證方法研究[D];南京航空航天大學(xué);2019年

2 馮濤;支持危害分析和安全性需求捕獲的自動化工具研究與實(shí)現(xiàn)[D];南京航空航天大學(xué);2019年

3 周峰;電商模式下保健品咨詢與銷售系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D];安徽工業(yè)大學(xué);2016年

4 姜超;面向體系結(jié)構(gòu)的軟件安全性需求開發(fā)方法研究[D];長春理工大學(xué);2011年

5 范琨;產(chǎn)品障礙設(shè)計(jì)的應(yīng)用及研究[D];湖南工業(yè)大學(xué);2013年

6 郭宇峰;專用短程通訊安全性研究與仿真[D];吉林大學(xué);2010年

7 張洪;列車定位系統(tǒng)安全性研究[D];西南交通大學(xué);2014年

本文編號：2721159