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:Prof.dr. M.I.A. Stoelinga & Dr. E.J.J. Ruijters


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.