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

系统形式化分析在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