Model-based automated testing of critical PLC programs

Author

Fernandez Adiego, Borja ; Blanco Vinuela, Enrique ; Tournier, Jean-Charles ; Suarez, Victor M. Gonzalez ; Bliudze, Simon

Author_Institution

CERN, Geneva, Switzerland

fYear

2013

fDate

29-31 July 2013

Firstpage

722

Lastpage

727

Abstract

Testing of critical PLC (Programmable Logic Controller) programs remains a challenging task for control system engineers as it can rarely be automated. This paper proposes a model based approach which uses the BIP (Behavior, Interactions and Priorities) framework to perform automated testing of PLC programs developed with the UNICOS (UNified Industrial COntrol System) framework. This paper defines the translation procedure and rules from UNICOS to BIP which can be fully automated in order to hide the complexity of the underlying model from the control engineers. The approach is illustrated and validated through the study of a water treatment process.

Keywords

automatic testing; control engineering computing; process control; program testing; programmable controllers; water treatment; BIP framework; UNICOS framework; behavior-interaction-priorities framework; control system engineers; critical PLC programs; critical programmable logic controller programs; model-based automated testing; translation procedure; unified industrial control system framework; water treatment process; Connectors; Control systems; Data models; Process control; Testing; Valves;

fLanguage

English

Publisher

ieee

Conference_Titel

Industrial Informatics (INDIN), 2013 11th IEEE International Conference on

Conference_Location

Bochum

Type

conf

DOI

10.1109/INDIN.2013.6622973

Filename

6622973