Satellite-based augmentation system (SBAS) is a system that supports wide-area or regional augmentation to improve the navigation system's attributes, such as accuracy, reliability, and availability through the use of additional satellite-broadcast messages. Such systems are commonly composed of multiple ground stations, located at accurately-surveyed points. The ground stations take measurements of one or more of the GNSS satellites, the satellite signals, or other environmental factors which may impact the signal received by the users. Using these measurements, information messages are created and sent to one or more satellites for broadcast to the end users.