Bringing Automated Model Checking to PLC Program Development - A CERN Case Study

Verification of critical software is a high priority but a challenging task for industrial control systems. Model checking appears to be an appropriate approach for this purpose. However, this technique is not widely used in industry yet, due to some obstacles. The main obstacles encountered when tr...

Descripción completa

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

Internet

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

Ejemplares similares