title: Fewer delays in trains? Better maintenance planning with model checking
topics: Case studies and Applications , Dependability, security and performance
committee: Mariƫlle Stoelinga ,
Enno Ruijters
started: February 2013


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.