Abstract: Disclosed herein is a system for detecting manipulation of a GNSS signal and mitigating against such manipulation. A GNSS receiver receives GNSS signals from a plurality of GNSS satellites, and calculates event times for each GNSS satellite. The GNSS receiver then compares a next event time for a particular GNSS satellite with an expected next event time for the particular GNSS satellite. If the difference between the expected next event time and the next event times exceeds a predetermined threshold, then the GNSS receiver indicates that signal integrity may be compromised.

Abstract: Disclosed herein is a system for detecting manipulation of a GNSS signal and mitigating against such manipulation. A GNSS receiver receives GNSS signals from a plurality of GNSS satellites, and calculates event times for each GNSS satellite. The GNSS receiver then compares a next event time for a particular GNSS satellite with an expected next event time for the particular GNSS satellite. If the difference between the expected next event time and the next event times exceeds a predetermined threshold, then the GNSS receiver indicates that signal integrity may be compromised.

Abstract: Methods to detect and correct bit errors in data include the steps of specifying to a compiler a storage area with a variable wherein the variable includes a data value corresponding to its data size and an error checking code, calculating an error checking code value indicative of the corresponding data structure value, storing the variable with the error checking code value, retrieving the variable upon demand, detecting an error on the data value using the error checking code value, and correcting the error upon detection of an error on the data value. Further steps may include storing and retrieving the data structure directly onto the storage area without additional encoding and decoding circuitry, encoding and decoding the data structure without altering the data structure format during storing and retrieving from the storage area, or detecting and correcting double bit errors. Software for the methods is provided on or in a computer readable medium.

Abstract: Methods to detect and correct bit errors in data include the steps of specifying to a compiler a storage area with a variable wherein the variable includes a data value corresponding to its data size and an error checking code, calculating an error checking code value indicative of the corresponding data structure value, storing the variable with the error checking code value, retrieving the variable upon demand, detecting an error on the data value using the error checking code value, and correcting the error upon detection of an error on the data value. Further steps may include storing and retrieving the data structure directly onto the storage area without additional encoding and decoding circuitry, encoding and decoding the data structure without altering the data structure format during storing and retrieving from the storage area, or detecting and correcting double bit errors Software for the methods is provided on or in a computer readable medium.