Abstract
Industries with safety-critical systems increasingly collect data on events occurring at the level of system components, thus capturing instances of system failure or malfunction. With data availability, it becomes possible to automatically learn a model describing the failure modes of the system, i.e., how the states of individual components combine to cause a system failure. We present LIFT, a machine learning method for static fault trees directly out of observational datasets. The fault trees model probabilistic causal chains of events ending in a global system failure. Our method makes use of the Mantel-Haenszel statistical test to narrow down possible causal relationships between events. We evaluate LIFT with synthetic case studies, show how its performance varies with the quality of the data, and discuss practical variants of LIFT.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Code can be found at https://github.com/M-Nauta/LIFT.
References
Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15, 29ā62 (2015)
Murthy, S.K.: Automatic construction of decision trees from data: a multi-disciplinary survey. Data Min. Knowl. Discov. 2(4), 345ā389 (1998)
Tan, P., Steinbach, M., Kumar, V.: Introduction to Data Mining. Pearson Education (2006)
Li, J., Ma, S., Le, T., Liu, L., Liu, J.: Causal decision trees. IEEE Trans. Knowl. Data Eng. 29(2), 257ā271 (2017)
Mantel, N., Haenszel, W.: Statistical aspects of the analysis of data from retrospective studies of disease. J. Nat. Cancer Inst. 22(4), 719ā748 (1959)
Kabir, S.: An overview of fault tree analysis and its application in model based dependability analysis. Expert Syst. Appl. 77, 114ā135 (2017)
Aizpurua, J.I., Muxika, E.: Model-based design of dependable systems: limitations and evolution of analysis and verification approaches. Int. J. Adv. Secur. 6(1ā2), 12ā31 (2013)
Sharvia, S., Kabir, S., Walker, M., Papadopoulos, Y.: Model-based dependability analysis: state-of-the-art, challenges, and future outlook. In: Software Quality Assurance, pp. 251ā278. Elsevier (2016)
Madden, M.G., Nolan, P.J.: Generation of fault trees from simulated incipient fault case data. WIT Trans. Inf. Commun. Technol. 6, 568ā569 (1994)
Papadopoulos, Y., McDermid, J.: Safety-directed system monitoring using safety cases. Ph.D. thesis, University of York (2000)
Li, S., Li, X.: Study on generation of fault trees from Altarica models. Procedia Eng. 80, 140ā152 (2014)
Bozzano, M., Villafiorita, A.: The FSAP/NuSMV-SA safety analysis platform. Int. J. Softw. Tools Technol. Transf. 9(1), 5 (2007)
Li, Y., Zhu, Y., Ma, C., Xu, M.: A method for constructing fault trees from AADL models. In: Calero, J.M.A., Yang, L.T., MĆ”rmol, F.G., GarcĆa Villalba, L.J., Li, A.X., Wang, Y. (eds.) ATC 2011. LNCS, vol. 6906, pp. 243ā258. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-23496-5_18
Leitner-Fischer, F., Leue, S.: Probabilistic fault tree synthesis using causality computation. Int. J. Crit. Comput.-Based Syst. 4(2), 119ā143 (2013)
Li, J., Shi, J.: Knowledge discovery from observational data for process control using causal Bayesian networks. IIE Trans. 39(6), 681ā690 (2007)
Jha, S., Raman, V., Pinto, A., Sahai, T., Francis, M.: On learning sparse Boolean formulae for explaining AI decisions. In: Barrett, C., Davies, M., Kahsai, T. (eds.) NFM 2017. LNCS, vol. 10227, pp. 99ā114. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-57288-8_7
Chickering, D.M., Heckerman, D., Meek, C.: Large-sample learning of Bayesian networks is NP-hard. J. Mach. Learn. Res. 5, 1287ā1330 (2004)
Kleinberg, S.: Why: A Guide to Finding and Using Causes. OāReilly (2015)
Birch, M.: The detection of partial association, I: the 2 \(\times \) 2 case. J. Royal Stat. Soc. Ser. B (Methodological) 26, 313ā324 (1964)
Kearns, M., Li, M., Valiant, L.: Learning Boolean formulas. J. ACM (JACM) 41(6), 1298ā1328 (1994)
Koller, D., Friedman, N.: Probabilistic Graphical Models: Principles and Techniques. MIT Press (2009)
Rohrer, J.M.: Thinking clearly about correlations and causation: graphical causal models for observational data (2017)
Quinlan, J.R.: C4. 5: Programs for Machine Learning. Elsevier (2014)
Acknowledgements
This research was supported by the Dutch STW project SEQUOIA (grant 15474). The authors would like to thank Joost-Pieter Katoen and Djoerd Hiemstra for valuable feedback.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
Ā© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Nauta, M., Bucur, D., Stoelinga, M. (2018). LIFT: Learning Fault Trees from Observational Data. In: McIver, A., Horvath, A. (eds) Quantitative Evaluation of Systems. QEST 2018. Lecture Notes in Computer Science(), vol 11024. Springer, Cham. https://doi.org/10.1007/978-3-319-99154-2_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-99154-2_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99153-5
Online ISBN: 978-3-319-99154-2
eBook Packages: Computer ScienceComputer Science (R0)