推荐文档列表

系统形式化分析在AILS研发中的应用

时间:2021-12-11 09:10:48 航空航天论文 我要投稿

系统形式化分析在AILS研发中的应用

系统形式化分析(system formal analysis)是近些年在航空系统研发中所应用的一种安全评价方法.原理是运用数学建模,对研发航空软件系统所有假设条件下的输入集元素的有效性及系统算法逻辑性进行验证,其本质是假设合理性及算法正确性的数学检验,可弥补传统的模拟、试飞等安全评价手段的局限性,并将逐步成为未来航空系统研发中安全评价的重要步骤和手段.介绍了系统形式化分析在机载横向间隔信息系统(AILS)研发中的安全评价应用,通过假设检验、建模验证AILs告警算法等,给出了该系统的安全性论断并提出了相关建议.

作 者: 张飞 王同乐   作者单位: 张飞(民航新疆空管局空管处,乌鲁木齐,830016)

王同乐(中国民航大学,空中交通管理学院,天津,300300) 

刊 名: 中国民航大学学报  ISTIC 英文刊名: JOURNAL OF CIVIL AVIATION UNIVERSITY OF CHINA  年,卷(期): 2007 25(z1)  分类号: V355.2  关键词: 形式化分析   横向间隔   算法   安全性验证