items.delivery-robot

Module quick links

Indoor delivery robot models stopping before an obstacle during indoor delivery. The item contains the robot control unit and drive unit.

One ASIL C requirement and one missed-stop failure link the physical obstacle scene to stopped robot motion. The stopping envelope and independent sensing remain open design work.

Model Checking Summary

All severities: 3 total / 0 without filed issue · Critical: 0 total / 0 without filed issue · High: 3 total / 0 without filed issue · Moderate: 0 total / 0 without filed issue · Low: 0 total / 0 without filed issue

STIG Task Problems

Build Provenance

  • Project version: 0.1.0-SNAPSHOT

  • STIG version: 4.5.0

Source Repositories

Packages

This package contains generated flow and complexity views.

The delivery robot senses an obstacle in its physical environment through obstacleInPath and produces stoppedMotion before contact; these are physical interactions, not messages.

One ASIL C safety requirement defines stopping before contact with an obstacle and allocates that obligation to the control unit and drive unit.

Issues

Filed issues in external tracking systems

1 filed issue is referenced in this scope. Open the full table to filter tickets and view their current Jira status.

Open all filed issues