Efficient Probabilistic Model Checking of Smart Building Maintenance using Fault Maintenance Trees

Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate +1

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 usin…