Cargando…
Automated Formal Verification for PLC Control Systems
Programmable Logic Controllers (PLCs) are widely used devices used in industrial control systems. Ensuring that the PLC software is compliant with its specification is a challenging task. Formal verification has become a recommended practice to ensure the correctness of the safety-critical software....
Autor principal: | Fernández Adiego, Borja |
---|---|
Lenguaje: | eng |
Publicado: |
2014
|
Acceso en línea: | http://cds.cern.ch/record/1695160 |
Ejemplares similares
-
Bringing Automated Formal Verification to PLC Program Development
por: Fernández Adiego, Borja
Publicado: (2015) -
Transforming PLC Programs into Formal Models for Verification Purposes
por: Darvas, D, et al.
Publicado: (2013) -
Formal verification of complex properties on PLC programs
por: Darvas, D, et al.
Publicado: (2014) -
Modelling and Formal Verification of Timing Aspects in Large PLC Programs
por: Fernandez Adiego, B, et al.
Publicado: (2014) -
Testing and Verification of PLC Code for Process Control
por: Blanco Vinuela, E B, et al.
Publicado: (2014)