Abstract: Methods, systems, and computer program products are provided for analyzing a Global Navigation Satellite System (GNSS) receiver. The method includes receiving electronic diagnostic information from the GNSS receiver, the diagnostic information including observations at different times of signal strength of one or more satellites at each point in a visible sky. The method includes building a flat map of the visible sky including a track of the one or more satellites. The method includes calculating, for each point in the visible sky of the flat map, an aggregated signal strength of the one or more satellites over a predetermined interval. The method includes generating a heat map over the flat map of the visible sky and displaying a visualization of a flat heat map.

Abstract: Methods, systems, and computer program products are provided for analyzing a Global Navigation Satellite System (GNSS) receiver. The method includes receiving electronic diagnostic information from the GNSS receiver, the diagnostic information including observations at different times of signal strength of one or more satellites at each point in a visible sky. The method includes building a flat map of the visible sky including a track of the one or more satellites. The method includes calculating, for each point in the visible sky of the flat map, an aggregated signal strength of the one or more satellites over a predetermined interval. The method includes generating a heat map over the flat map of the visible sky and displaying a visualization of a flat heat map.

Abstract: Methods, systems, and computer program products are provided for analyzing a Global Navigation Satellite System (GNSS) receiver. The method includes receiving electronic diagnostic information from the GNSS receiver, the diagnostic information including observations at different times of signal strength of one or more satellites at each point in a visible sky. The method includes building a flat map of the visible sky including a track of the one or more satellites. The method includes calculating, for each point in the visible sky of the flat map, an aggregated signal strength of the one or more satellites over a predetermined interval. The method includes generating a heat map over the flat map of the visible sky and displaying a visualization of a flat heat map.

Abstract: A method for improving accuracy in the computation of a one-way transfer time between two networked devices. In one aspect, variability in time transfer latency that is caused by cache loading, data structure setup time, and scheduling variability in software is reduced by initiating a first sequence of loading data structures into cache and priming scheduling, and then initiating a second sequence of calibrating the timing of a subsequent synchronization message so that the completion of the first sequence occurs just in time for the reception of the synchronization message. The method is applicable for any network time synchronization protocol, including Network Time Protocol (NTP) and Precision Time Protocol (PTP).

Abstract: Methods, time consumer systems, and computer program products for maintaining accurate time on an ideal clock of a timing device are disclosed. The method includes receiving time information from a local clock, a reference clock, and one or more secondary clocks. The method further includes calculating frequencies for the local clock, the reference clock, and the one or more secondary clocks. The method further includes comparing the calculated frequencies of the reference clock to the calculated frequencies of the one or more secondary clocks. The method further includes detecting a holdover and/or a compromise situation based on the comparison. The method further includes syntonizing the ideal clock to one or more of the calculated frequencies.

Abstract: Methods, systems, and computer program products are provided for analyzing a Global Navigation Satellite System (GNSS) receiver. The method includes receiving electronic diagnostic information from the GNSS receiver, the diagnostic information including observations at different times of signal strength of one or more satellites at each point in a visible sky. The method includes building a flat map of the visible sky including a track of the one or more satellites. The method includes calculating, for each point in the visible sky of the flat map, an aggregated signal strength of the one or more satellites over a predetermined interval. The method includes generating a heat map over the flat map of the visible sky and displaying a visualization of a flat heat map.

Abstract: Methods, time consumer systems, and computer program products for maintaining accurate time on an ideal clock of a timing device are disclosed. The method includes receiving time information from a local clock, a reference clock, and one or more secondary clocks. The method further includes calculating frequencies for the local clock, the reference clock, and the one or more secondary clocks. The method further includes comparing the calculated frequencies of the reference clock to the calculated frequencies of the one or more secondary clocks. The method further includes detecting a holdover and/or a compromise situation based on the comparison. The method further includes syntonizing the ideal clock to one or more of the calculated frequencies.

Abstract: Methods, time consumer systems, and computer program products for maintaining accurate time on an ideal clock of a timing device are disclosed. The method includes receiving time information from a local clock, a reference clock, and one or more secondary clocks. The method further includes calculating frequencies for the local clock, the reference clock, and the one or more secondary clocks. The method further includes comparing the calculated frequencies of the reference clock to the calculated frequencies of the one or more secondary clocks. The method further includes detecting a holdover and/or a compromise situation based on the comparison. The method further includes syntonizing the ideal clock to one or more of the calculated frequencies.

Abstract: Methods, time consumer systems, and computer program products for maintaining accurate time on an ideal clock of a timing device are disclosed. The method includes receiving time information from a local clock, a reference clock, and one or more secondary clocks. The method further includes calculating frequencies for the local clock, the reference clock, and the one or more secondary clocks. The method further includes comparing the calculated frequencies of the reference clock to the calculated frequencies of the one or more secondary clocks. The method further includes detecting a holdover and/or a compromise situation based on the comparison. The method further includes syntonizing the ideal clock to one or more of the calculated frequencies.

Abstract: A method for improving accuracy in the computation of a one-way transfer time between two networked devices. In one aspect, variability in time transfer latency that is caused by cache loading, data structure setup time, and scheduling variability in software is reduced by initiating a first sequence of loading data structures into cache and priming scheduling, and then initiating a second sequence of calibrating the timing of a subsequent synchronization message so that the completion of the first sequence occurs just in time for the reception of the synchronization message. The method is applicable for any network time synchronization protocol, including Network Time Protocol (NTP) and Precision Time Protocol (PTP).

Abstract: The present invention provides systems and methods for dynamically linking modules into a running operating system kernel. Systems and methods described herein have the following advantages: (1) they permit an application programmer to write, compile, execute, and terminate application code that is to be loaded into a kernel as if the application code was an ordinary application program, (2) they allow a standard programming environment to be used to encapsulate application software in a familiar environment, and (3) they permit automatic cleanup of errors and freeing of program resources when the application terminates.

Abstract: The present invention provides systems and methods for dynamically linking modules into a running operating system kernel. Systems and methods described herein have the following advantages: (1) they permit an application programmer to write, compile, execute, and terminate application code that is to be loaded into a kernel as if the application code was an ordinary application program, (2) they allow a standard programming environment to be used to encapsulate application software in a familiar environment, and (3) they permit automatic cleanup of errors and freeing of program resources when the application terminates.

Abstract: A system having a host operating system configured to be executed by a data processing unit, virtualization software configured to run as an application of the host operating system, a client operating system configured to be executed by the virtualization software and a software development system comprising one or more applications running as applications of the client operating system.

Abstract: The present invention provides a system for developing software. In one embodiment, the system includes: (1) a developer device having a developer control program for communication over a network, the developer device being used by a developer to create source code; and (2) an appliance device having a communication server module for communication over the network with said developer control program, the appliance device being adapted to compile the source code to create executable code for a target device, wherein the executable code is installed on and executed by the target device.

Abstract: The present invention provides systems and methods for dynamically linking modules into a running operating system kernel. Systems and methods described herein have the following advantages: (1) they permit an application programmer to write, compile, execute, and terminate application code that is to be loaded into a kernel as if the application code was an ordinary application program, (2) they allow a standard programming environment to be used to encapsulate application software in a familiar environment, and (3) they permit automatic cleanup of errors and freeing of program resources when the application terminates.