Presentation Designing supervisory controllers for infrastructure using formal methods at STORM_SAFE anual meeting Eindhoven.
Software for critical infrastructure, such as bridges, locks, and storm surge barriers, must function flawlessly. Any error can have serious consequences, ranging from economic damage to risks to human safety. At Eindhoven University of Technology, researchers are addressing this challenge by developing advanced, mathematically grounded methods for designing reliable control software.
Within the STORM_SAFE programme, two research groups are collaborating on the use of formal methods: model-based techniques that enable the precise specification, analysis and verification of system behaviour. One approach focuses on formal verification, whereby models of control software are automatically checked against safety and performance requirements. Another approach is synthesis-based engineering, which goes a step further by automatically constructing a safe supervisory controller from models of the system and its requirements.
These methods are being applied in close collaboration with infrastructure operators and international partners, and have already proven their worth in real-world projects involving bridges, locks, and barriers. By combining academic research with practical applications, STORM_SAFE is helping to make infrastructure across Europe safer and more reliable.
Want to learn more about how formal methods are shaping the future of critical infrastructure? In the next news item you can watch the accompanying vlog in which Martijn Goorden explains the research behind this work.
Martijn Goorden
Eindhoven University of Technology