Efficient probabilistic model checking of smart building maintenance using fault maintenance trees

Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, Mariëlle Stoelinga

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

    4 Citations (Scopus)
    55 Downloads (Pure)

    Abstract

    Cyber-physical systems, like Smart Buildings and power plants, have to meet high standards, both in terms of reliability and availability. Such metrics are typically evaluated using Fault trees (FTs) and do not consider maintenance strategies which can significantly improve lifespan and reliability. Fault Maintenance trees (FMTs) - an extension of FTs that also incorporate maintenance and degradation models, are a novel technique that serve as a good planning platform for balancing total costs and dependability of a system. In this work, we apply the FMT formalism to a Smart Building application. We propose a framework for modelling FMTs using probabilistic model checking and present an algorithm for performing abstraction of the FMT in order to reduce the size of its equivalent Continuous Time Markov Chain. This allows us to apply the probabilistic model checking more efficiently. We demonstrate the applicability of our proposed approach by evaluating various dependability metrics and maintenance strategies of a Heating, Ventilation and Air-Conditioning system's FMT.
    Original languageEnglish
    Title of host publicationBuildSys'17
    Subtitle of host publicationProceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments
    PublisherACM/Sheridan
    ISBN (Electronic)978-1-4503-5544-5
    DOIs
    Publication statusPublished - 2017
    Event4th ACM International Conference on Systems for Energy-Efficient Built Environments 2017 - TU Delft Aula Congrescentrum, Delft, Netherlands
    Duration: 8 Nov 20179 Nov 2017
    Conference number: 4
    http://buildsys.acm.org/2017/

    Conference

    Conference4th ACM International Conference on Systems for Energy-Efficient Built Environments 2017
    Abbreviated titleBuildSys 2017
    CountryNetherlands
    CityDelft
    Period8/11/179/11/17
    Internet address

    Fingerprint Dive into the research topics of 'Efficient probabilistic model checking of smart building maintenance using fault maintenance trees'. Together they form a unique fingerprint.

  • Cite this

    Cauchi, N., Hoque, K. A., Abate, A., & Stoelinga, M. (2017). Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. In BuildSys'17: Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments [24] ACM/Sheridan. https://doi.org/10.1145/3137133.3137138