Skip to main content

Maintenance of Smart Buildings using Fault Trees

Nathalie Cauchi‚ Khaza Anuarul Hoque‚ Marielle Stoelinga and Alessandro Abate

Abstract

Timely maintenance is an important means of increasing system dependability and life span. Fault Maintenance trees (FMTs) are an innovative framework incorporating both maintenance strategies and degradation models and serve as a good planning platform for balancing total costs (operational and maintenance) with dependability of a system. In this work, we apply the FMT formalism to a Smart Building application and propose a framework that efficiently encodes the FMT into Continuous Time Markov Chains. This allows us to obtain system dependability metrics such as system reliability and mean time to failure, as well as costs of maintenance and failures over time, for different maintenance policies. We illustrate the pertinence of our approach by evaluating various dependability metrics and maintenance strategies of a Heating, Ventilation and Air-Conditioning system.

ISSN
1550−4859
Journal
ACM Transactions on Sensor Networks: Systems for Smart and Efficient Built Environments
Keywords
Fault maintenance trees‚ PRISM‚ building automation systems‚ formal modelling‚ probabilistic model checking‚ reliability
Location
New York‚ NY‚ USA
Month
nov
Number
3−4
Pages
28:1–28:25
Publisher
ACM
Volume
14
Year
2018