UTC-003_Safety_State_Entry_And_Clear

Validate ao_safety state transition behavior for hazard entry and guarded clear path

Execution

Field

Value

Status

pass

Last Run At

2026-02-28T18:45:00Z

Last Runner

Dummy_Unit_Run

Result Summary

pass

Preconditions

Safety context initialized with hazard thresholds and debounce values.

Procedure

  1. Run nominal dispatch cycles. 2) Inject hazard events for multiple cycles. 3) Continue dispatch until protection is active. 4) Inject clear conditions and verify recovery.

Expected Result

Safety state enters protection only on valid hazard criteria and clears through the defined path

Traceability

Element Type

Referenced Elements

SW Units

SW State Machines

  • ao_safety_activity

Evidence

n/a