Hướng dẫn thực tiễn IEC 61511 về lập lịch kiểm tra chứng minh SIL 3, tính toán PFDavg cho kiến trúc HIMA HIMatrix F60 và ICS Triplex TMR, áp dụng tín dụng kiểm tra chứng minh một phần, và duy trì hồ sơ tuân thủ trong các chu kỳ bảo trì nhà máy nhiều năm.