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.1
- Marwan Ammar, Khaza Anuarul Hoque, and Otmane Ait Mohamed. 2016. Formal analysis of fault tree using probabilistic model checking: A solar array case study. In Proceedings of the Annual IEEE Systems Conference (SysCon’16). IEEE, 1--6.Google ScholarCross Ref
- Handbook ASHRAE. 1996. HVAC systems and equipment. American Society of Heating, Refrigerating, and Air Conditioning Engineers, Atlanta, GA, 1--10.Google Scholar
- Vladimir Babishin and Sharareh Taghipour. 2016. Optimal maintenance policy for multicomponent systems with periodic and opportunistic inspections and preventive replacements. Appl. Math. Model. 40, 24 (2016), 10480--10505.Google ScholarCross Ref
- Francesca Boem, Riccardo M. G. Ferrari, Christodoulos Keliris, Thomas Parisini, and Marios M. Polycarpou. 2017. A distributed networked approach for fault detection of large-scale systems. IEEE Trans. Automat. Control 62, 1 (2017), 18--33.Google ScholarCross Ref
- Luca Bortolussi and Jane Hillston. 2012. Fluid approximation of CTMC with deterministic delays. In Proceedings of the 9th International Conference on Quantitative Evaluation of Systems (QEST’12). IEEE, 53--62. Google ScholarDigital Library
- Nathalie Cauchi, Khaza Anuarul Hoque, Alessandro Abate, and Mariëlle Stoelinga. 2017. Efficient probabilistic model checking of smart building maintenance using fault maintenance trees. In Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments. ACM, 24. Google ScholarDigital Library
- Nathalie Cauchi, Karel Macek, and Alessandro Abate. 2017. Model-based predictive maintenance in building automation systems with user discomfort. Energy 138 (2017), 306--315.Google ScholarCross Ref
- Edmund M. Clarke, E. Allen Emerson, and A. Prasad Sistla. 1986. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8 (1986), 244--263. Google ScholarDigital Library
- Frits Dannenberg, Marta Kwiatkowska, Chris Thachuk, and Andrew J. Turberfield. 2013. DNA walker circuits: Computational potential, design, and verification. In Proceedings of the International Workshop on DNA-Based Computers. Springer, 31--45. Google ScholarDigital Library
- Lu Feng, Clemens Wiltsche, Laura Humphrey, and Ufuk Topcu. 2015. Controller synthesis for autonomous systems interacting with human operators. In Proceedings of the ACM/IEEE 6th International Conference on Cyber-Physical Systems. ACM, 70--79. Google ScholarDigital Library
- Holger Hermanns and Lijun Zhang. 2011. From concurrency models to numbers. In Nato Science for Peace and Security Series. IOS Press.Google Scholar
- Khaza Anuarul Hoque, Otmane Ait Mohamed, and Yvon Savaria. 2015. Towards an accurate reliability, availability and maintainability analysis approach for satellite systems based on probabilistic model checking. In Proceedings of the Design, Automation 8 Test in Europe Conference 8 Exhibition. EDA Consortium, 1635--1640. Google ScholarDigital Library
- Khaza Anuarul Hoque, Otmane Ait Mohamed, and Yvon Savaria. 2017. Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications. J. Appl. Logic 25 (2017), 47--68.Google ScholarCross Ref
- Khaza Anuarul Hoque, O. Ait Mohamed, Yvon Savaria, and Claude Thibeault. 2014. Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications. In Proceedings of the 12th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE’14). IEEE, 175--184. Google ScholarDigital Library
- Faisal I. Khan and Mahmoud M. Haddara. 2003. Risk-based maintenance (RBM): A quantitative approach for maintenance/inspection scheduling and planning. J. Loss Prevent. Process Industr. 16, 6 (2003), 561--573.Google ScholarCross Ref
- Marta Kwiatkowska, Gethin Norman, and David Parker. 2007. Stochastic model checking. In International School on Formal Methods for the Design of Computer, Communication and Software Systems. Springer, 220--270. Google ScholarDigital Library
- Marta Kwiatkowska, Gethin Norman, and David Parker. 2011. PRISM 4.0: Verification of probabilistic real-time systems. In Proceedings of the 23rd International Conference on Computer Aided Verification (CAV’11) (LNCS), G. Gopalakrishnan and S. Qadeer (Eds.), Vol. 6806. Springer, 585--591. Google ScholarDigital Library
- Marta Kwiatkowska, Gethin Norman, and David Parker. Advances and challenges of probabilistic model checking. In Proceedings of the 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton’10). IEEE.Google Scholar
- Axel Legay, Benoît Delahaye, and Saddek Bensalem. 2010. Statistical model checking: An overview. RV 10 (2010), 122--135. Google ScholarDigital Library
- Z. F. Li, Yi Ren, L. L. Liu, and Z. L. Wang. 2015. Parallel algorithm for finding modules of large-scale coherent fault trees. Microelectronics Reliability 55, 10 (2015), 1400--1403. In Proceedings of the 26th European Symposium on Reliability of Electron Devices, Failure Physics and Analysis (ESREF’15).Google ScholarCross Ref
- Karel Macek, Petr Endel, Nathalie Cauchi, and Alessandro Abate. 2017. Long-term predictive maintenance: A study of optimal cleaning of biomass boilers. Energy Build. 150 (2017), 111--117.Google ScholarCross Ref
- Enno Ruijters, Dennis Guck, Peter Drolenga, and Mariëlle Stoelinga. 2016. Fault maintenance trees: Reliability centered maintenance via statistical model checking. In Proceedings of the Annual Reliability and Maintainability Symposium (RAMS’16). IEEE, 1--6.Google ScholarDigital Library
- Enno Ruijters and Mariëlle Stoelinga. 2015. Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15 (2015), 29--62. Google ScholarDigital Library
- Umair Siddique, Khaza Anuarul Hoque, and Taylor T. Johnson. 2017. Formal specification and dependability analysis of optical communication networks. In Proceedings of the Design, Automation 8 Test in Europe Conference 8 Exhibition (DATE’17). IEEE, 1564--1569. Google ScholarDigital Library
- Ying Yan, Peter B. Luh, and Krishna R. Pattipati. 2017. Fault diagnosis of HVAC air-handling systems considering fault propagation impacts among components. IEEE Trans. Auto. Sci. Eng. 14, 2 (Apr. 2017), 705--717.Google ScholarCross Ref
- Olexandr Yevkin. 2016. An efficient approximate Markov chain method in dynamic fault tree analysis. Qual. Reliabil. Eng. Int. 32, 4 (2016), 1509--1520.Google ScholarCross Ref
- Håkan L. S. Younes, Marta Kwiatkowska, Gethin Norman, and David Parker. 2006. Numerical vs. statistical probabilistic model checking. Int. J. Softw. Tools Technol. Transfer 8, 3 (2006), 216--228.Google ScholarDigital Library
- Xiaojun Zhou, Lifeng Xi, and Jay Lee. 2007. Reliability-centered predictive maintenance scheduling for a continuously monitored system subject to degradation. Reliabil. Eng. Syst. Safe. 92, 4 (2007), 530--534.Google ScholarCross Ref
Index Terms
- Maintenance of Smart Buildings using Fault Trees
Recommendations
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 EnvironmentsCyber-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 ...
Preventive maintenance scheduling for repairable system with deterioration
Maintenance as an important part in manufacturing system can keep equipment in good condition. Many maintenance policies help to decrease the unexpected failures and reduce high operational cost such as conventional preventive maintenance. But these ...
Research on the Optimal Preventive Maintenance Cost of Electronic Equipments
ICMTMA '13: Proceedings of the 2013 Fifth International Conference on Measuring Technology and Mechatronics AutomationAccording to the characters of electronic equipments, a preventive maintenance model which minimize the preventive maintenance cost based on reliability constrains was built up. The recursion relationship of failure rate anterior-posterior preventive ...
Comments