Modelling and Formal Verification of Timing Aspects in Large PLC Programs

One of the main obstacle that prevents model checking from being widely used in industrial control systems is the complexity of building formal models out of PLC programs, especially when timing aspects need to be integrated. This paper brings an answer to this obstacle by proposing a methodology to...

Descripción completa

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

Internet

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

Ejemplares similares