系統(tǒng)安全性建模和交叉驗(yàn)證研究.pdf

1、我們生活在一個(gè)由系統(tǒng)和風(fēng)險(xiǎn)構(gòu)成的世界里，尤其是隨著科學(xué)技術(shù)的不斷發(fā)展，特別是計(jì)算機(jī)技術(shù)、電子技術(shù)的飛速發(fā)展，航空航天、核電站、高鐵等現(xiàn)代系統(tǒng)的性能大大提高，結(jié)構(gòu)也變得越來(lái)越復(fù)雜，成本也越來(lái)越高。一旦發(fā)生意外，將造成極大的人員傷亡、財(cái)產(chǎn)損壞和環(huán)境破壞。因此對(duì)其進(jìn)行系統(tǒng)安全性分析是十分必要的。
　　通過(guò)安全性分析識(shí)別、消除或者控制、記錄危險(xiǎn)，將危險(xiǎn)控制在可以接受的范圍內(nèi)，可以避免潛在的事故造成的嚴(yán)重?fù)p失。功能危險(xiǎn)性分析(FHA)及初步

2、危險(xiǎn)性分析(PHA)是早期安全性分析的首選，但 FHA分析及 PHA分析需要收集、處理、反饋大量的資料、數(shù)據(jù)及相關(guān)資料信息。如果不借助計(jì)算機(jī)輔助工具，則會(huì)需要大量人工工作的投入，也可能存在很多重復(fù)性工作，而且還可能因人員的經(jīng)驗(yàn)不足、人為的分析疏忽和人腦處理大量數(shù)據(jù)的有限能力，從而造成遺漏或產(chǎn)生錯(cuò)誤。
　　針對(duì)傳統(tǒng)的PHA和FHA方法存在的容易遺漏危險(xiǎn)和控制措施，以及人工進(jìn)行安全性分析的易錯(cuò)和效率低下等問(wèn)題，文章研究一種PHA和FH

3、A結(jié)合的交叉驗(yàn)證方法，基于此方法設(shè)計(jì)和開(kāi)發(fā)了可視化的系統(tǒng)安全性自動(dòng)建模和分析工具，并在具有典型安全性要求的系統(tǒng)中進(jìn)行了示例應(yīng)用。
　　文章首先介紹了系統(tǒng)安全性的國(guó)內(nèi)外現(xiàn)狀及發(fā)展趨勢(shì)；其次介紹了系統(tǒng)安全的相關(guān)概念；接著介紹了FHA、PHA及交叉驗(yàn)證方法，從功能、危險(xiǎn)兩個(gè)角度，對(duì)整個(gè)系統(tǒng)進(jìn)行安全性分析，從而達(dá)到避免或減少危險(xiǎn)的目的，使功能更加完善，使危險(xiǎn)得到充分控制，以增加系統(tǒng)的安全可靠性；然后根據(jù)以上研究?jī)?nèi)容實(shí)現(xiàn)了系統(tǒng)安全性分析及交

4、叉驗(yàn)證工具，該工具支持可視化和圖形化的功能結(jié)構(gòu)建模、FHA分析和匯總、PHA建模、分析和匯總、獨(dú)立驗(yàn)證、交叉驗(yàn)證、危險(xiǎn)數(shù)據(jù)庫(kù)等功能；最后利用工具對(duì)飛機(jī)起落架系統(tǒng)開(kāi)展了安全性分析與驗(yàn)證工作。
　　結(jié)果表明從FHA的功能分析和PHA的危險(xiǎn)分析兩個(gè)角度進(jìn)行自動(dòng)化建模、分析和交叉驗(yàn)證，可解決傳統(tǒng)的單向分析易發(fā)生的遺漏問(wèn)題，達(dá)到查漏補(bǔ)缺的目的。同時(shí)工具具有良好的人機(jī)交互界面，方便的圖形化建模功能，可以提高系統(tǒng)安全性的建模和分析能力、工作效率