We have restored access to the website from outside the CERN network, however access from certain worldwide locations is still being blocked (read more here).

CERN Accelerating science

Home > Formal verification of industrial control systems
 
Talk
Title Formal verification of industrial control systems
Video
If you experience any problem watching the video, click the download button below
Download Embed
Mp4:Medium
(1000 kbps)		High
(2000 kbps)		More..
Copy-paste this code into your page:
Copy-paste this code into your page to include both slides and lecture:
Author(s) DARVAS, Daniel (speaker) (CERN / Budapest University of Technology and Economics (HU))
Corporate author(s) CERN. Geneva
Imprint 2015-09-29. - Streaming video.
Series (Conferences)
(1st Developers@CERN Forum)
Lecture note on 2015-09-29T15:45:00
Subject category Conferences
Abstract 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
Copyright/License © 2015-2024 CERN
Submitted by pedro.ferreira@cern.ch

 


 Record created 2015-09-30, last modified 2022-11-02
Similar records


External links:
Download fulltextTalk details
Download fulltextEvent details