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

doi:10.1007/978-3-030-02227-3_8

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 proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

157 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 language	English
Title of host publication	Computer Performance Engineering
Subtitle of host publication	15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings
Editors	Rena Bakhshi, Paolo Ballarini, Benoit Barbot, Hind Castel-Taleb, Anne Remke
Place of Publication	Cham
Publisher	Springer
Pages	110-125
Number of pages	16
ISBN (Electronic)	978-3-030-02227-3
ISBN (Print)	978-3-030-02226-6
DOIs	https://doi.org/10.1007/978-3-030-02227-3_8
Publication status	Published - 3 Oct 2018
Event	15th European Workshop on Computer Performance Engineering 2018 - Paris, France Duration: 29 Oct 2018 → 30 Oct 2018 Conference number: 15

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	11178

Conference

Conference	15th European Workshop on Computer Performance Engineering 2018
Abbreviated title	EPEW 2018
Country/Territory	France
City	Paris
Period	29/10/18 → 30/10/18

Keywords

Fault maintenance trees
Reliability
Availability
Maintenance
Model checking
Smart buildings
HVAC

Access to Document

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

Abate2018_Chapter_ModellingSmartBuildingsUsingFaFinal published version, 1.03 MBLicence: Taverne

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). Springer. https://doi.org/10.1007/978-3-030-02227-3_8

Abate, Alessandro ; Budde, Carlos Esteban ; Cauchi, Nathalie et al. / 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 = oct,

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",

address = "Germany",

note = "15th European Workshop on Computer Performance Engineering 2018, EPEW 2018 ; Conference date: 29-10-2018 Through 30-10-2018",

}

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 et al.
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 proceeding › Conference contribution › Academic › peer-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

N1 - Conference code: 15

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

T2 - 15th European Workshop on Computer Performance Engineering 2018

Y2 - 29 October 2018 through 30 October 2018

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). doi: 10.1007/978-3-030-02227-3_8

Modelling Smart Buildings Using Fault Maintenance Trees

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this