Abstract: A method and a function for checking the integrity of the processing of a radionavigation signal emitted by a satellite, the signal being received by a receiver comprising reception means and processing means, the processing means comprising a linear anti-interference filter, the integrity checking method comprising at least a first phase of detection of a risk of false lock-on comprising the following steps: a step of recovery of a nominal theoretical self-correlation function of the received signal not processed by the linear anti-interference filter; a step of determination of a mean theoretical self-correlation function of the signal received and processed by the linear anti-interference filter over a defined integration period; a step of determination of the number of local maxima of the modulus or of the modulus squared of the mean theoretical self-correlation function, a risk of false lock-on being detected if the number of local maxima is greater than or equal to two.

Abstract: A method and a function for checking the integrity of the processing of a radionavigation signal emitted by a satellite, the signal being received by a receiver comprising reception means and processing means, the processing means comprising a linear anti-interference filter, the integrity checking method comprising at least a first phase of detection of a risk of false lock-on comprising the following steps: a step of recovery of a nominal theoretical self-correlation function of the received signal not processed by the linear anti-interference filter; a step of determination of a mean theoretical self-correlation function of the signal received and processed by the linear anti-interference filter over a defined integration period; a step of determination of the number of local maxima of the modulus or of the modulus squared of the mean theoretical self-correlation function, a risk of false lock-on being detected if the number of local maxima is greater than or equal to two.

Abstract: Publications are retained in a publish subscribe broker hierarchy. The hierarchy includes publishers publishing to publishing brokers and subscribers subscribing to receive publications from the publishing brokers. A subscriber subscribes to receive publications on at least one topic from at least a subset of publishing brokers in the hierarchy. The subscriber receives publications on subscribed topics from brokers within the subset and retains the most recent publication on each topic.

Abstract: A data processing system includes a plurality of message processing units and a directory communicating with at least one of the message processing units. A first system element identifier is transmitted to the directory. The first system element identifier includes a version indicator and a sequence indicator. The first system element identifier is received from the directory. A second system element identifier is transmitted. The second system element identifier includes a version indicator and a sequence indicator. The version for the second system element identifier is determined by a comparing the sequence indicator in the first system element identifier with an expected sequence indicator to determine what the version indicator for the second system element identifier should be.