NASA logo

+ Contact NASA



  • + HOME
  • + WELCOME
  • + QUICK PAGE
  • + PHILOSOPHY
  • + TEAM
  • + RESEARCH
  • + LINKS

  • Compact Position Reporting Algorithm

    The Compact Position Reporting (CPR) algorithm is a safety-critical element of the Automatic Dependent Surveillance - Broadcast (ADS-B) protocol. This protocol enables aircraft to share their current states, i.e., position and velocity, with traffic aircraft in their vicinity. CPR consists of a collection of functions that encode and decode aircraft position data (latitude and longitude).

    The Formal Methods Team at NASA LaRC conducted a formal analysis of the CPR algorithm. This analysis includes:

    The CPR formal development and C implementations are available under NASA's Open Source Agreement at GitHub[*].

    Publications

    The tag [*] identifies links that are outside the NASA domain