Speaker
Daniel Darvas
(CERN / Budapest University of Technology and Economics (HU))
Description
Verification of critical software is a high priority but a challenging task for industrial control systems. For many kinds of problems, testing is not an efficient method. Formal methods, such as model checking appears to be an appropriate complementary method. However, it is not common to use model checking in industry yet, as this method needs typically formal methods expertise and huge computing power. In the EN-ICE-PLC section, we are working on a [methodology][1] and a tool ([PLCverif][2]) to overcome these challenges and to integrate formal verification in the development process of our PLC-based control systems.
[1]: http://cern.ch/project-plc-formalmethods
[2]: http://cern.ch/plcverif
| Availability | Both days |
|---|---|
| Will you need the training center (Workshops)? | No |
Primary author
Daniel Darvas
(CERN / Budapest University of Technology and Economics (HU))
Co-authors
Borja Fernandez Adiego
(CERN)
Dr
Enrique Blanco Vinuela
(CERN)
