How and when do I validate, proof test and Re-validate my SIS logic solver?

This paper will attempt to clarify the above with an explanation based on IEC 61508, 61511 (ISA84.00.01). It will answer the questions “When and How” for each of the activities listed.