Spanda

Robot Capabilities

Robots expose high-level capabilities derived from hardware, packages, providers, and safety rules.

Declared capabilities

robot Rover {
    uses hardware RoverV1;
    exposes capabilities [
        autonomous_navigation,
        gps_navigation,
        obstacle_avoidance,
        emergency_stop,
        telemetry_streaming
    ];
}

Inferred capabilities

The verifier infers capabilities from component combinations:

Components	Inferred capability
GPS + DifferentialDrive	gps_navigation
Lidar/Camera + nav package	obstacle_avoidance
MQTT + WiFi/LTE	telemetry_streaming
Kill switch + drive actuator	emergency_stop

CLI

spanda robot capabilities rover.sd
spanda robot capabilities rover.sd --json
spanda safety check rover.sd --capabilities

See Minimum Hardware Safety for mission requirement checks.

This site is open source. Improve this page.