Automated Generation of Formal Models from ST Control Programs for Verification Purposes

In large industrial control systems such as the ones installed at CERN, one of the main issues is the ability to verify the correct behaviour of the Programmable Logic Controller (PLC) programs. While manual and automated testing can achieve good results, some obvious problems remain unsolved such a...

Descripción completa

Detalles Bibliográficos
Autores principales: Fernandez Adiego, B, Darvas, D, Tournier, J-C, Blanco Vinuela, E, Blech, J-O, Gonzalez Suarez, V
Lenguaje:eng
Publicado: 2014
Materias:
Accelerators and Storage Rings
Acceso en línea:http://cds.cern.ch/record/1708853

Internet

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

Ejemplares similares