2012

STW / ProRail funds FMT research on Smart Railroad Maintenance

STW / ProRail have granted the research proposal by Marielle Stoelinga on Smart Railroad Maintenance.

Key idea is to boost the modeling and analytical techniques for fault trees. Fault trees are a dominant model for risk management of infrastructures and other assets, but cannot yet cope with a pressing aspect, namely maintenance. 

In previous projects, we have fruitfully deployed model checking techniques for fault tree analysis, and we expect similar advantages in the domain of maintenance.

Marijn Jongerden received MMB 2012 Dissertation Award

The German GI-Group MMB (Messung, Modellierung und Bewertung) has granted the Dissertation Award 2012 to Marijn Jongerden for his dissertation on Model-based analysis of battery powered systems.  Marijn was supervised by Boudewijn Haverkort (DACS) and Joost-Pieter Katoen (FMT).  

Highlights of Dutch Testing Day discussed in Bits & Chips

The professional magazine Bits & Chips published an article by Marielle Stoelinga discussing the highlights of the Dutch Testing Day: breakthroughs in model-based testing and risk-based testing were prominent trends at the Dutch Testing Day.