Vinayak Nair/ AEROSPACE

Projects / ORBITALIS-RPO

VERIFIED SIL BASELINEPYTHON REFERENCEC++20 CROSS-CHECKPINNED 97ebd99

ORBITALIS-RPO

SPACECRAFT RPO / RELATIVE NAVIGATION / GNC / 6-DOF / AUTONOMY

A representative spacecraft inspection and rendezvous stack with inspectable source, retained failures, reproducible verification, and a live browser model of the pinned autonomy state machine.

Source repositoryRaw resultsEvidence index
Frozen validation200blind SIL runs
Mission completions132full mission
Safe abort-retreats62retained outcomes
Keep-out violations0truth-level

01 / TRY IT YOURSELF

Drive the actual autonomy guards

Change range, health, communications, approval, and fault inputs. The browser model mirrors the guard ordering and thresholds in the pinned MissionAutonomy.step() implementation.

Live mission view
Schematic, not to scale
COMMISSIONING
relative approach axis schematic proximity zone 145 m retreat complete 35 m approach complete Target 120 m CHASER SYSTEM HEALTHNAVPWRTHERMPROPCOMMS AUTONOMY DECISIONwaiting for cyclechange inputs, then evaluate
PreviousCOMMISSIONING
NextCOMMISSIONING
Reasonno_guard_satisfied
Retries0
RETREATSAFE_ATTITUDE

Cycle log

Thresholds mirror the pinned source: commissioning 300 s, hold 60 s, inspection 120 s, timeout 3600 s, approach completion 35 m, retreat completion 145 m, maximum retries 2.

02 / RUN PROCEDURE

Reproduce the software evidence

Select a stage to see the exact command used in the repository and the evidence it produces.

Quick verification$
OutputTests + evidence-manifest check
EvidenceCommitted repository artifacts



03 / ARCHITECTURE
Model and verification boundary
Orbit mechanics, relative navigation, guidance, 6-DOF dynamics, autonomy, and resource closure all feed retained evidence.
ORBITALIS-RPO software architecture and verification boundary



04 / RETAINED RESULTS
Results first, source one click away
The project retains failed cases, provenance, requirements, scripts, and machine-readable summaries instead of presenting only screenshots.
Frozen blind validation
Full mission
132
Safe abort-retreat
62
Timeout
6
Keep-out violation
0
Blind campaignraw resultsProvenanceJSONC++ equivalence96 vectors6-DOF verificationinvariants
Verification matrixrequirements to evidenceFMEAfaults and mitigationsEvidence manifesthashes + byte countsOperations handbookmode rules + contingenciesAutonomy sourceexact browser-lab referenceOperations runnerreproduce 3 cases



Claim boundary: ORBITALIS-RPO is representative software-in-the-loop engineering evidence. It does not claim flight readiness, certification, collision-risk assurance, or hardware validation. GMAT, Orekit, and STK artifacts are prepared but are not counted as executed cross-tool validation in the verified baseline.