Define the machine around operating states, not scattered outputs.
The strongest controls work starts with ready, run, hold, stop, abort and fault states that are clear enough to prove and recover. Once that model is right, the PLC, HMI and logging can all reflect one system.
- Deterministic behaviour
- Clear transition ownership
- Cleaner acceptance testing