本文關(guān)鍵詞：基于航電系統(tǒng)架構(gòu)模型的安全性分析工具的設(shè)計與實(shí)現(xiàn)

  更多相關(guān)文章： 航電系統(tǒng)架構(gòu) 系統(tǒng)建模語言(SysML) 共模分析 區(qū)域安全性分析 故障樹建模

【摘要】：航電系統(tǒng)作為安全關(guān)鍵系統(tǒng),必須對其進(jìn)行共模分析和區(qū)域安全性分析,以滿足系統(tǒng)的隔離性需求。隨著航電系統(tǒng)綜合化程度的提高,傳統(tǒng)的共模分析和區(qū)域安全性分析方法主要依賴于分析人員對系統(tǒng)的理解程度,無法確保隔離性需求的完整性。同時由于安全性分析人員與系統(tǒng)設(shè)計人員對系統(tǒng)的理解不同而導(dǎo)致系統(tǒng)需求難以追溯,尤其在設(shè)計方案頻繁變更的情況下,會出現(xiàn)安全性分析結(jié)果不準(zhǔn)確、不一致的情況。針對上述問題,設(shè)計并實(shí)現(xiàn)了一種基于航電系統(tǒng)架構(gòu)模型的安全性分析工具,通過采用物理架構(gòu)中數(shù)據(jù)信號路徑追溯的方法自動完成故障樹建模,并基于此故障樹完成共模分析和區(qū)域安全性分析,得出共模檢查單和區(qū)域隔離性需求。以某飛機(jī)駕駛艙顯示系統(tǒng)為案例的實(shí)驗(yàn)結(jié)果表明,該工具能對SysML語言描述的航電系統(tǒng)架構(gòu)模型進(jìn)行故障樹自動建模,并能對需要隔離的系統(tǒng)組件進(jìn)行標(biāo)記,確保了共模分析和區(qū)域安全性分析結(jié)果的完整性。
【作者單位】： 南京航空航天大學(xué)計算機(jī)科學(xué)與技術(shù)學(xué)院;
【關(guān)鍵詞】： 航電系統(tǒng)架構(gòu) 系統(tǒng)建模語言(SysML) 共模分析 區(qū)域安全性分析 故障樹建模
【基金】：國家973計劃資助項(xiàng)目(2014CB744901,2014CB744903,2014CB744904,2014CB744905)資助
【分類號】：V243;TP311.52
【正文快照】： 1引言航空電子的發(fā)展經(jīng)歷了分立式、聯(lián)合式、綜合式以及先進(jìn)綜合式[1]幾個階段。為了增強(qiáng)傳統(tǒng)航空電子系統(tǒng)的功能,提高其性能,降低飛機(jī)生命周期費(fèi)用,同時解決系統(tǒng)軟硬件的升級移植問題,美國航電委員會提出了綜合模塊化航空電子(IMA)的概念。綜合化航電系統(tǒng)將進(jìn)行信號和數(shù)據(jù)處

【相似文獻(xiàn)】

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

1 王遠(yuǎn)達(dá);宋筆鋒;姬東朝;史彥斌;;軍機(jī)航電系統(tǒng)實(shí)現(xiàn)兩級維修的關(guān)鍵技術(shù)[J];火力與指揮控制;2009年08期

2 蔣國峰;扈勝超;;航電系統(tǒng)外場保障實(shí)習(xí)臺的設(shè)計與研究[J];航空計算技術(shù);2010年05期

3 張U，

本文編號：574142