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

Internet

http://cds.cern.ch/record/1956690

Ejemplares similares