Safety Feature View¶
This document provides a vertical, feature-level view of the safety functionality in the BrewMaster Pro 3000. While the architecture document presents a horizontal, layer-by-layer decomposition, this view cuts through all layers to show how the safety feature is realised end-to-end — from the system-level safety requirement down to architectural components, interfaces, and verification tests.
This perspective is particularly relevant for functional safety engineers performing impact analysis: any change to a safety-related element can be traced upward to the customer need it protects, and downward to every component and test that must be reviewed.
Full Safety Chain¶
The following diagram shows the complete vertical traceability of the safety feature — from the system requirement through software requirements, architectural components, interfaces, and test cases.
System-Level Safety Requirement¶
The safety feature originates from a single system-level requirement that mandates automatic shutdown under hazardous conditions:
ID |
Title |
Status |
Tags |
|---|---|---|---|
Heat Water |
open |
heating; safety |
|
Safety Shutdown |
open |
safety; critical |
Software Safety Requirements¶
The system-level safety requirement is decomposed into two independent software requirements — one addressing thermal hazards and one addressing dry-run prevention:
ID |
Title |
Status |
Traces to System Req |
|---|---|---|---|
Over-Temperature Shutdown |
open |
||
Temperature Regulation |
open |
||
Water Level Monitoring |
open |
The following diagram shows how these software requirements refine the system requirement:
Safety Architecture¶
The software requirements are implemented by the Safety Monitor Module, which resides in its own dedicated Safety Layer — isolated from application and control logic. The Safety Monitor observes all other subsystems through status interfaces and can override them via the Safety Command Interface.
The table below summarises the safety-relevant architectural elements and their roles:
ID |
Title |
Type |
Status |
|---|---|---|---|
Safety Monitor Module |
Component |
open |
|
Temperature Controller Module |
Component |
open |
|
Brew Controller Safety Status Interface |
Interface |
open |
|
Safety Command Interface |
Interface |
open |
|
Temperature Controller Safety Status Interface |
Interface |
open |
Safety Verification¶
The following test cases verify the safety requirements. Each test is linked back to the software requirements it covers:
ID |
Title |
Status |
Verifies |
|---|---|---|---|
Test Safety Shutdown |
open |
||
Test Temperature Control |
open |
Safety Shutdown Sequence¶
The following sequence diagram shows the runtime behaviour when the
Safety Monitor detects an over-temperature condition. It issues an EMERGENCY_STOP
command on INTF_SAFETY_CMD to all controlled subsystems. All
modules must respond within 100 ms.
Complete Safety Traceability¶
The diagram below shows the full vertical chain from system requirement through to test verification, demonstrating complete bidirectional traceability of the safety feature: