Abstract

Safety assessment of new air traffic management systems is a main issue for civil aviation authorities. Standard techniques such as testing and simulation have serious limitations in new systems that are significantly more autonomous than the older ones. In this paper, we present an innovative approach for establishing the correctness of conflict detection systems. Fundamental to our approach is the concept of trajectory, and how we represent a continuous physical trajectory by a continuous path in the x-y plane constrained by physical laws and operational requirements. From the model of trajectories, we extract, and formally prove, high-level properties that can serve as a framework to analyze conflict scenarios. We use the AILS (Airborne Information for Lateral Spacing) alerting algorithm as a case study of our approach.


Original document

The different versions of the original document can be found in:

http://dx.doi.org/10.1007/3-540-44798-9_31 under the license http://www.springer.com/tdm
http://link.springer.com/article/10.1007/s10009-002-0084-3/fulltext.html,
http://link.springer.com/content/pdf/10.1007/s10009-002-0084-3,
http://dx.doi.org/10.1007/s10009-002-0084-3 under the license http://www.springer.com/tdm
http://doi.org/10.1007/s10009-002-0084-3,
https://doi.org/10.1007/s10009-002-0084-3,
https://dblp.uni-trier.de/db/journals/sttt/sttt4.html#MunozCDB03,
https://academic.microsoft.com/#/detail/2010847060
https://core.ac.uk/display/21190817,
https://www.scipedia.com/public/Butler_et_al_2003a,
https://dblp.uni-trier.de/db/conf/charme/charme2001.html#ButlerCDM01,
https://dl.acm.org/citation.cfm?id=702182,
https://academic.microsoft.com/#/detail/1790404739
  • [ ]


DOIS: 10.1007/3-540-44798-9_31 10.1007/s10009-002-0084-3

Back to Top

Document information

Published on 01/01/2003

Volume 2003, 2003
DOI: 10.1007/s10009-002-0084-3
Licence: CC BY-NC-SA license

Document Score

0

Views 0
Recommendations 0

Share this document

claim authorship

Are you one of the authors of this document?