Struct galileo_osnma::Osnma

pub struct Osnma<S: StaticStorage> { /* private fields */ }

OSNMA “black box” processing.

The Osnma struct gives a way to process OSNMA data using a “black box” approach. INAV words and OSNMA data retrieved from the E1B and E5b signals is fed by the user into Osnma, and at any point the user can request Osnma to give the most recent authenticated navigation data (provided that it is available).

Examples

use galileo_osnma::{Gst, Osnma, Svn};
use galileo_osnma::storage::FullStorage;
use p256::ecdsa::VerifyingKey;

// Typically, the ECDSA public key should be obtained from
// a file. Here a statically defined dummy key is used for
// the sake of the example.
let pubkey = [3, 154, 36, 205, 5, 122, 110, 166, 187, 238, 33,
              117, 116, 91, 202, 57, 34, 72, 200, 202, 10, 169,
              253, 225, 1, 233, 82, 99, 133, 255, 241, 114, 218];
let pubkey = VerifyingKey::from_sec1_bytes(&pubkey).unwrap();

// Create OSNMA black box using full storage (36 satellites and
// large enough history for Slow MAC)
let only_slowmac = false; // process "fast" MAC as well as Slow MAC
let mut osnma = Osnma::<FullStorage>::from_pubkey(pubkey, only_slowmac);

// Feed some INAV and OSNMA data. Data full of zeros is used here.
let svn = Svn::try_from(12).unwrap(); // E12
let gst = Gst::new(1177, 175767); // WN 1177, TOW 175767
let inav = [0; 16];
let osnma_data = [0; 5];
osnma.feed_inav(&inav, svn, gst);
osnma.feed_osnma(&osnma_data, svn, gst);

// Try to retrieve authenticated data
// ADKD=0 and 12, CED and health status for a satellite
let ced = osnma.get_ced_and_status(svn);
// ADKD=4, Galileo constellation timing parameters
let timing = osnma.get_timing_parameters();

Storage size

The size of the internal storage used to hold navigation data and MACK messages is defined by the StaticStorage type parameter S. See the storage module for a description of how the storage size is defined.

Implementations

impl<S: StaticStorage> Osnma<S>

pub fn from_pubkey(pubkey: VerifyingKey, only_slowmac: bool) -> Osnma<S>

Constructs a new OSNMA black box using an ECDSA P-256 public key.

The OSNMA black box will hold the public key pubkey and use it to try to authenticate the TESLA root key. The public key cannot be changed after construction.

If only_slowmac is true, only ADKD=12 (Slow MAC) will be processed. This should be used by receivers which have a larger time uncertainty. (See Annex 3 in the OSNMA Receiver Guidelines).

pub fn feed_inav(&mut self, word: &InavWord, svn: Svn, gst: Gst)

Feed an INAV word into the OSNMA black box.

The black box will store the navigation data in the INAV word for later usage.

The svn parameter corresponds to the SVN of the satellite transmitting the INAV word. This should be obtained from the PRN used for tracking.

The gst parameter gives the GST at the start of the INAV page transmission.

pub fn feed_osnma(&mut self, osnma: &OsnmaDataMessage, svn: Svn, gst: Gst)

Feed the OSNMA data message from an INAV page into the OSNMA black box.

The black box will store the data and potentially trigger any new cryptographic checks that this data makes possible.

The svn parameter corresponds to the SVN of the satellite transmitting the INAV word. This should be obtained from the PRN used for tracking.

The gst parameter gives the GST at the start of the INAV page transmission.

pub fn get_ced_and_status(&self, svn: Svn) -> Option<NavMessageData<'_>>

Try to get authenticated CED and health status data for a satellite.

This will try to retrieve the most recent authenticated CED and health status data (ADKD=0 and 12) for the satellite with SVN svn that is available in the OSNMA storage. If the storage does not contain any authenticated CED and health status data for this SVN, this returns None.

pub fn get_timing_parameters(&self) -> Option<NavMessageData<'_>>

Try to get authenticated timing parameters for the Galileo constellation.

This will try to retrieve the most Galileo constellation timing parameters data (ADKD=4) svn that is available in the OSNMA storage. If the storage does not contain any authenticated timing parameters data, this returns None.

Trait Implementations

impl<S: Clone + StaticStorage> Clone for Osnma<S>

fn clone(&self) -> Osnma<S>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<S: Debug + StaticStorage> Debug for Osnma<S>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<S: PartialEq + StaticStorage> PartialEq<Osnma<S>> for Osnma<S>

fn eq(&self, other: &Osnma<S>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<S: Eq + StaticStorage> Eq for Osnma<S>

impl<S: StaticStorage> StructuralEq for Osnma<S>

impl<S: StaticStorage> StructuralPartialEq for Osnma<S>