28–29 Sept 2015
CERN
Europe/Zurich timezone
There is a live webcast for this event.

Formal verification of industrial control systems

29 Sept 2015, 15:45
30m
31/3-004 - IT Amphitheatre (CERN)

31/3-004 - IT Amphitheatre

CERN

105
Show room on map

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)

Presentation materials