Abstract
We propose an approach to enhance the fault diagnosis in black-box component-based systems, in which only events on component interfaces are observable, and assume that causal dependencies between component interface events within components are not known. For such systems, we describe a causality analysis framework that helps us establish the causal relationship between component failures and system failures, given an observed system execution trace. The analysis is based on a formalization of counterfactual reasoning, and applicable to real-time systems. We illustrate the analysis with a case study from the medical device domain.
Research is supported in part by the National Science Foundation grants CNS- 0930647 and CNS-1035715, and NSF/FDA SiR grant CNS-1042829.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM 43(1), 116–146 (1996)
Atmel Corporation. AT91SAM7S-EK Evaluation Board User Guide (2007), http://www.atmel.com/Images/doc6112.pdf
Barry, R.: FreeRTOS User Manual, http://www.freertos.org
Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.: Explaining counterexamples using causality. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 94–108. Springer, Heidelberg (2009)
Bhattacharyya, S., Huang, Z., Chandra, V., Kumar, R.: A discrete event systems approach to network fault management: detection and diagnosis of faults. In: American Control Conference, vol. 6, pp. 5108–5113 (2004)
de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence 32(1), 97–130 (1987)
de Moura, L., Bjørner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008)
Dubey, A., Karsai, G., Kereskenyi, R., Mahadevan, N.: Towards a real-time component framework for software health management. Technical Report ISIS-09-111, Vanderbilt University (2009)
FDA. FDA MAUDE Database, http://www.accessdata.fda.gov/scripts/cdrh/cfdocs/cfmaude/search.cfm .
Generic PCA Infusion Pump Reference Implementation, http://rtg.cis.upenn.edu/medical/gpca/gpca.html
Gössler, G., Le Métayer, D., Raclet, J.-B.: Causality analysis in contract violation. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 270–284. Springer, Heidelberg (2010)
Safety Requirements for the Generic PCA Pump, http://rtg.cis.upenn.edu/gip-docs/Safety_Requirements_GPCA.doc
Halpern, J.Y., Pearl, J.: Causes and Explanations: A Structural-Model Approach. Part I: Causes. The British Journal for the Philosophy of Science 56(4), 843–887 (2005)
Kuntz, M., Leitner-Fischer, F., Leue, S.: From probabilistic counterexamples via causality to fault trees. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol. 6894, pp. 71–84. Springer, Heidelberg (2011)
Leitner-Fischer, F., Leue, S.: Causality checking for complex system models. Technical Report soft-12-02, University of Konstanz (2012)
Lewis, D.: Counterfactuals, 2nd edn. Wiley-Blackwell (2001)
Mahadevan, N., Abdelwahed, S., Dubey, A., Karsai, G.: Distributed diagnosis of complex systems using timed failure propagation graph models. In: The IEEE Systems Readiness Technology Conference, pp. 1–6 (2010)
Mendelson, E.: Introduction to Mathematical Logic, 4th edn. Chapman and Hall/CRC (1997)
Pearl, J.: Causality: Models, Reasoning, and Inference. Cambridge University Press (2009)
Pnueli, A.: The temporal logic of programs. In: Proceedings of FOCS 1977, pp. 46–57 (1977)
Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57–95 (1987)
Riegelman, R., et al.: Contributory cause: unnecessary and insufficient. Postgrad. Med. 66(2), 177 (1979)
Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.: Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology 4(2), 105–124 (1996)
Tian, J., Pearl, J.: Probabilities of causation: Bounds and identification. Annals of Mathematics and Artificial Intelligence 28, 287–313 (2000)
Tripakis, S.: A combined on-line/off-line framework for black-box fault diagnosis. In: Bensalem, S., Peled, D.A. (eds.) RV 2009. LNCS, vol. 5779, pp. 152–167. Springer, Heidelberg (2009)
Wang, S., Ayoub, A., Ivanov, R., Sokolsky, O., Lee, I.: Contract-based blame assignment by trace analysis. In: HiCoNS, pp. 117–125 (2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, S., Ayoub, A., Kim, B., Gössler, G., Sokolsky, O., Lee, I. (2013). A Causality Analysis Framework for Component-Based Real-Time Systems. In: Legay, A., Bensalem, S. (eds) Runtime Verification. RV 2013. Lecture Notes in Computer Science, vol 8174. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-40787-1_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-40787-1_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-40786-4
Online ISBN: 978-3-642-40787-1
eBook Packages: Computer ScienceComputer Science (R0)