modelwrite
microduck
cafe-stand
coffee-machine
fire-suppression
floor-robot
microduck
purchasing-terminal
sandwich-toaster
New model
anonymous via open
Models
cafe-stand
coffee-machine
fire-suppression
floor-robot
microduck
purchasing-terminal
sandwich-toaster
Sections
Overview
Health
STPA
Structure
Composition
Requirements
Traceability
Diagram
Checks
Changes
Proposals
Import
Assist
Viewing
microduck
version
main
main
d1819603
Recent commits
d1819603
seed platform scenario
·
commit
d1819603
New version
Compare
Diagram
branch main · commit
d1819603
· seed platform scenario · by admin
Back to the overview
Structure
Process
Present
Download SVG
−
+
Fit
block
4
requirement
6
activity
5
on cup found
when basket full
if grasp fails
Satisfy
Satisfy
then
retry
Deposit Cups (act-duck-deposit)
Deposit Cups
activity
Detect Cup (act-duck-detect)
Detect Cup
activity
Grasp Cup (act-duck-grasp)
Grasp Cup
activity
Patrol Floor (act-duck-patrol)
Patrol Floor
activity
Retry Grasp (act-duck-retry)
Retry Grasp
activity
Pick Up Cup (req-duck-pick)
Pick Up Cup
requirement
Handles Stacked Cups (req-duck-stack)
Handles Stacked Cups
requirement
