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

10 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

Intelligent buildings
Air conditioning
Ventilation
Availability
Heating
Formal methods
Model checking
Refining
Costs

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
Abate, Alessandro ; Budde, Carlos Esteban ; Cauchi, Nathalie ; van Harmelen, Arnaud ; Hoque, Khaza Anuarul ; Stoelinga, Mariëlle Ida Antoinette. / Modelling Smart Buildings Using Fault Maintenance Trees. Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. editor / Rena Bakhshi ; Paolo Ballarini ; Benoit Barbot ; Hind Castel-Taleb ; Anne Remke. Cham : Springer, 2018. pp. 110-125 (Lecture Notes in Computer Science).
@inproceedings{08f5836a50784dae8e07c18ff5f46743,
title = "Modelling Smart Buildings Using Fault Maintenance Trees",
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",
keywords = "Fault maintenance trees, Reliability, Availability, Maintenance, Model checking, Smart buildings, HVAC",
author = "Alessandro Abate and Budde, {Carlos Esteban} and Nathalie Cauchi and {van Harmelen}, Arnaud and Hoque, {Khaza Anuarul} and Stoelinga, {Mari{\"e}lle Ida Antoinette}",
year = "2018",
month = "10",
day = "3",
doi = "10.1007/978-3-030-02227-3_8",
language = "English",
isbn = "978-3-030-02226-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "110--125",
editor = "Rena Bakhshi and Paolo Ballarini and Benoit Barbot and Hind Castel-Taleb and Anne Remke",
booktitle = "Computer Performance Engineering",

}

Abate, A, Budde, CE, Cauchi, N, van Harmelen, A, Hoque, KA & Stoelinga, MIA 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. Lecture Notes in Computer Science, vol. 11178, Springer, Cham, pp. 110-125, 15th European Workshop on Computer Performance Engineering 2018, Paris, France, 29/10/18. https://doi.org/10.1007/978-3-030-02227-3_8

Modelling Smart Buildings Using Fault Maintenance Trees. / Abate, Alessandro; Budde, Carlos Esteban; Cauchi, Nathalie; van Harmelen, Arnaud ; Hoque, Khaza Anuarul; Stoelinga, Mariëlle Ida Antoinette.

Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. ed. / Rena Bakhshi; Paolo Ballarini; Benoit Barbot; Hind Castel-Taleb; Anne Remke. Cham : Springer, 2018. p. 110-125 (Lecture Notes in Computer Science; Vol. 11178).

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

TY - GEN

T1 - Modelling Smart Buildings Using Fault Maintenance Trees

AU - Abate, Alessandro

AU - Budde, Carlos Esteban

AU - Cauchi, Nathalie

AU - van Harmelen, Arnaud

AU - Hoque, Khaza Anuarul

AU - Stoelinga, Mariëlle Ida Antoinette

PY - 2018/10/3

Y1 - 2018/10/3

N2 - 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

AB - 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

KW - Fault maintenance trees

KW - Reliability

KW - Availability

KW - Maintenance

KW - Model checking

KW - Smart buildings

KW - HVAC

U2 - 10.1007/978-3-030-02227-3_8

DO - 10.1007/978-3-030-02227-3_8

M3 - Conference contribution

SN - 978-3-030-02226-6

T3 - Lecture Notes in Computer Science

SP - 110

EP - 125

BT - Computer Performance Engineering

A2 - Bakhshi, Rena

A2 - Ballarini, Paolo

A2 - Barbot, Benoit

A2 - Castel-Taleb, Hind

A2 - Remke, Anne

PB - Springer

CY - Cham

ER -

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