IEC 61511 стандартына сәйкес SIL 3 дәлелдеу тесттерін жоспарлау, HIMA HIMatrix F60 және ICS Triplex TMR архитектуралары үшін PFDavg есептеу, ішінара дәлелдеу тестінің несиесін қолдану және көпжылдық зауытты тоқтату циклдары бойынша сәйкестік жазбаларын жүргізу туралы практикалық нұсқаулық.