Una guía práctica IEC 61511 para programar pruebas de verificación SIL 3, calcular PFDavg para las arquitecturas HIMA HIMatrix F60 e ICS Triplex TMR, aplicar crédito por prueba de verificación parcial y mantener registros de cumplimiento durante ciclos de paradas de planta de varios años.