Viewingfloor-robot
version main
·commit 8e42ad84New versionCompare

Overview

Coverage
6 / 7
6 covered · 1 uncovered
Elements
11
3 signals · 1 interfaces
Requirements
7
6 activities
Versions
1
main 8e42ad84;

branch main · commit 8e42ad84 · seed platform scenario · by admin

View diagram

Add element

Assist

No live reasoner configured: set MW_ASSIST_BASE_URL (with MW_ASSIST_MODEL) or MW_ANTHROPIC_API_KEY, or MW_ASSIST_REASONER=scripted for the deterministic test mode.

Structure

  • Beni Floor Robotblock«Block»

    A Beni-class mini all-terrain camera robot (Mondo Robotics) adapted for a cafe floor: it patrols, finds dropped coffee cups and collects them.

    edit
    • All-Terrain Chassisblock«Block»

      Low, stable body that clears spills, cables, chair legs and door sills.

      edit
    • Camera Moduleblock«Block»

      Forward camera used for navigation and for cup detection. It RECORDS NOTHING beyond the task: see PR-4.

      edit
    • Cup Collectorblock«Block»

      Scoop and holding basket that captures a cup without the robot stopping.

      edit
    • Drive Motorsblock«Block»

      Independent wheel drive, slow and precise near people.

      edit
  • Cafe Floorblock«Block»

    The area under the robot's care: the seated area, the service lane and the passage to the counter.

    edit
  • Charging Dockblock«Block»

    Where the robot returns when its battery is low or a shift ends.

    edit
  • Cup Detectorblock«Block»

    Recognises a dropped cup and its position from the camera image.

    edit
  • Follow Sensorblock«Block»

    The Beni platform's follow-me sensing, reused here to track the floor steward's route.

    edit
  • Person Proximity Sensorblock«Block»

    Detects people close by; the robot yields and stops.

    edit
  • Wheelsblock«Block»

    All-terrain wheels gripping tile, matting and wet floor.

    edit

Signals

  • CupDetectedsignal
  • CupCollectedsignal
  • PersonNearsignal

Interfaces

  • Steward Interfaceinterface

    How staff summon, pause and take the robot.

Requirements

idreqIdtextsatisfied bycoverage
req-patrolPR-1Floor Patrol: The robot shall cover the whole cafe floor area at least once every 20 minutes during trading hours.
  • satisfy: Patrol Floor
covered
req-detect-cupPR-2Cup Detection: The robot shall detect a dropped coffee cup on the floor within 2 metres at any point on its route.
  • satisfy: Detect Cup
covered
req-collectPR-3Cup Collection: The robot shall collect a detected cup without stopping its route and without contacting the cup with its wheels.
  • satisfy: Collect Cup
covered
req-privacyPR-4Camera Privacy: The robot shall transmit no image off the device and shall not retain imagery identifying a customer; detection shall produce a cup position, not a recording.
  • satisfy: Camera Module
covered
req-yieldPR-5Yield to People: The robot shall stop and yield when a person is within 1 metre, and shall not resume until the person has moved away.
  • satisfy: Yield to Person
covered
req-noisePR-6Service Undisturbed: The robot shall operate at a noise level that does not disturb conversation at an adjacent table.—uncovered
req-returnPR-7Return to Dock: The robot shall return to its dock when its battery falls below 20 percent and shall not strand itself on the floor.
  • satisfy: Charging Dock
covered

Traceability

7 requirements: 6 covered, 1 uncovered · 6 satisfy, 0 refine, 0 verify, 0 allocate

idreqIdtextallocated elementsstatus
req-patrolPR-1Floor Patrol: The robot shall cover the whole cafe floor area at least once every 20 minutes during trading hours.
  • satisfy: Patrol Floor
covered
req-detect-cupPR-2Cup Detection: The robot shall detect a dropped coffee cup on the floor within 2 metres at any point on its route.
  • satisfy: Detect Cup
covered
req-collectPR-3Cup Collection: The robot shall collect a detected cup without stopping its route and without contacting the cup with its wheels.
  • satisfy: Collect Cup
covered
req-privacyPR-4Camera Privacy: The robot shall transmit no image off the device and shall not retain imagery identifying a customer; detection shall produce a cup position, not a recording.
  • satisfy: Camera Module
covered
req-yieldPR-5Yield to People: The robot shall stop and yield when a person is within 1 metre, and shall not resume until the person has moved away.
  • satisfy: Yield to Person
covered
req-noisePR-6Service Undisturbed: The robot shall operate at a noise level that does not disturb conversation at an adjacent table.—uncovered
req-returnPR-7Return to Dock: The robot shall return to its dock when its battery falls below 20 percent and shall not strand itself on the floor.
  • satisfy: Charging Dock
covered

State and activity

State machine: floor-robot-states

This state machine has no regions.

This state machine has no transitions.

Activities

Patrol Floor

no nodes

Detect Cup

no nodes

Approach Cup

no nodes

Collect Cup

no nodes

Deposit Cups

no nodes

Yield to Person

no nodes