Start here when evaluating Spanda as a professional autonomous-systems platform.
5-minute path: docs/killer-demo.md · One command: spanda demo rover
| Command | What it runs |
|---|---|
spanda demo rover |
Flagship autonomous rover — install, verify, sim, replay |
spanda demo safety |
Unsafe AI blocked; safe path passes |
spanda demo verify |
Missing Lidar fails; complete robot passes |
spanda demo fleet |
Multi-robot fleet simulation |
spanda demo health |
Health checks + fault injection |
spanda demo readiness |
Operational go/no-go scoring |
spanda demo assurance |
Mission assurance CLI suite (assure, anomaly scan, state estimate, …) |
spanda demo self-healing |
Recovery policies, heal/recover/sim, fleet recovery, orchestrator (recovery plan, explain, graph) |
spanda demo continuity |
Mission continuity, takeover, delegation, succession |
spanda demo distributed-decisions |
Decision trees, offline policy, traces, signed policy cache |
spanda demo what-if |
Failure scenario impact, risk, recovery plan predictions |
spanda demo risk |
Mission deployment risk score and mitigations |
spanda demo maturity |
Phase A graph, explain, trust, deployment gates |
spanda demo trust |
Tamper/trust showcases — package tampering, integrity, spoofing, runtime intrusion |
spanda demo compliance |
Industry profile verification (defense, medical, ISO 26262, ISO 13849, IEC 61508) |
spanda demo adas |
ADAS & Autonomous Driving Solution Blueprint |
Set SPANDA_ROOT to the repository root if examples are not found.
| Directory | Demonstrates |
|---|---|
gps_spoofing/ |
GPS spoofing detection and trace plausibility |
package_tampering/ |
Suspicious import lowers trust score |
mission_tampering/ |
Mission hash drift vs approved baseline |
runtime_intrusion/ |
Unexpected capability usage in traces |
tamper_policy/ |
Declarative tamper response at runtime |
secure_boot/ |
trust.jetson / trust.pi contracts + attestation |
compliance/ |
Defense, medical, ISO 26262, ISO 13849, and IEC 61508 profile showcases |
fleet_tamper/ |
Fleet-wide tamper correlation manifest |
One command: spanda demo trust · smoke: ./scripts/showcase_smoke.sh, ./scripts/bundled_trust_smoke.sh
| Directory | Demonstrates |
|---|---|
autonomous_rover/ |
GPS, MQTT, WiFi, AI planning, safety, verify, replay, audit |
unsafe_ai/ |
ActionProposal rejected; SafeAction passes |
hardware_verification/ |
Mission needs Lidar; hardware without Lidar fails |
capability_verification/ |
Capability exposure, traceability, minimum hardware |
health_monitoring/ |
Robot/sensor health, policies, fault injection |
readiness/ |
Operational readiness scoring |
assurance/ |
Mission assurance declarations and CLI (spanda demo assurance) |
assurance/rover.sd |
Flagship assurance program — learned anomaly, state estimation, resilience |
fleet_management/ |
Fleet, health requirements, coordination |
continuity/ |
Mission continuity — checkpoint resume |
takeover/ |
Hot takeover on failure |
delegation/ |
Mission ownership transfer |
swarm_takeover/ |
Swarm member lost |
fleet_succession/ |
Fleet successor ranking |
replay/ |
Record, replay, fault injection |
| Pillar | Command |
|---|---|
| Safety | spanda check examples/showcase/unsafe_ai/unsafe.sd (must fail) |
| Verify | spanda verify examples/showcase/hardware_verification/mission_with_lidar.sd |
| Sim | spanda sim examples/showcase/killer_demo.sd |
./scripts/showcase_smoke.sh
| File | Topic |
|---|---|
killer_demo.sd |
Safe hero patrol program |
ai_safety_violation.sd |
Legacy single-file unsafe demo |
hardware_compatibility.sd |
Deploy + task budgets + faults |
world_model_patrol.sd |
Observe → fusion → belief |
Browse by capability: examples/features/README.md
Solution blueprints: examples/solutions/adas/ — ADAS & Autonomous Driving