water System
electrical System
brew System
coffee Machine Production
Waterin
Coffee beans in
dregs
liquid waste
Coffee Dispensed
p2
Satisfy
inlet
Allocate
bean Storage
brewing Unit
doser Unit
grinder
grounds Drawer
control Module
user Interface Panel
coffee Outlet
drip Tray
Satisfy
Allocate
door Switch
mains Cord
mains Switch
power Supply
Allocate
boiler
flow Meter
water Pump
water Tank
water Valve
storedBeans
Satisfy
Satisfy
Satisfy
Satisfy
Satisfy
Satisfy
Satisfy
Satisfy
Satisfy
Satisfy
Satisfy
storedWater
Satisfy
Satisfy
Satisfy
Refine
brew Subsystem
control Subsystem
dispensing Subsystem
power Subsystem
water Subsystem
dispensedCoffee
Satisfy
Satisfy
Brew Complete
PowerOff
PowerOn
Selection Made
region
region
signal:PowerOn
signal:PowerOff
signal:Short Detected /Isolate Power (RCD trip)
region
region
region
region
region
Isolate Power (RCD trip)
after(30s)
entry
signal:Selection Made
entry
do
signal:Brew Complete /Clean System
do
Clean System
after(60s)
after(60s)
Dependency
boiler
Verify
boilerObserver
Satisfy
Satisfy
Refine
Target Time Reached
Target Time Reached
subject
«include»
subject
subject
Refine
subject
Refine
subject
Short Detected
Coffee Machine (_2026x_1_12a70364_1789357107731_106889_3635)
Coffee Machine
block
Water System (_2026x_1_12a70364_1789357175665_504215_3638)
Water System
block
Electrical System (_2026x_1_12a70364_1789357305852_992852_3641)
Electrical System
block
Brew System (_2026x_1_12a70364_1789357381144_263298_3644)
Brew System
block
Coffee Machine Production (_2026x_1_12a70364_1789358228897_970701_3681)
Coffee Machine Production
block
Water Flow Port (_2026x_1_12a70364_1789358512516_28052_3684)
Water Flow Port
block
Coffee State (_2026x_1_12a70364_1789358695241_447494_3686)
Coffee State
block
Waste Port (_2026x_1_12a70364_1789358720758_903471_3688)
Waste Port
block
Drink outlet (_2026x_1_12a70364_1789358753658_420800_3690)
Drink outlet
block
GPO (_2026x_1_12a70364_1789358830928_193983_3693)
GPO
block
Brew Subsystem (_2026x_1_12a70364_1789363113514_607533_3714)
Brew Subsystem
block
Control Subsystem (_2026x_1_12a70364_1789363134214_804452_3715)
Control Subsystem
block
Dispensing Subsystem (_2026x_1_12a70364_1789363176200_671776_3716)
Dispensing Subsystem
block
Power Subsystem (_2026x_1_12a70364_1789363180535_753073_3717)
Power Subsystem
block
Water Subsystem (_2026x_1_12a70364_1789363184788_487139_3718)
Water Subsystem
block
Bean Storage (_2026x_1_12a70364_1789363224675_90261_3719)
Bean Storage
block
Brewing Unit (_2026x_1_12a70364_1789363229077_574630_3720)
Brewing Unit
block
Doser Unit (_2026x_1_12a70364_1789363233424_933473_3721)
Doser Unit
block
Grinder (_2026x_1_12a70364_1789363237787_500380_3722)
Grinder
block
Grounds Drawer (_2026x_1_12a70364_1789363242138_385667_3723)
Grounds Drawer
block
Control Module (_2026x_1_12a70364_1789363276685_64862_3724)
Control Module
block
User Interface Panel (_2026x_1_12a70364_1789363281032_103275_3725)
User Interface Panel
block
Coffee Outlet (_2026x_1_12a70364_1789363285378_732895_3726)
Coffee Outlet
block
Drip Tray (_2026x_1_12a70364_1789363289724_897457_3727)
Drip Tray
block
Door Switch (_2026x_1_12a70364_1789363293999_849627_3728)
Door Switch
block
Mains Cord (_2026x_1_12a70364_1789363326324_823109_3729)
Mains Cord
block
Mains Switch (_2026x_1_12a70364_1789363330606_330250_3730)
Mains Switch
block
Power Supply (_2026x_1_12a70364_1789363334952_109655_3731)
Power Supply
block
Boiler (_2026x_1_12a70364_1789363551438_409574_3734)
Boiler
block
Flow Meter (_2026x_1_12a70364_1789363585791_503580_3735)
Flow Meter
block
Water Pump (_2026x_1_12a70364_1789363591862_529655_3736)
Water Pump
block
Water Tank (_2026x_1_12a70364_1789363775704_719608_3739)
Water Tank
block
Water Valve (_2026x_1_12a70364_1789363832704_318902_3740)
Water Valve
block
Coffee Machine System (_2026x_1_12a70364_1789363922516_578822_3741)
Coffee Machine System
block
Water Inlet (_2026x_1_12a70364_1789365065038_185163_3840)
Water Inlet
block
Coffee (_2026x_1_12a70364_1789365155322_752872_3841)
Coffee
block
Coffee Beans (_2026x_1_12a70364_1789365188589_930663_3842)
Coffee Beans
block
Water (_2026x_1_12a70364_1789365192860_189919_3843)
Water
block
Command (_2026x_1_12a70364_1789365197170_873209_3844)
Command
signal
Power (_2026x_1_12a70364_1789365201520_200533_3845)
Power
signal
Brew Complete (_2026x_1_12a70364_1789433848990_731675_3921)
Brew Complete
signal
PowerOff (_2026x_1_12a70364_1789433896301_568328_3928)
PowerOff
signal
PowerOn (_2026x_1_12a70364_1789434080835_765687_3939)
PowerOn
signal
Selection Made (_2026x_1_12a70364_1789434127181_875752_3946)
Selection Made
signal
Coffee Machine STM (_2026x_1_12a70364_1789434194641_881326_3952)
Coffee Machine STM
state machine
Off (_2026x_1_12a70364_1789434195075_586370_3959)
Off
state
On (_2026x_1_12a70364_1789434765035_486603_3981)
On
state
Initialising (_2026x_1_12a70364_1789435135035_153882_4003)
Initialising
state
Idle (_2026x_1_12a70364_1789435365659_95882_4015)
Idle
state
Brewing (_2026x_1_12a70364_1789435456171_517468_4025)
Brewing
state
Heating On (_2026x_1_12a70364_1789435572537_420067_4035)
Heating On
state
Heating Off (_2026x_1_12a70364_1789435653243_288439_4045)
Heating Off
state
Initialise System (_2026x_1_12a70364_1789446787423_564713_4183)
Initialise System
activity
Check System (_2026x_1_12a70364_1789446787431_596888_4184)
Check System
activity
Select Coffee (_2026x_1_12a70364_1789446787433_241392_4185)
Select Coffee
activity
Brew Coffee (_2026x_1_12a70364_1789446787438_52344_4186)
Brew Coffee
activity
Clean System (_2026x_1_12a70364_1789446787441_652035_4187)
Clean System
activity
Coffee Selection (_2026x_1_12a70364_1789446787460_992481_4188)
Coffee Selection
signal
Heat Water (_2026x_1_12a70364_1789520883956_757328_5504)
Heat Water
activity
System Level Requirements (_2026x_1_12a70364_1789522470201_737876_5617)
System Level Requirements
requirement
Heater Initialization (_2026x_1_12a70364_1789522470210_613186_5619)
Heater Initialization
requirement
Overheating (_2026x_1_12a70364_1789522470213_487063_5622)
Overheating
requirement
Water Tank Level (_2026x_1_12a70364_1789522470217_232543_5625)
Water Tank Level
requirement
Coffee Bean Level (_2026x_1_12a70364_1789522470220_757311_5628)
Coffee Bean Level
requirement
Water Tank Capacity (_2026x_1_12a70364_1789522470227_43173_5631)
Water Tank Capacity
requirement
Coffee Bean Capacity (_2026x_1_12a70364_1789522470229_653956_5634)
Coffee Bean Capacity
requirement
Grounds Draw Waste (_2026x_1_12a70364_1789522470232_505575_5637)
Grounds Draw Waste
requirement
Pump Pressure (_2026x_1_12a70364_1789522470236_795679_5640)
Pump Pressure
requirement
System Check (_2026x_1_12a70364_1789522470238_822356_5643)
System Check
requirement
System Alert (_2026x_1_12a70364_1789522470240_748943_5646)
System Alert
requirement
Control Panel (_2026x_1_12a70364_1789522470243_75877_5649)
Control Panel
requirement
Cleaning Requirements (_2026x_1_12a70364_1789522470246_238622_5652)
Cleaning Requirements
requirement
Clean brewing unit (_2026x_1_12a70364_1789522470249_829935_5654)
Clean brewing unit
requirement
Clean Machine Exterior (_2026x_1_12a70364_1789522470251_936773_5657)
Clean Machine Exterior
requirement
Clean Water Tank (_2026x_1_12a70364_1789522470252_176734_5660)
Clean Water Tank
requirement
Safety Requirements (_2026x_1_12a70364_1789522470268_212057_5663)
Safety Requirements
requirement
Internal Features (_2026x_1_12a70364_1789522470269_5755_5665)
Internal Features
requirement
Gearmotor Overload (_2026x_1_12a70364_1789522470270_589609_5667)
Gearmotor Overload
requirement
HWS Valve Open During Brewing (_2026x_1_12a70364_1789522470271_475286_5670)
HWS Valve Open During Brewing
requirement
Interruption By Removal Of Dregs Draw (_2026x_1_12a70364_1789522470272_63721_5673)
Interruption By Removal Of Dre…
requirement
Main Power Supply Disconnection During Operation (_2026x_1_12a70364_1789522470273_392927_5676)
Main Power Supply Disconnectio…
requirement
External Features (_2026x_1_12a70364_1789522470274_644308_5679)
External Features
requirement
Regulatory Compliance Mark (_2026x_1_12a70364_1789522470275_767711_5681)
Regulatory Compliance Mark
requirement
Boiler Observer (_2026x_1_12a70364_1789524431066_920359_5702)
Boiler Observer
block
Water Heating Analysis Context (_2026x_1_12a70364_1789524431068_554815_5703)
Water Heating Analysis Context
block
Water Temperature Constraint (_2026x_1_12a70364_1789524431144_707453_5727)
Water Temperature Constraint
block
Target Time Reached (_2026x_1_12a70364_1789524740660_19378_5755)
Target Time Reached
signal
Boiler Observer (_2026x_1_12a70364_1789524740674_986781_5756)
Boiler Observer
activity
Boiler (_2026x_1_12a70364_1789524740810_260777_5781)
Boiler
activity
Coffee Consumer (_2026x_1_12a70364_1789524947739_455059_5824)
Coffee Consumer
actor
Maintenance Operator (_2026x_1_12a70364_1789524947844_364892_5825)
Maintenance Operator
actor
Select Coffee (_2026x_1_12a70364_1789524947853_806196_5826)
Select Coffee
use case
Make Coffee (_2026x_1_12a70364_1789524947871_813181_5827)
Make Coffee
use case
Refill Water Tank (_2026x_1_12a70364_1789524947875_764584_5828)
Refill Water Tank
use case
Refill Coffee Beans (_2026x_1_12a70364_1789524947877_120920_5829)
Refill Coffee Beans
use case
Remove Waste (_2026x_1_12a70364_1789524947879_552225_5830)
Remove Waste
use case
Short Detected (_2026x_1_12a70364_1789602694790_416161_6107)
Short Detected
signal
Electrical Isolation On Dispense (_2026x_1_12a70364_1789602694801_483599_6108)
Electrical Isolation On Dispen…
requirement
Isolate Power (RCD trip) (_2026x_1_12a70364_1789602694850_639924_6114)
Isolate Power (RCD trip)
block
unresolved
_2026x_1_12a70364_1789524431087_459748_5711
unresolved
_2026x_1_12a70364_1789524431091_435540_5713
coffee-machine · commit 1ec97db8f80df53f22972fdc5cadd0a99528bef38be798ce74012c0e7784faed · Structure · mw-diagram-svg/0.2.0