Title :
Standard-based formal validation of Programmable Logic Controller programs
Author :
De Vasconcelos Oliveira, Kézia ; Perkusich, Angelo ; Lima, Antônio Marcus Nogueira ; Gorgônio, Kyller ; Da Silva, Leandro Dias
Author_Institution :
Embedded Syst. & Pervasive Comput. Lab., Univ. Fed. de Campina Grande, Campina Grande, Brazil
Abstract :
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.
Keywords :
IEC standards; automata theory; industrial control; programmable controllers; quality control; testing; IEC 61131-3; ISA 5.2 diagrams; industrial control system; model-based testing; programmable logic controller programs; project quality; standard-based formal validation; timed automata extraction; Automata; Automatic testing; Control systems; Electrical equipment industry; IEC standards; Industrial control; Instruction sets; Programmable control; Standards development; System testing;
Conference_Titel :
Industrial Technology (ICIT), 2010 IEEE International Conference on
Conference_Location :
Vi a del Mar
Print_ISBN :
978-1-4244-5695-6
Electronic_ISBN :
978-1-4244-5696-3
DOI :
10.1109/ICIT.2010.5472509
