Better railway engineering through statistical model checking

Enno Ruijters, Mariëlle Stoelinga

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

    6 Citations (Scopus)
    29 Downloads (Pure)

    Abstract

    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
    PublisherSpringer
    Pages151-165
    Number of pages15
    ISBN (Electronic)978-3-319-47166-2
    ISBN (Print)978-3-319-47165-5
    DOIs
    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
    http://www.isola-conference.org/isola2016/

    Publication series

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

    Conference

    Conference7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016
    Abbreviated titleISoLA 2016
    CountryGreece
    CityCorfu
    Period10/10/1614/10/16
    Internet address

    Keywords

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

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

  • Cite this

    Ruijters, E., & Stoelinga, M. (2016). Better railway engineering through statistical model checking. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I (pp. 151-165). (Lecture Notes in Computer Science; Vol. 9952). Berlin: Springer. https://doi.org/10.1007/978-3-319-47166-2_10