Assurance evidence for intelligent vehicle deployments.
Config: examples/solutions/adas/spanda.assurance.toml
Each ADAS deployment produces an assurance bundle containing:
| Evidence type | Source | CLI |
|---|---|---|
| Sensor readiness | Device tree + health checks | spanda readiness --json |
| Calibration status | Device metadata | spanda device-tree inspect |
| Capability verification | Program + registry | spanda verify --capabilities --traceability |
| Hardware verification | Hardware profiles | spanda verify --target JetsonAutomotive |
| Safety validation | Safety blocks, kill switch | spanda verify --profile iso26262 |
| Traceability | Capability → sensor mapping | spanda trace capabilities |
| Replay references | Golden trace fixtures | spanda replay --deterministic |
| Software versions | Package lock + OTA history | spanda compliance report |
| OTA history | Control Center OTA API | GET /v1/ota/status |
Declare in program source:
assurance_case AdasDeployCase {
evidence hardware_verification;
evidence capability_traceability;
evidence health_checks;
evidence simulation_replay;
evidence sensor_readiness;
evidence calibration_status;
}
ISO 26262 profile requires an assurance case (requires_assurance_case: true).
# Full verification + traceability
spanda verify examples/solutions/adas/src/highway_drive.sd \
--profile iso26262 \
--capabilities \
--traceability \
--json
# Accreditation export (engineering template, not legal certification)
spanda compliance report examples/solutions/adas/src/highway_drive.sd \
--profile iso26262 \
--json
# Capability traceability matrix
spanda trace capabilities examples/solutions/adas/src/highway_drive.sd
curl -H "Authorization: Bearer $SPANDA_API_KEY" \
"http://127.0.0.1:8080/v1/compliance/export?profile=iso26262"
curl http://127.0.0.1:8080/v1/compliance/evidence
curl http://127.0.0.1:8080/v1/assurance/summary
Immutable evidence append log: .spanda/evidence-append.jsonl
Retain committed traces for regression:
examples/solutions/adas/src/highway_drive.trace — sensor degradation + recoveryspanda sim src/highway_drive.sd --recordReplay verification:
spanda replay src/highway_drive.trace --deterministic
After emergency braking, driver takeover, or sensor failure:
spanda diagnose — root cause reportspanda explain — decision narrativespanda compliance report — updated evidence bundle with incident timestamp