Demonstration plan for the Official ADAS & Autonomous Driving Solution Blueprint.
Duration: 15 minutes (full) · 5 minutes (executive summary) · Command: spanda demo adas
cd examples/solutions/adas
spanda install
export SPANDA_ROOT=/path/to/Spanda # if not in repo root
| Step | Command | Talking point |
|---|---|---|
| 1 | spanda demo adas |
One command runs the full ADAS blueprint |
| 2 | Show src/highway_drive.sd |
Capabilities, health, assurance — no core language changes |
| 3 | spanda readiness src/highway_drive.sd --profile iso26262 |
Go/no-go before ADAS activates |
| 4 | spanda replay src/highway_drive.trace --deterministic |
Behavior-loop golden trace (20 ticks) |
| 5 | spanda diagnose src/highway_drive.sd fixtures/camera_failure_recovery.trace |
Sensor failure → recovery narrative |
Key message: Spanda provides safety-first ADAS operations through composition, not core bloat.
examples/solutions/adas/README.mdspanda device-tree inspect vehicle-001 --config spanda.tomlspanda verify src/highway_drive.sd --profile iso26262 --capabilities --traceability --json
spanda readiness src/highway_drive.sd --profile iso26262 --json
spanda trace capabilities src/highway_drive.sd
Talking points: ISO 26262 template, capability traceability, sensor/calibration gates.
spanda check lane_keeping/lane_keeping.sd
spanda check adaptive_cruise/adaptive_cruise.sd
spanda check automatic_emergency_braking/aeb.sd
Show mission continuity:
spanda continuity sensor_failure_recovery/camera_failure.sd \
--failed front_camera --trigger sensor_failed
spanda replay src/highway_drive.trace --deterministic
spanda replay sim_record/lane_keep_task.trace --deterministic
spanda diagnose src/highway_drive.sd fixtures/camera_failure_recovery.trace
spanda explain driver_takeover/driver_takeover.sd fixtures/driver_takeover.trace
Talking points: explainable emergency braking, camera obstruction, driver takeover.
highway_drive.trace captures behavior_tick frames; fixtures/ hold narrative scenarios;
sim_record/ demonstrates task scheduler ticks.
spanda compliance report src/highway_drive.sd --profile iso26262
spanda control-center serve --config spanda.toml --program src/highway_drive.sd
Open ADAS tab — vehicle health, sensor health, readiness, trust, alerts, OTA, replay viewer.
spanda sim src/highway_drive.sd
spanda sim sim_record/lane_keep_task.sd --record
spanda replay fixtures/aeb_activation.trace --playback
Scenarios: heavy rain, snow, fog, night, camera/radar/LiDAR failure, GPS spoofing, CAN failure, emergency vehicle.
spanda demo trust
Cross-reference: GPS spoofing, tamper policy, secure boot — see adas-security.md.
./scripts/adas_smoke.sh
| Audience | Focus | Skip |
|---|---|---|
| OEM engineering | Device tree, capabilities, readiness | Control Center |
| Safety / compliance | ISO 26262, assurance, replay | Sim scenarios |
| Operations | Control Center ADAS tab, diagnosis | Language syntax |
| Executive | 5-min summary + architecture diagram | CLI details |