A practical IEC 61511 guide to scheduling SIL 3 proof tests, calculating PFDavg for HIMA HIMatrix F60 and ICS Triplex TMR architectures, applying partial proof test credit, and maintaining compliance records across multi-year plant turnaround cycles.