系統形式化分析在AILS研發中的應用

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

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

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

刊 名： 中國民航大學學報  ISTIC 英文刊名： JOURNAL OF CIVIL AVIATION UNIVERSITY OF CHINA  年，卷(期)： 2007 25(z1)  分類號： V355.2  關鍵詞： 形式化分析   橫向間隔   算法   安全性驗證  

【系統形式化分析在AILS研發中的應用】相關文章：

PE管材在給水系統中的應用分析04-27

灰色系統理論在沉降分析中的應用04-26

最小割集在系統安全分析方法中的應用04-27

DCS系統在熱電廠鍋爐應用中故障研究與分析04-26

地理信息系統在環境監管中的應用分析04-26

GIS在航道管理中的應用分析04-26

LabVIEW在液位監測系統中的應用04-26

實時稱重系統在斜拉橋監控中的應用04-26

粘著在城軌交通系統中的應用04-27

穩定性量化分析方法在多跨轉子系統中的應用04-26