Model-based automated testing of critical PLC programs.

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...

Descripción completa

Detalles Bibliográficos
Autores principales: Fernández Adiego, B, Blanco Viñuela, E, Tournier, J-C, González Suárez, V M, Bliudze, S
Lenguaje:eng
Publicado: 2014
Materias:
Accelerators and Storage Rings
Acceso en línea:http://cds.cern.ch/record/1956690
_version_ 1780944490480009216
author Fernández Adiego, B
Blanco Viñuela, E
Tournier, J-C
González Suárez, V M
Bliudze, S
author_facet Fernández Adiego, B
Blanco Viñuela, E
Tournier, J-C
González Suárez, V M
Bliudze, S
author_sort Fernández Adiego, B
collection CERN
description 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.
id cern-1956690
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2014
record_format invenio
spelling cern-19566902019-09-30T06:29:59Zhttp://cds.cern.ch/record/1956690engFernández Adiego, BBlanco Viñuela, ETournier, J-CGonzález Suárez, V MBliudze, SModel-based automated testing of critical PLC programs.Accelerators and Storage RingsTesting 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.CERN-ACC-2014-0227oai:cds.cern.ch:19566902014-10-21
spellingShingle Accelerators and Storage Rings
Fernández Adiego, B
Blanco Viñuela, E
Tournier, J-C
González Suárez, V M
Bliudze, S
Model-based automated testing of critical PLC programs.
title Model-based automated testing of critical PLC programs.
title_full Model-based automated testing of critical PLC programs.
title_fullStr Model-based automated testing of critical PLC programs.
title_full_unstemmed Model-based automated testing of critical PLC programs.
title_short Model-based automated testing of critical PLC programs.
title_sort model-based automated testing of critical plc programs.
topic Accelerators and Storage Rings
url http://cds.cern.ch/record/1956690
work_keys_str_mv AT fernandezadiegob modelbasedautomatedtestingofcriticalplcprograms
AT blancovinuelae modelbasedautomatedtestingofcriticalplcprograms
AT tournierjc modelbasedautomatedtestingofcriticalplcprograms
AT gonzalezsuarezvm modelbasedautomatedtestingofcriticalplcprograms
AT bliudzes modelbasedautomatedtestingofcriticalplcprograms

Ejemplares similares