UTC-016_Protection_State_Latch_And_Reset
Validate protection state machine latch and reset semantics under sustained hazard and clear events.
Execution
Field |
Value |
|---|---|
Status |
pass |
Last Run At |
2026-02-28T19:05:00Z |
Last Runner |
Dummy_Unit_Run |
Result Summary |
pass |
Preconditions
Protection machine initialized in normal state with hazard and reset events available.
Procedure
Inject transient hazard below latch condition. 2) Inject sustained hazard across required cycles. 3) Inject clear without reset and observe hold. 4) Inject reset and verify return to normal.
Expected Result
Protection latches only when criteria are met and remains latched until reset path is executed as defined in sm_protection_state.
Traceability
Element Type |
Referenced Elements |
|---|---|
SW Units |
|
SW State Machines |
|
Evidence |
n/a |