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

  1. 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

  • sm_protection_state

Evidence

n/a