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

fYear

2010

fDate

14-17 March 2010

Firstpage

1655

Lastpage

1660

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICIT.2010.5472509

Filename

5472509