Modelling Smart Buildings Using Fault Maintenance Trees

Alessandro Abate, Carlos Esteban Budde, Nathalie Cauchi, Arnaud van Harmelen, Khaza Anuarul Hoque, Mariëlle Ida Antoinette Stoelinga

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

    1 Citation (Scopus)
    142 Downloads (Pure)


    Increasingly many industrial spheres are enforced by law to satisfy strict RAMS requirements—reliability, availability, maintain-ability, and safety. Applied to Fault Maintenance Trees (FMTs), formal methods offer flexible and trustworthy techniques to quantify the resilience of (abstract models of) systems. However, the estimated metrics are relevant only as far as the model reflects the actual system:Refining an abstract model to reduce the gap with reality is crucial for the usefulness of the results. In this work, we take a practical approach at the challenge by studying a Heating, Ventilation and Air-Conditioning unit (HVAC), ubiquitous in smart buildings. Using probabilistic and statistical model checking, we assess RAMS metrics of a basic fault maintenance tree HVAC model. We then implement four modifications augmenting the expressivity of the FMT model, and show that reliability,availability, expected number of failures, and costs, can vary by orders of magnitude depending on involved modelling details
    Original languageEnglish
    Title of host publicationComputer Performance Engineering
    Subtitle of host publication15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
    EditorsRena Bakhshi, Paolo Ballarini, Benoit Barbot, Hind Castel-Taleb, Anne Remke
    Place of PublicationCham
    Number of pages16
    ISBN (Electronic)978-3-030-02227-3
    ISBN (Print)978-3-030-02226-6
    Publication statusPublished - 3 Oct 2018
    Event15th European Workshop on Computer Performance Engineering 2018 - Paris, France
    Duration: 29 Oct 201830 Oct 2018
    Conference number: 15

    Publication series

    NameLecture Notes in Computer Science


    Conference15th European Workshop on Computer Performance Engineering 2018
    Abbreviated titleEPEW 2018


    • Fault maintenance trees
    • Reliability
    • Availability
    • Maintenance
    • Model checking
    • Smart buildings
    • HVAC


    Dive into the research topics of 'Modelling Smart Buildings Using Fault Maintenance Trees'. Together they form a unique fingerprint.

    Cite this