Overview

Coverage

15 / 25

15 covered · 10 uncovered

Elements

9 signals · 0 interfaces

Requirements

8 activities

Versions

main 1ec97db8;

branch main · commit 1ec97db8 · 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

Coffeeblock«Block»edit
Coffee Beansblock«Block»edit
Coffee Consumeractor«Actor»edit
Coffee Machineblock«Block»edit
- Brew Systemblock«Block»edit
- Coffee Stateblock«InterfaceBlock»edit
- Drink outletblock«InterfaceBlock»edit
- Electrical Systemblock«Block»edit
- GPOblock«InterfaceBlock»edit
- Waste Portblock«InterfaceBlock»edit
- Water Flow Portblock«InterfaceBlock»edit
- Water Systemblock«Block»edit
Coffee Machine Productionblock«Block»edit
Coffee Machine Systemblock«Block»edit
- Brew Subsystemblock«Block»edit
  - Bean Storageblock«Block»edit
  - Brewing Unitblock«Block»edit
  - Doser Unitblock«Block»edit
  - Grinderblock«Block»edit
  - Grounds Drawerblock«Block»edit
- Control Subsystemblock«Block»edit
  - Control Moduleblock«Block»edit
  - User Interface Panelblock«Block»edit
- Dispensing Subsystemblock«Block»edit
  - Coffee Outletblock«Block»edit
  - Drip Trayblock«Block»edit
- Power Subsystemblock«Block»edit
  - Door Switchblock«Block»edit
  - Mains Cordblock«Block»edit
  - Mains Switchblock«Block»edit
  - Power Supplyblock«Block»edit
- Water Subsystemblock«Block»edit
  - Boilerblock«Block»edit
  - Flow Meterblock«Block»edit
  - Water Pumpblock«Block»edit
  - Water Tankblock«Block»edit
  - Water Valveblock«Block»edit
Isolate Power (RCD trip)blockedit
Maintenance Operatoractor«Actor»edit
Make Coffeeusecase«UseCase»edit
Refill Coffee Beansusecase«UseCase»edit
Refill Water Tankusecase«UseCase»edit
Remove Wasteusecase«UseCase»edit
Select Coffeeusecase«UseCase»edit
Waterblock«Block»edit
Water Heating Analysis Contextblock«Block»edit
- Boiler Observerblock«Block»edit
Water Inletblock«InterfaceBlock»edit
Water Temperature Constraintblock«ConstraintBlock»edit

Signals

Command
Power
Coffee Selection
Brew Complete
PowerOff
PowerOn
Selection Made
Short Detected
Target Time Reached

Requirements

id	reqId	text	satisfied by	coverage
_2026x_1_12a70364_1789522470201_737876_5617	1	System Level Requirements	—	uncovered
_2026x_1_12a70364_1789522470210_613186_5619	1.1	Heater Initialization: The boiler shall heat water to 84°C within 90 seconds of turning on the coffee machine	satisfy: unresolved link _2026x_1_12a70364_1789524431087_459748_5711 satisfy: unresolved link _2026x_1_12a70364_1789524431091_435540_5713 refine: Water Temperature Constraint satisfy: Boiler verify: Water Heating Analysis Context	covered
_2026x_1_12a70364_1789522470213_487063_5622	1.2	Overheating: The thermostat shall stop all power supply if the instantaneous water heater exceeds 170°C	satisfy: Boiler	covered
_2026x_1_12a70364_1789522470217_232543_5625	1.3	Water Tank Level: The water tank will not brew coffee if there is less than 500mL of water	refine: Refill Water Tank satisfy: Water Tank	covered
_2026x_1_12a70364_1789522470220_757311_5628	1.4	Coffee Bean Level: The grinder will not grind coffee beans if there is less than 45g of beans within the bean container	refine: Refill Coffee Beans satisfy: Bean Storage	covered
_2026x_1_12a70364_1789522470227_43173_5631	1.5	Water Tank Capacity: The water tank shall be able to hold a max capacity of 2.4L	satisfy: Water Tank	covered
_2026x_1_12a70364_1789522470229_653956_5634	1.6	Coffee Bean Capacity: The coffee bean container shall be able to store a max weight of 300g of coffee beans	satisfy: Bean Storage	covered
_2026x_1_12a70364_1789522470232_505575_5637	1.7	Grounds Draw Waste: The grounds draw can store a max waste capacity of 8 grounds before it is deemed full	satisfy: Grounds Drawer	covered
_2026x_1_12a70364_1789522470236_795679_5640	1.8	Pump Pressure: The pump presser shall not be greater than 15 bar	satisfy: Water Pump	covered
_2026x_1_12a70364_1789522470238_822356_5643	1.9	System Check: The coffee machine will perform a system check to confirm coffee beans and water levels are satisfied before a coffee is made	satisfy: Coffee Machine System satisfy: Control Module	covered
_2026x_1_12a70364_1789522470240_748943_5646	1.10	System Alert: The coffee machine will alert to user of a system check to be addressed	satisfy: Coffee Machine System satisfy: User Interface Panel	covered
_2026x_1_12a70364_1789522470243_75877_5649	1.11	Control Panel: The coffee machine shall have a digital display which the user can make selections with ease	satisfy: User Interface Panel	covered
_2026x_1_12a70364_1789522470246_238622_5652	2	Cleaning Requirements	—	uncovered
_2026x_1_12a70364_1789522470249_829935_5654	2.1	Clean brewing unit: The maintenance operator shall clean the brewing unit once a week	satisfy: Brewing Unit	covered
_2026x_1_12a70364_1789522470251_936773_5657	2.2	Clean Machine Exterior: The maintenance operator shall clean the exterior only using water and kitchen detergent	satisfy: Coffee Machine	covered
_2026x_1_12a70364_1789522470252_176734_5660	2.3	Clean Water Tank: The maintenance operator shall clean the water tank 1 time per week	satisfy: Water Tank	covered
_2026x_1_12a70364_1789522470268_212057_5663	3	Safety Requirements	—	uncovered
_2026x_1_12a70364_1789522470269_5755_5665	3.1	Internal Features	—	uncovered
_2026x_1_12a70364_1789522470270_589609_5667	3.1.1	Gearmotor Overload: If the gearmotor overloads the motors electronic system shall switchoff after 8-10s and the machine is stopped	—	uncovered
_2026x_1_12a70364_1789522470271_475286_5670	3.1.2	HWS Valve Open During Brewing: During brewing operation if the HWS valve is opened the coffee machine shall interrupt the water flow	—	uncovered
_2026x_1_12a70364_1789522470272_63721_5673	3.1.3	Interruption By Removal Of Dregs Draw: During operation if interruption occurs by the removal of the dreg draw the machine shall continue its function unrestricted once the drawer is returned	—	uncovered
_2026x_1_12a70364_1789522470273_392927_5676	3.1.4	Main Power Supply Disconnection During Operation: If power failure/side doors opened during operation the coffee machines gears will complete the function commenced but without brewing	—	uncovered
_2026x_1_12a70364_1789602694801_483599_6108	3.1.5	Electrical Isolation On Dispense: During water dispensing the coffee machine shall electrically isolate the water path and incorporate a residual current device (RCD) so that a short circuit cannot energise the chassis or expose the operator to electric shock.	satisfy: Power Supply satisfy: Dispensing Subsystem	covered
_2026x_1_12a70364_1789522470274_644308_5679	3.2	External Features	—	uncovered
_2026x_1_12a70364_1789522470275_767711_5681	3.2.1	Regulatory Compliance Mark: The coffee machine unit shall not be sold unless it has a RCM with the Australian standards of the AS/NZS 4417.1 and AS/NZS 4417.2	—	uncovered

Traceability

25 requirements: 15 covered, 10 uncovered · 20 satisfy, 3 refine, 1 verify, 0 allocate

id	reqId	text	allocated elements	status
_2026x_1_12a70364_1789522470201_737876_5617	1	System Level Requirements	—	uncovered
_2026x_1_12a70364_1789522470210_613186_5619	1.1	Heater Initialization: The boiler shall heat water to 84°C within 90 seconds of turning on the coffee machine	satisfy: unresolved link _2026x_1_12a70364_1789524431087_459748_5711 satisfy: unresolved link _2026x_1_12a70364_1789524431091_435540_5713 refine: Water Temperature Constraint satisfy: Boiler verify: Water Heating Analysis Context	covered
_2026x_1_12a70364_1789522470213_487063_5622	1.2	Overheating: The thermostat shall stop all power supply if the instantaneous water heater exceeds 170°C	satisfy: Boiler	covered
_2026x_1_12a70364_1789522470217_232543_5625	1.3	Water Tank Level: The water tank will not brew coffee if there is less than 500mL of water	refine: Refill Water Tank satisfy: Water Tank	covered
_2026x_1_12a70364_1789522470220_757311_5628	1.4	Coffee Bean Level: The grinder will not grind coffee beans if there is less than 45g of beans within the bean container	refine: Refill Coffee Beans satisfy: Bean Storage	covered
_2026x_1_12a70364_1789522470227_43173_5631	1.5	Water Tank Capacity: The water tank shall be able to hold a max capacity of 2.4L	satisfy: Water Tank	covered
_2026x_1_12a70364_1789522470229_653956_5634	1.6	Coffee Bean Capacity: The coffee bean container shall be able to store a max weight of 300g of coffee beans	satisfy: Bean Storage	covered
_2026x_1_12a70364_1789522470232_505575_5637	1.7	Grounds Draw Waste: The grounds draw can store a max waste capacity of 8 grounds before it is deemed full	satisfy: Grounds Drawer	covered
_2026x_1_12a70364_1789522470236_795679_5640	1.8	Pump Pressure: The pump presser shall not be greater than 15 bar	satisfy: Water Pump	covered
_2026x_1_12a70364_1789522470238_822356_5643	1.9	System Check: The coffee machine will perform a system check to confirm coffee beans and water levels are satisfied before a coffee is made	satisfy: Coffee Machine System satisfy: Control Module	covered
_2026x_1_12a70364_1789522470240_748943_5646	1.10	System Alert: The coffee machine will alert to user of a system check to be addressed	satisfy: Coffee Machine System satisfy: User Interface Panel	covered
_2026x_1_12a70364_1789522470243_75877_5649	1.11	Control Panel: The coffee machine shall have a digital display which the user can make selections with ease	satisfy: User Interface Panel	covered
_2026x_1_12a70364_1789522470246_238622_5652	2	Cleaning Requirements	—	uncovered
_2026x_1_12a70364_1789522470249_829935_5654	2.1	Clean brewing unit: The maintenance operator shall clean the brewing unit once a week	satisfy: Brewing Unit	covered
_2026x_1_12a70364_1789522470251_936773_5657	2.2	Clean Machine Exterior: The maintenance operator shall clean the exterior only using water and kitchen detergent	satisfy: Coffee Machine	covered
_2026x_1_12a70364_1789522470252_176734_5660	2.3	Clean Water Tank: The maintenance operator shall clean the water tank 1 time per week	satisfy: Water Tank	covered
_2026x_1_12a70364_1789522470268_212057_5663	3	Safety Requirements	—	uncovered
_2026x_1_12a70364_1789522470269_5755_5665	3.1	Internal Features	—	uncovered
_2026x_1_12a70364_1789522470270_589609_5667	3.1.1	Gearmotor Overload: If the gearmotor overloads the motors electronic system shall switchoff after 8-10s and the machine is stopped	—	uncovered
_2026x_1_12a70364_1789522470271_475286_5670	3.1.2	HWS Valve Open During Brewing: During brewing operation if the HWS valve is opened the coffee machine shall interrupt the water flow	—	uncovered
_2026x_1_12a70364_1789522470272_63721_5673	3.1.3	Interruption By Removal Of Dregs Draw: During operation if interruption occurs by the removal of the dreg draw the machine shall continue its function unrestricted once the drawer is returned	—	uncovered
_2026x_1_12a70364_1789522470273_392927_5676	3.1.4	Main Power Supply Disconnection During Operation: If power failure/side doors opened during operation the coffee machines gears will complete the function commenced but without brewing	—	uncovered
_2026x_1_12a70364_1789602694801_483599_6108	3.1.5	Electrical Isolation On Dispense: During water dispensing the coffee machine shall electrically isolate the water path and incorporate a residual current device (RCD) so that a short circuit cannot energise the chassis or expose the operator to electric shock.	satisfy: Power Supply satisfy: Dispensing Subsystem	covered
_2026x_1_12a70364_1789522470274_644308_5679	3.2	External Features	—	uncovered
_2026x_1_12a70364_1789522470275_767711_5681	3.2.1	Regulatory Compliance Mark: The coffee machine unit shall not be sold unless it has a RCM with the Australian standards of the AS/NZS 4417.1 and AS/NZS 4417.2	—	uncovered

Unresolved edges

2 edge(s) point at an element that is not a graph node.

unresolved _2026x_1_12a70364_1789524431087_459748_5711 → _2026x_1_12a70364_1789522470210_613186_5619 [dependency Satisfy]
unresolved _2026x_1_12a70364_1789524431091_435540_5713 → _2026x_1_12a70364_1789522470210_613186_5619 [dependency Satisfy]

State and activity

State machine: Coffee Machine STM

Region 1

Initialisingentry: Initialise System
Idleentry: Check Systemdo: Select Coffee
Brewingdo: Brew Coffee

Region 2

Heating On
Heating Off

Region 3

Transitions

Initialising → Idle [after(30s)]
Idle → Brewing [signal:Selection Made]
Brewing → Idle [signal:Brew Complete /Clean System]
Heating On → Heating Off [after(60s)]
Heating Off → Heating On [after(60s)]
Off → On [signal:PowerOn]
On → Off [signal:PowerOff]
On → Off [signal:Short Detected /Isolate Power (RCD trip)]

Activities

Boiler

InitialNode
ForkNode
AcceptEventAction — Target Time Reached
DecisionNode
MergeNode
OpaqueAction
OpaqueAction

Clean System

no nodes

Initialise System

no nodes

Check System

no nodes

Select Coffee

no nodes

Brew Coffee

InitialNode
ActivityFinalNode
AcceptEventAction
ForkNode
OpaqueAction — Heat Water
OpaqueAction — Grind Beans
OpaqueAction — Extract Coffee
OpaqueAction — Dispense Coffee

Heat Water

ActivityParameterNode — input
ActivityParameterNode — output
InitialNode
OpaqueAction — Open Valve
OpaqueAction — Close Valve
FlowFinalNode
OpaqueAction — Read Coffee Size
MergeNode — Merge 1
OpaqueAction — Measure Water
DecisionNode — Correct Volume?
ForkNode — Fork 2
OpaqueAction — Pump Water
ForkNode — Fork 1
OpaqueAction — Stop Pump
FlowFinalNode
MergeNode — Merge 2
OpaqueAction — Heat Water
DecisionNode — Temp OK?

Boiler Observer

InitialNode
MergeNode
OpaqueAction
DecisionNode
SendSignalAction — Target Time Reached