Better railway engineering through statistical model checking

Enno Ruijters, Mariëlle Stoelinga

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    7 Citations (Scopus)
    48 Downloads (Pure)


    Maintenance is essential to ensuring the dependability of a technical system. Periodic inspections, repairs, and renewals can prevent failures and extend a system’s lifespan. At the same time, maintenance incurs cost and planned downtime. It is therefore important to find a maintenance policy that balances cost and dependability. This paper presents a framework, fault maintenance trees (FMTs), integrating maintenance into the industry-standard formalism of fault trees. By translating FMTs to priced timed automata and applying statistical model checking, we can obtain system dependability metrics such as system reliability and mean time to failure, as well as costs of maintenance and failures over time, for different maintenance policies. Our framework is flexible and can be extended to include effects specific to the system being analysed. We demonstrate that our framework can be used in practice using two case studies from the railway industry: electrically insulated joints, and pneumatic compressors.
    Original languageEnglish
    Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
    Subtitle of host publication7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I
    EditorsTiziana Margaria, Bernhard Steffen
    Place of PublicationBerlin
    Number of pages15
    ISBN (Electronic)978-3-319-47166-2
    ISBN (Print)978-3-319-47165-5
    Publication statusPublished - Oct 2016
    Event7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 - Corfu, Greece
    Duration: 10 Oct 201614 Oct 2016
    Conference number: 7

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349


    Conference7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016
    Abbreviated titleISoLA 2016
    Internet address


    • Statistical Model Checking
    • EWI-27088
    • Fault Maintenance Trees
    • IR-100740
    • Fault Trees
    • METIS-318465
    • Fault Tree Analysis


    Dive into the research topics of 'Better railway engineering through statistical model checking'. Together they form a unique fingerprint.

    Cite this