Abstract: A system for testing a global navigation satellite system (GNSS) receiver includes signal generators, antennas coupled to respective signal generators and having overlapping antenna radiation patterns, and processing circuitry. The signal generators generate respective test signals. Each of the test signals is a combination of multiple GNSS navigational signals which are generated using a set of ranging codes. The processing circuitry selects respective sets of ranging codes for the signal generators, such that the sets of ranging codes are separately insufficient to lock a GNSS receiver and are jointly sufficient to lock a GNSS receiver.

Abstract: A system for testing a global navigation satellite system (GNSS) receiver includes signal generators, antennas coupled to respective signal generators and having overlapping antenna radiation patterns, and processing circuitry. The signal generators generate respective test signals. Each of the test signals is a combination of multiple GNSS navigational signals which are generated using a set of ranging codes. The processing circuitry selects respective sets of ranging codes for the signal generators, such that the sets of ranging codes are separately insufficient to lock a GNSS receiver and are jointly sufficient to lock a GNSS receiver.

Abstract: A duplicate peak detector acquires and tracks a first correlation peak for a data sequence associated with a navigation satellite in a satellite navigation signal. During tracking of the first correlation peak, a second correlation peak is acquired and tracked for the same data sequence. Respective values of at least one tracking variable of the two correlation peaks are analyzed, and based on the analysis it is determined whether the first and second correlation peaks are associated with the same navigation signal or different navigation signals. If the first correlation peak and the second correlation peak are associated with the same navigation signal, tracking of one of the correlation peaks is discontinued.

Abstract: An attack detector for detecting attacks on a satellite navigation system obtains navigation messages extracted from satellite navigation signals and/or additional parameters of the satellite navigation signal from source devices. The obtained navigation messages and/or parameters are analyzed to detect satellite navigation spoofing attacks. An indicator is issued when an attack is detected.

Abstract: A duplicate peak detector acquires and tracks a first correlation peak for a data sequence associated with a navigation satellite in a satellite navigation signal. During tracking of the first correlation peak, a second correlation peak is acquired and tracked for the same data sequence. Respective values of at least one tracking variable of the two correlation peaks are analyzed, and based on the analysis it is determined whether the first and second correlation peaks are associated with the same navigation signal or different navigation signals. If the first correlation peak and the second correlation peak are associated with the same navigation signal, tracking of one of the correlation peaks is discontinued.

Abstract: A device for mitigating satellite navigation spoofing includes processing circuitry which detects correlation peaks for PRNs in a satellite navigation signal. The TOAs of subframes of navigation messages associated with each of correlation peaks are recorded and analyzed to determine if they fall within a specified time window. Based on the analysis, the correlation peaks are classified as legitimate or as spoofed. A correct geographic location is computed from the navigation data associated with the legitimate correlation peaks. Corresponding methods for mitigating satellite navigation spoofing may be embodied in a hardware-based GNSS receiver and in a software-based GNSS receiver.

Abstract: A device for mitigating satellite navigation spoofing includes processing circuitry which detects correlation peaks for PRNs in a satellite navigation signal. The TOAs of subframes of navigation messages associated with each of correlation peaks are recorded and analyzed to determine if they fall within a specified time window. Based on the analysis, the correlation peaks are classified as legitimate or as spoofed. A correct geographic location is computed from the navigation data associated with the legitimate correlation peaks. Corresponding methods for mitigating satellite navigation spoofing may be embodied in a hardware-based GNSS receiver and in a software-based GNSS receiver.

Abstract: A duplicate peak detector acquires and tracks a first correlation peak for a data sequence associated with a navigation satellite in a satellite navigation signal. During tracking of the first correlation peak, a second correlation peak is acquired and tracked for the same data sequence. Respective values of at least one tracking variable of the two correlation peaks are analyzed, and based on the analysis it is determined whether the first and second correlation peaks are associated with the same navigation signal or different navigation signals. If the first correlation peak and the second correlation peak are associated with the same navigation signal, tracking of one of the correlation peaks is discontinued.

Abstract: A device for mitigating satellite navigation spoofing includes processing circuitry which detects correlation peaks for PRNs in a satellite navigation signal. The TOAs of subframes of navigation messages associated with each of correlation peaks are recorded and analyzed to determine if they fall within a specified time window. Based on the analysis, the correlation peaks are classified as legitimate or as spoofed. A correct geographic location is computed from the navigation data associated with the legitimate correlation peaks. Corresponding methods for mitigating satellite navigation spoofing may be embodied in a hardware-based GNSS receiver and in a software-based GNSS receiver.

Abstract: A computer-assisted language correction system particularly suitable for use with small keyboard devices including spelling correction functionality, misused word correction functionality and grammar correction functionality utilizing contextual feature-sequence functionality employing an internet corpus.

Abstract: A computer-assisted language correction system including spelling correction functionality, misused word correction functionality, grammar correction functionality and vocabulary enhancement functionality utilizing contextual feature-sequence functionality employing an internet corpus.

Abstract: A computer-assisted language correction system particularly suitable for use with small keyboard devices including spelling correction functionality, misused word correction functionality and grammar correction functionality utilizing contextual feature-sequence functionality employing an interne corpus.

Abstract: A computer-assisted language correction system including spelling correction functionality, misused word correction functionality, grammar correction functionality and vocabulary enhancement functionality utilizing contextual feature-sequence functionality employing an internet corpus.

Abstract: A computer-assisted language correction system particularly suitable for use with small keyboard devices including spelling correction functionality, misused word correction functionality and grammar correction functionality utilizing contextual feature-sequence functionality employing an interne corpus.

Abstract: A computer-assisted language correction system including spelling correction functionality, misused word correction functionality, grammar correction functionality and vocabulary enhancement functionality utilizing contextual feature-sequence functionality employing an internet corpus.

Abstract: A method of generating a service from at least one existing (legacy) computer software application executable on a MICROSOFT WINDOWS® operating system includes navigating the application(s), intercepting messages between the application(s) and a MICROSOFT WINDOWS® operating system at a WINDOWS messaging layer to automatically capture a plurality of controls and data and to automatically record a script for the application(s), and generating a service for executing the script. The service may be invoked by a Web client or application to exploit the functionality of the legacy application(s).