本文關(guān)鍵詞：一種基于四變量模型的系統(tǒng)安全性建模與分析方法

  更多相關(guān)文章： 四變量模型 AltaRica建模語言 故障樹分析 ARC

【摘要】：近年來,基于模型的系統(tǒng)安全性分析與驗證方法是安全關(guān)鍵系統(tǒng)工程領(lǐng)域中的一個重要研究方向。提出了一種基于四變量模型的系統(tǒng)安全性建模與分析驗證方法,該方法利用AltaRica建模語言對系統(tǒng)進行建模。通過對四變量模型及AltaRica進行語義研究構(gòu)建二者之間的映射規(guī)則,以民用飛機中機輪剎車系統(tǒng)(Wheel Brake System,WBS)為例來說明整個驗證過程,即首先利用四變量模型從系統(tǒng)的需求層次上對WBS進行需求分析并根據(jù)映射關(guān)系構(gòu)建AltaRica模型,接著利用故障樹分析方法對WBS進行安全性研究,最后基于AltaRica配套工具ARC對系統(tǒng)的安全性屬性進行驗證。驗證結(jié)果表明了該方法在系統(tǒng)安全工程領(lǐng)域中的實用性。
【作者單位】： 南京航空航天大學計算機科學與技術(shù)學院;南京大學計算機軟件新技術(shù)國家重點實驗室;
【基金】：國家重點基礎(chǔ)研究發(fā)展計劃(973計劃)(2014CB744903) 南京航空航天大學青年科技創(chuàng)新基金(NS2014098)資助
【分類號】：V227
【正文快照】： 1引言 基于模型的系統(tǒng)安全性分析驗證[1-3]在安全關(guān)鍵系統(tǒng)工程領(lǐng)域中占據(jù)重要位置,具備一套完整的工具框架,包括支持系統(tǒng)模型的形式化規(guī)范、形式化需求以及自動化驗證等功能。模型開發(fā)過程中,為更方便地進行安全性分析與自動化驗證工作,將系統(tǒng)正常行為與故障行為相結(jié)合構(gòu)成擴

【相似文獻】

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

1 周文祥;單曉明;耿志東;黃金泉;;自尋優(yōu)求解法建立渦軸發(fā)動機狀態(tài)變量模型[J];航空動力學報;2008年12期

2 ;[J];;年期

，

本文編號：1223656