Currently browsing

Zen and the art of railway maintenance: Analysis and optimization of maintenance via fault trees and statistical model checking

Enno Ruijters promotors: prof. dr. Mariëlle I. A. Stoelinga (UT) and prof. dr. ir. Joost-Pieter Katoen (RWTH Aachen) University of Twente Date: 25 May 2018 Thesis: PDF Summary Maintenance is crucial for the operation of modern systems. Timely inspections, repairs, and replacements help to prevent costly failures and downtime, and ensure …