About
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.
0:00:00 Slide 1
0:00:21 Slide 2
0:00:37 Slide 3
0:01:16 Slide 4
0:01:30 Slide 5
0:01:39 Slide 6
0:01:48 Slide 7
0:02:00 Slide 8
0:02:11 Slide 9
0:02:23 Slide 10
The talk
Credits and licence
- Institution
- CERN
- Department
- Conferences
- Speaker
- Daniel DARVAS
- Year
- 2015
- Language
- English
- Source
- CERN
- Licence
- CERN, as CERN states it. CERN's terms
- Attribution
- © CERN. CERN provides its audiovisual media free of charge for educational and informational use, credited to CERN; this lecture is shown in CERN's own player.
- Who can watch
- CERN gives no rating. Invisible Network shows it to Teens profiles and older, judged from what the source says about it. How courses are placed