系統(tǒng)形式化分析在AILS研發(fā)中的應(yīng)用

系統(tǒng)形式化分析(system formal analysis)是近些年在航空系統(tǒng)研發(fā)中所應(yīng)用的一種安全評(píng)價(jià)方法.原理是運(yùn)用數(shù)學(xué)建模,對(duì)研發(fā)航空軟件系統(tǒng)所有假設(shè)條件下的輸入集元素的有效性及系統(tǒng)算法邏輯性進(jìn)行驗(yàn)證,其本質(zhì)是假設(shè)合理性及算法正確性的數(shù)學(xué)檢驗(yàn),可彌補(bǔ)傳統(tǒng)的模擬、試飛等安全評(píng)價(jià)手段的局限性,并將逐步成為未來(lái)航空系統(tǒng)研發(fā)中安全評(píng)價(jià)的重要步驟和手段.介紹了系統(tǒng)形式化分析在機(jī)載橫向間隔信息系統(tǒng)(AILS)研發(fā)中的安全評(píng)價(jià)應(yīng)用,通過(guò)假設(shè)檢驗(yàn)、建模驗(yàn)證AILs告警算法等,給出了該系統(tǒng)的安全性論斷并提出了相關(guān)建議.

作 者： 張飛 王同樂(lè)   作者單位： 張飛(民航新疆空管局空管處,烏魯木齊,830016)

王同樂(lè)(中國(guó)民航大學(xué),空中交通管理學(xué)院,天津,300300) 

刊 名： 中國(guó)民航大學(xué)學(xué)報(bào)  ISTIC 英文刊名： JOURNAL OF CIVIL AVIATION UNIVERSITY OF CHINA  年，卷(期)： 2007 25(z1)  分類(lèi)號(hào)： V355.2  關(guān)鍵詞： 形式化分析   橫向間隔   算法   安全性驗(yàn)證  

【系統(tǒng)形式化分析在AILS研發(fā)中的應(yīng)用】相關(guān)文章：

PE管材在給水系統(tǒng)中的應(yīng)用分析04-27

灰色系統(tǒng)理論在沉降分析中的應(yīng)用04-26

最小割集在系統(tǒng)安全分析方法中的應(yīng)用04-27

DCS系統(tǒng)在熱電廠鍋爐應(yīng)用中故障研究與分析04-26

地理信息系統(tǒng)在環(huán)境監(jiān)管中的應(yīng)用分析04-26

GIS在航道管理中的應(yīng)用分析04-26

LabVIEW在液位監(jiān)測(cè)系統(tǒng)中的應(yīng)用04-26

實(shí)時(shí)稱(chēng)重系統(tǒng)在斜拉橋監(jiān)控中的應(yīng)用04-26

粘著在城軌交通系統(tǒng)中的應(yīng)用04-27

穩(wěn)定性量化分析方法在多跨轉(zhuǎn)子系統(tǒng)中的應(yīng)用04-26