Fewer delays in trains? Better maintenance planning with model checking

title:Fewer delays in trains? Better maintenance planning with model checking
keywords:
topics:Case studies and Applications, Dependability, security and performance
contact:dr. M.I.A. Stoelinga & D. Guck MSc


Description

Are you complaining that trains are often delayed or cancelled? This is your chance to do something about it! 

In this assignment, we will investigate improvements railroad maintenance: Do you order your spare parts well in advance, which costs a lot of money; or do you order them just-in-time, and risk that they arrive late?

These questions can be answered by a model checker, such as CADP, SCOOP, MRMC or Prism. Goal is to model a part of the railroad failure behavior, and compare different maintenance planning strategies. 

This is a joint project with Rob Basten from the maintenance engineering department.