RAIM.

 

See receiver autonomous integrity monitoring.