ROBOTICS · VERIFIED

Simulator

Simulator scenarios covering movement, obstacles, collision, navigation, and map behavior were visually inspected and produced the expected results.

Avisna Program
      ↓
Runtime / Robotics
      ↓
Robot State
      ↓
Simulator
      ↓
Visualization

This status applies to tested scenarios, not every possible simulator state.

TRACEABILITY

Related Evidence

Audit evidence

These references identify supplied project evidence related to the documented area. Test files indicate exercised scenarios; reports and source documents provide additional audit evidence. A listed item is not a claim that every related behavior is covered.

tests/Robotic/decimal_stage2d5_3_simulator_probe.avs
tests/Robotic/decimal_stage2d5_6_simulator_regression.avs
tests/Robotic/Robot_web.avs
tests/Robotic/Robot_websocket.avs
tests/Robotic/Robot_collision_detection.avs