Abstract: One embodiment is directed towards a method for determining a worst-case execution time (WCET) with a desired probability of exceedance. The method includes estimating distribution function parameters for an M set of execution times for each of a Gumbel, Fréchet, and Weibull extreme value theory (EVT) distribution functions. The method can determine whether the M set of execution times fits any of the EVT distribution functions. For each of the EVT distribution functions that fits the M set of execution times, a minimum number of execution times can be calculated. For each of the EVT distribution functions that fits the M set of execution times and in which the M set of execution times has at least as many execution times as the minimum number of execution times, a WCET can be calculated for the M set of execution times to the desired probability of exceedance.

Abstract: Systems and methods for acquiring global navigation satellite system (GNSS) signals. An incoming signal is multiplied with a time shifted spreading code replica and converted to zero (or very low) nominal frequency. The converted signal is filtered and downsampled by a large scale. A signal power metric and frequency offset are then determined. This is performed over multiple slices. Fast acquisition is achieved by parallel concatenation of numerous slices.

Abstract: Systems and methods for acquiring global navigation satellite system (GNSS) signals. An incoming signal is multiplied with a time shifted spreading code replica and converted to zero (or very low) nominal frequency. The converted signal is filtered and downsampled by a large scale. A signal power metric and frequency offset are then determined. This is performed over multiple slices. Fast acquisition is achieved by parallel concatenation of numerous slices.