安全關(guān)鍵系統(tǒng)的風險定量分析方法研究.pdf

1、廣泛應用于航空、航天、核能、交通等領(lǐng)域的安全關(guān)鍵系統(tǒng)對資源、響應時間、故障容忍，特別是可靠性和安全性有著很高的要求。如何保證安全關(guān)鍵系統(tǒng)的可靠性和安全性以及有效的控制開發(fā)的時間和成本，已成為當前學術(shù)界的熱點問題。目前，一部分安全關(guān)鍵系統(tǒng)的分析工作集中在系統(tǒng)需求設(shè)計階段的風險分析。然而，傳統(tǒng)的風險分析方法一方面難以支持從體系結(jié)構(gòu)層面統(tǒng)一描述安全關(guān)鍵系統(tǒng)中軟、硬件以及系統(tǒng)錯誤行為，另一方面主要分析方法為定性分析、人工分析且缺乏工具支持。復雜

2、嵌入式實時系統(tǒng)體系結(jié)構(gòu)建模語言AADL，能夠有效描述運行時體系結(jié)構(gòu)且其錯誤模型附件能夠形式化表示系統(tǒng)中的錯誤、錯誤行為以及錯誤傳播，但難以直接對系統(tǒng)體系結(jié)構(gòu)模型進行風險定量分析，系統(tǒng)潛在的危害難以被發(fā)現(xiàn)?；陲L險的失效模式影響分析方法RFMEA是一種同時考慮嚴酷度和代價的風險定量分析方法，但難以從體系結(jié)構(gòu)層面統(tǒng)一描述系統(tǒng)中的軟硬件，系統(tǒng)中軟硬件交互的風險難以被表達。
　　針對以上問題，本文提出一種結(jié)合RFMEA和AADL的風險定量

3、分析框架，采用擴展的AADL錯誤模型附件描述RFMEA屬性，實現(xiàn)基于系統(tǒng)體系結(jié)構(gòu)模型的RFMEA屬性描述。在此基礎(chǔ)上，提出一種基于錯誤傳播圖的分析方法，實現(xiàn)系統(tǒng)風險的定量分析，從而保障系統(tǒng)的可靠性和安全性。論文的主要研究內(nèi)容如下：
　　（1）以RFMEA分析方法和AADL模型為基礎(chǔ)，提出了一種結(jié)合AADL和RFMEA的風險定量分析框架，用于支持安全關(guān)鍵系統(tǒng)的風險定量分析。
　?。?）面向AADL的風險模型構(gòu)建：針對AADL的

4、錯誤模型附件進行擴展，描述面向風險的FMEA屬性（即RFMEA屬性）；擴展后的錯誤模型關(guān)聯(lián)到系統(tǒng)中的構(gòu)件。
　?。?）基于錯誤傳播圖的風險模型定量分析：擴展雙圖錯誤傳播模型得到錯誤傳播圖，設(shè)計AADL模型元素到錯誤傳播圖元素映射表，完成從風險模型到錯誤傳播圖的轉(zhuǎn)換，并基于該錯誤傳播圖實現(xiàn)風險模型的定量分析。
　　最后，運用本文提出的方法設(shè)計實現(xiàn)了一個RFMEA插件并對嬰兒保溫箱控制系統(tǒng)進行案例分析，發(fā)現(xiàn)系統(tǒng)設(shè)計模型中溫度傳感