A method and a system for providing a substituted timing signal for a missing satellite ephemeris in execution of a RAIM algorithm includes deriving a plurality of position, velocity, and time solutions from a GPS navigation system. The position, velocity and time solutions are derived from a plurality of satellite ephemerides. An atomic clock provides an atomic clock signal. The atomic clock signal is compared to the derived time solutions to arrive at a correction factor. The atomic clock signal is adjusted according to the correction factor to develop an adjusted atomic clock signal. The adjusted atomic clock signal is substituted for a missing satellite ephemeris to execute the RAIM algorithm.