Standard-based formal validation of Programmable Logic Controller programs

With the increasing complexity of control systems in industries, the use of standards become essential to ensure a better project quality. The focus of this work is to show the application, the importance and the benefits of the use of standards for an widely used equipment in industry called Programmable Logic Controller (PLC). Standards relating to specification, ISA 5.2 diagrams, and the implementation, IEC 61131-3 of programs for PLCs are used. Based on these standards an approach to automatic extraction of timed automata for model-based testing of industrial control systems has been developed.