MBSE model — States & modes
Navigation aiding states
Navigation integrity automaton: passthrough when GNSS is available, transition to SAR-aided fixing on denial, and coasting / degraded behaviour when correlation is unavailable.
Drag the empty canvas to pan, scroll to zoom (or use the toolbar / Ctrl/Cmd + scroll). Add states/modes and the initial & final pseudo-states from the palette. Hover a state to resize it (corner handle), draw a transition (blue handle) or delete it (red handle). Click a state to see its traceability links. Double-click to rename; double-click a transition to label it (trigger [guard] / effect). Ctrl/Cmd+D duplicates, Suppr deletes, Ctrl/Cmd+S saves.