Comment Aviation uses RAIM (Score 1) 127
For years, aviation has been using technology called RAIM. With enough satellites, position is over-specified and can be checked for self-consistency.
Bus error -- driver executed.
