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

    28 Downloads (Pure)

    Abstract

    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
    PublisherSpringer
    Pages110-125
    Number of pages16
    ISBN (Electronic)978-3-030-02227-3
    ISBN (Print)978-3-030-02226-6
    DOIs
    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
    PublisherSpringer
    Volume11178

    Conference

    Conference15th European Workshop on Computer Performance Engineering 2018
    Abbreviated titleEPEW 2018
    CountryFrance
    CityParis
    Period29/10/1830/10/18

      Fingerprint

    Keywords

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

    Cite this

    Abate, A., Budde, C. E., Cauchi, N., van Harmelen, A., Hoque, K. A., & Stoelinga, M. I. A. (2018). Modelling Smart Buildings Using Fault Maintenance Trees. In R. Bakhshi, P. Ballarini, B. Barbot, H. Castel-Taleb, & A. Remke (Eds.), Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings (pp. 110-125). (Lecture Notes in Computer Science; Vol. 11178). Cham: Springer. https://doi.org/10.1007/978-3-030-02227-3_8