safety-invariants-welding

Preserve safety invariants by enforcing hardware-path integrity for TIM1, BKIN/BKIN2, STO, and watchdog to prevent unsafe current release during welding controller firmware updates. This ensures hardware protection paths cannot be bypassed.

Safety invariants in welding power control are immutable rules that guarantee safe-state paths remain enforced, ensuring independent fault handling, watchdog reliability, and measurement validity prevent unsafe hardware operation.

Validate fault handling and watchdog reliability in welding hardware paths by executing fault-injection scenarios and measurement checks that prove safety invariants hold under all state-machine and hardware changes.

Yes, you can use fault-injection testing to verify STO and BKIN hardware paths in welding controllers. It provides a concrete plan to demonstrate that safety invariants and independent fault handling hold during changes.

You need to check measurement validity and state-machine integrity for welding controllers during any maintenance or firmware updates that affect fault logic, STO, or watchdog operations to ensure safe-state paths.