A procedure for PLC programs validation

Many control systems involving safety critical operations are presently implemented on programmable logic controllers (PLCs). Therefore, there is a strong need to validate that the considered PLC is compliant with the safety requirements. The paper presents a testing procedure that enables the validation of PLC programs, which greatly reduces the testing effort and provides a close link between overall system safety requirements and the PLC program.