Project dashboard
MIRA-SAR — Miniature SAR for GNSS-denied Navigation
Reference demo system: MIRA-SAR, a miniature Ku-band SAR navigation payload (≤ 2.5 kg) for drones. It forms SAR imagery in flight and correlates it with on-board satellite reference maps (radar scene-matching) to produce an absolute position fix and re-align the inertial navigation system without GNSS — for operation in jammed or contested airspace. Modelled end-to-end: operational analysis, system functions, logical & physical architecture, state machines, interfaces, requirements, technical issues, IVV campaigns and full cross-layer traceability.
Requirement coverage Open matrix
- 21 requirement(s) covered by at least one IVV test
- 2 requirement(s) without test coverage
Test execution Manage links
- 16 test(s) passed
- 5 test(s) failed or not run
Insights Rule-based checks on your traceability graph
- 2 requirement(s) without any IVV test
- 0 requirement(s) with no verification method
- 0 requirement(s) with quality warnings (wording, atomicity, “shall”…)
- 0 test(s) not linked to any requirement
- 3 open critical/blocking technical issue(s)
- 0 technical issue(s) not traced to a requirement
- 8 requirement(s) impacted by an open technical issue
- 0 interface(s) not yet traced (no link)
Requirement modules
System requirements
17 requirement(s)
Safety, RF & export-control requirements
6 requirement(s)
MBSE models
Operational analysis
Operational analysis — What the users need to accomplish
SYSSystem functions
Functional need — What the system has to accomplish
LOGLogical architecture
Logical architecture — How the system will work
PHYPhysical architecture
Physical architecture — How the system will be built
STMPayload operating modes
States & modes — How the system behaves over time
STMNavigation aiding states
States & modes — How the system behaves over time
New model diagramIVV test campaigns
Qualification campaign
Bench, lab and environmental verification of the MIRA-SAR payload against the system, safety and RF requirements.
Flight test campaign
In-flight verification of GNSS-denied navigation performance, fix rate, denial detection and autopilot integration.
Technical issues
Interfaces
Create a traceability link View all links (176)
Choose the two modules containing the source and target items you want to link, then pick the items.