Reflections from Asia van de Mortel-Fronczak
On 25 and 26 November 2025, the annual STORM_SAFE meeting took place in Eindhoven. Interesting results were presented on guaranteeing control software reliability through system-based engineering (SBE) and model checking in the two most advanced pilots of work package 2 (from pilot testing to real-world application: validating existing models and developing practical solutions). These pilots were carried out by the Flanders Environment Agency and Rijkswaterstaat, in cooperation with Eindhoven University of Technology.
A brief summary of the other pilots was also provided. In these pilots, work packages 1 (from knowledge to practical approach: pooling existing university knowledge and developing practical approaches through co-design) and work package 2 are collaborating to develop strategies for achieving reliable control software. To support the uptake of pilot results, work package 3 (from practice and tested pilots to multiple EU-wide applicable and replicable solutions) and work package 4 (from EU-wide applicable solutions to policy improvement: generating further engagement) also reported concrete outcomes. Overall, the meeting demonstrated strong progress within the projects.
The final afternoon was dedicated to exchanging ideas with two other EU projects, BEPROACT and ATHENA. This proved to be a very engaging activity, leading to new cross-project connections.
During one of the breaks, we attended a demonstration by the Tech United soccer robot team, which won its eighth world title in the Middle Size League at RoboCup 2024.
Asia van de Mortel-Fronczak
Eindhoven University of Technology