27th Congress of International Council of the Aeronautical Sciences, 19 - 24 September 2010, Nice, France
Paper ICAS 2010-10.3.2

FORMAL VERIFICATION OF SAFETY BUFFERS FOR STATE-BASED CONFLICT DETECTION AND RESOLUTION

H. Herencia-Zapana, J. -B. Jeannin*, C. Munoz**
National Institute of Aerospace, USA; *Cornell Univ., USA; **NASA Langley, USA

Keywords: formal verification, safety buffers, tactical conflict detection and resolution

This paper studies the effects of position and velocity errors in the actual separation of aircraft in the context of state-based conflict detection and resolution. In particular, we provide precise definitions of safety buffers under which an actual minimum separation between aircraft is detected and achieved.

view full paper