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

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

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

王同樂(中國民航大學,空中交通管理學院,天津,300300) 

刊 名： 中國民航大學學報  ISTIC 英文刊名： JOURNAL OF CIVIL AVIATION UNIVERSITY OF CHINA  年，卷(期)： 2007 25(z1)  分類號： V355.2  關(guā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)測系統(tǒng)中的應(yīng)用04-26

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

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

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