Viewingfloor-robot
version main
·commit 8e42ad84New versionCompare

Traceability

The engine's coverage report and the requirement-to-element allocations.

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