Spanda

Where should I start?

← Overview

Audience-specific paths into Spanda. For a hands-on first project, see getting started.

For developers

• Try the safety demo: spanda demo safety
• Read the language guide: spanda-language.md

For robotics engineers

• Try hardware verification: spanda demo verify
• Read capability verification: capability-traceability.md · hardware-compatibility.md

For safety / reliability engineers

• Try assurance and readiness: spanda demo assurance or the flagship readiness demo
• Try mission continuity: spanda demo continuity — takeover, delegation, and succession when robots fail mid-mission
• Read traceability and safety: mission-assurance.md · mission-continuity.md · capability-traceability.md · safety-reporting.md

For quality assurance or test engineers

• Try in-language tests and the rover demo: spanda test examples/basics/07_in_language_tests.sd and spanda demo rover (verify → sim → record/replay)
• Try fault injection and health checks: spanda demo health
• Read testing and verification: testing.md · replay.md · ci-verify.md · mission-verification.md

For fleet operators

• Try self-healing and continuity: spanda demo self-healing and spanda demo continuity
• Read fleet mesh APIs: fleet-distributed.md · self-healing.md · continuity-policies.md

For contributors

• Read CONTRIBUTING.md
• Run tests: cargo test --workspace && npm test
• Pick a good first issue on GitHub Issues

Learning tracks

Track	Guide	Time
Plain English	Spanda for Dummies	~45 min
Hands-on course	Spanda 101	~3 hours
Quickstart	Getting started	~10 min
All tutorials	Tutorials index	self-paced

This site is open source. Improve this page.