Airborne Coordinated Conflict Resolution and Detection (ACCoRD) is a framework for the formal specification and verification of state-based conflict detection and resolution algorithms. ACCoRD originates from KB3D, a state-based conflict detection and resolution algorithm. ACCoRD provides:
- A 3-D conflict detection algorithm, called CD3D, that is correct and complete.
- A 3-D conflict resolution algorithm, called CR3D, that is independent and coordinated for track only, ground speed only, vertical only, and combined track and ground speed resolution maneuvers.
- A loss of separation recovery algorithm that is correct.
- A 3-D prevention bands algorithm that computes all the critical vectors.
- Definition of provably correct safety buffers for CD&R algorithms (assuming that track and ground speed errors are unknown but bounded).
For details see: https://shemesh.larc.nasa.gov/fm/ACCoRD/
- Anthony Narkawicz, NASA, USA
- César Muñoz, NASA, USA
- Gilles Dowek, INRIA, France
- George Hagen, NASA, USA
- Jeff Maddalon, NASA, USA
- Ricky Butler, NASA, USA
- Mariano Moscato, NIA & NASA, USA
- Sam Owre, SRI, USA
- Aaron Dutle, NASA, USA
- Marco A. Feliú, NIA & NASA, USA
- César Muñoz, NASA, USA
