Programs demonstrating knowledge_model, state_estimator, anomaly_detector, prognostics, mitigation, resilience_policy, and assurance_case declarations.
| File | Focus |
|---|---|
rover_assurance.sd |
Full assurance declarations on a patrol rover |
The evaluator path is the showcase program — one command runs the full CLI suite:
spanda demo assurance
See ../showcase/assurance/README.md and ../../docs/mission-assurance.md.
| Directory | Topic |
|---|---|
../anomaly/ |
Anomaly detectors and learned backends |
../diagnostics/ |
GPS failure diagnosis |
../prognostics/ |
Battery RUL |
../resilience/ |
Degraded-mode recovery |
../mission/ |
Mission plan assurance |