Ionospheric specification algorithms for precise GPS-based aircraft navigationWe present a technique for converting real-time total electron content (TEC) measurements into gridded vertical delay corrections at the GPS L***sub***1 frequency, which will be broadcast to users every 5 min via geosynchronous satellite. Users will convert these delays to slant corrections for their own particular lines of sight to GPS satellites. To preserve user safety, estimates of the error in the user delay corrections will also be broadcast.