Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics

ITP, pp. 336-353, 2017.

Cited by: 1|Bibtex|Views14|Links
EI

Abstract:

We present the formally verified predicate and strategy used to independently evaluate the safety of the final version (Run 15) of the FAAs next-generation air-traffic collision avoidance system, ACAS X. This approach is a general one that can analyze simultaneous vertical and horizontal maneuvers issued by aircraft collision avoidance sy...More

Code:

Data:

Your rating :
0

 

Tags
Comments