title: | Fewer delays in trains? Better maintenance planning with model checking |
keywords: | |
topics: | Case studies and Applications , Dependability, security and performance |
committee: |
Mariƫlle Stoelinga
, Enno Ruijters |
started: | February 2013 |
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.