Overview

Coverage

5 / 5

5 covered · 0 uncovered

Elements

2 signals · 1 interfaces

Requirements

1 activities

Versions

main 0399697d;

branch main · commit 0399697d · 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

Sandwich Toasterblock«Block»
A clamshell toaster that seals and cuts a filled sandwich into two triangles.
edit
- Hingeblock«Block»
  Allows the upper plate to open and close and sets the plate gap.
  edit
- Indicator Lampblock«Block»
  Shows that the toaster is powered and up to temperature.
  edit
- Latchblock«Block»
  Holds the plates closed while cooking.
  edit
- Lower Heating Plateblock«Block»
  Fixed plate carrying the lower heating element.
  edit
  - Heating Elementblock«Block»
    Resistive element bringing the plates to cooking temperature.
    edit
- Thermal Cut-outblock«Block»
  One-shot thermal fuse protecting against a stuck thermostat.
  edit
- Upper Heating Plateblock«Block»
  Hinged plate carrying the upper heating element.
  edit

Signals

PowerOnsignal
AtTemperaturesignal

Interfaces

Mains Inletinterface
230 V AC inlet.

Requirements

id	reqId	text	satisfied by	coverage
req-cook-temperature	ST-1	Cooking Temperature: The toaster shall bring both plates to 180 C within 180 seconds of switch-on.	satisfy: Heating Element	covered
req-seal-and-cut	ST-2	Seal and Cut: The toaster shall seal the sandwich around its perimeter and cut it into two triangular halves in a single closing action.	satisfy: Lower Heating Plate	covered
req-thermal-safety	ST-3	Thermal Safety: The toaster shall remove power from the heating elements if the plate temperature exceeds 240 C.	satisfy: Thermal Cut-out	covered
req-non-stick	ST-4	Release: The plates shall release the sandwich without tearing the bread after a 5 minute cook.	satisfy: Upper Heating Plate	covered
req-standby	ST-5	Standby: The toaster shall enter a low-power standby state after 10 minutes without operation.	refine: Indicator Lamp	covered

Traceability

5 requirements: 5 covered, 0 uncovered · 4 satisfy, 1 refine, 0 verify, 0 allocate

id	reqId	text	allocated elements	status
req-cook-temperature	ST-1	Cooking Temperature: The toaster shall bring both plates to 180 C within 180 seconds of switch-on.	satisfy: Heating Element	covered
req-seal-and-cut	ST-2	Seal and Cut: The toaster shall seal the sandwich around its perimeter and cut it into two triangular halves in a single closing action.	satisfy: Lower Heating Plate	covered
req-thermal-safety	ST-3	Thermal Safety: The toaster shall remove power from the heating elements if the plate temperature exceeds 240 C.	satisfy: Thermal Cut-out	covered
req-non-stick	ST-4	Release: The plates shall release the sandwich without tearing the bread after a 5 minute cook.	satisfy: Upper Heating Plate	covered
req-standby	ST-5	Standby: The toaster shall enter a low-power standby state after 10 minutes without operation.	refine: Indicator Lamp	covered

State and activity

State machine: sandwich-toaster-states

This state machine has no regions.

This state machine has no transitions.

Activities

Toast Sandwich

no nodes