- 相關(guān)推薦
系統(tǒng)形式化分析在AILS研發(fā)中的應(yīng)用
系統(tǒng)形式化分析(system formal analysis)是近些年在航空系統(tǒng)研發(fā)中所應(yīng)用的一種安全評價方法.原理是運用數(shù)學(xué)建模,對研發(fā)航空軟件系統(tǒng)所有假設(shè)條件下的輸入集元素的有效性及系統(tǒng)算法邏輯性進(jìn)行驗證,其本質(zhì)是假設(shè)合理性及算法正確性的數(shù)學(xué)檢驗,可彌補傳統(tǒng)的模擬、試飛等安全評價手段的局限性,并將逐步成為未來航空系統(tǒng)研發(fā)中安全評價的重要步驟和手段.介紹了系統(tǒng)形式化分析在機載橫向間隔信息系統(tǒng)(AILS)研發(fā)中的安全評價應(yīng)用,通過假設(shè)檢驗、建模驗證AILs告警算法等,給出了該系統(tǒng)的安全性論斷并提出了相關(guān)建議.
作 者： 張飛 王同樂 作者單位： 張飛(民航新疆空管局空管處,烏魯木齊,830016)王同樂(中國民航大學(xué),空中交通管理學(xué)院,天津,300300)
刊 名： 中國民航大學(xué)學(xué)報 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