|title:||Fewer delays in trains? Better maintenance planning with model checking|
|topics:||Case studies and Applications , Dependability, security and performance|
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.