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 contribution

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.
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
StatePublished - 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

Intelligent buildings
Model checking
Statistical Models
Air conditioning
Markov processes
Ventilation
Power plants
Availability
Heating
Planning
Degradation

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. DOI: 10.1145/3137133.3137138
Cauchi, Nathalie ; Hoque, Khaza Anuarul ; Abate, Alessandro ; Stoelinga, Mariëlle. / Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. BuildSys'17: Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments. ACM/Sheridan, 2017.
@inproceedings{613c575ba89e40daa6031180fce7162f,
title = "Efficient probabilistic model checking of smart building maintenance using fault maintenance trees",
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.",
author = "Nathalie Cauchi and Hoque, {Khaza Anuarul} and Alessandro Abate and Mari{\"e}lle Stoelinga",
year = "2017",
doi = "10.1145/3137133.3137138",
language = "English",
booktitle = "BuildSys'17",
publisher = "ACM/Sheridan",

}

Cauchi, N, Hoque, KA, 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, 4th ACM International Conference on Systems for Energy-Efficient Built Environments 2017, Delft, Netherlands, 8/11/17. DOI: 10.1145/3137133.3137138

Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. / Cauchi, Nathalie; Hoque, Khaza Anuarul; Abate, Alessandro; Stoelinga, Mariëlle.

BuildSys'17: Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments. ACM/Sheridan, 2017. 24.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

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

AU - Cauchi,Nathalie

AU - Hoque,Khaza Anuarul

AU - Abate,Alessandro

AU - Stoelinga,Mariëlle

PY - 2017

Y1 - 2017

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

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

U2 - 10.1145/3137133.3137138

DO - 10.1145/3137133.3137138

M3 - Conference contribution

BT - BuildSys'17

PB - ACM/Sheridan

ER -

Cauchi N, Hoque KA, Abate A, Stoelinga M. 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. ACM/Sheridan. 2017. 24. Available from, DOI: 10.1145/3137133.3137138