Causality checking for complex system models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7737 LNCS, Issue , 2013, Pages 248-267

  Leitner Fischer, Florian ^a   Leue, Stefan ^a  

^a UNIVERSITY OF KONSTANZ   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; INDUSTRIAL APPLICATIONS;

COMPLEX SYSTEM MODELS; COMPUTATIONAL MODEL; EXPLICIT-STATE MODEL CHECKING; FINITE STATE VERIFICATION; INDUSTRIAL CASE STUDY; SEARCH-BASED; STRUCTURAL EQUATION MODELING; SYSTEM MODELS;

MODEL CHECKING;

EID: 84880794271     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-35873-9_16     Document Type: Conference Paper

References (21)

1. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking, 3rd edn. The MIT Press (2001)
2. Lewis, D.: Counterfactuals. Wiley-Blackwell (2001)
3. Halpern, J.Y., Pearl, J.: Causes and explanations: A structural-model approach. Part I: Causes. The British Journal for the Phil. of Science (2005)
4. 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)
5. Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addision-Wesley (2003)
6. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press (2008)
7. Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems. Springer-Verlag New York, Inc. (1992)
8. Collins, J. (ed.): Causation and Counterfactuals. MIT Press (2004)
9. Leitner-Fischer, F., Leue, S.: Causality checking for complex system models. Chair for Software Engineering, University of Konstanz, Technical Report soft-12-02 (2012), http://www.inf.uni-konstanz.de/soft/research/publications/ pdf/soft-12-02.pdf
10. Eiter, T., Lukasiewicz, T.: Complexity results for structure-based causality. Artificial Intelligence (2002)
11. Eiter, T., Lukasiewicz, T.: Causes and explanations in the structural-model approach: Tractable cases. Artificial Intelligence (2006)
12. de Jonge, M., Ruys, T.C.: The SPINJA Model Checker. In: van de Pol, J., Weber, M. (eds.) Model Checking Software. LNCS, vol. 6349, pp. 124-128. Springer, Heidelberg (2010)
13. Leitner-Fischer, F., Leue, S.: QuantUM: Quantitative safety analysis of UML models. In: Proc. of the 9th Workshop on Quantitative Aspects of Programming Languages, QAPL 2011 (2011)
14. Aljazzar, H., Fischer, M., Grunske, L., Kuntz, M., Leitner-Fischer, F., Leue, S.: Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. In: Proc. of QEST 2009. IEEE Computer Society (2009)
15. Zeller, A.: Why Programs Fail: A Guide to Systematic Debugging. Elsevier (2009)
16. 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)
17. Gössler, G., Le Métayer, D., Raclet, J.-B.: Causality Analysis in Contract Violation. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Roşu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 270-284. Springer, Heidelberg (2010)
18. Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21, 558-565 (1978)
19. Groce, A., Chaki, S., Kroening, D., Strichman, O.: Error explanation with distance metrics. International Journal on Software Tools for Technology Transfer (STTT) 8(3) (2006)
20. Schwartz, R.L., Melliar-Smith, P.M., Vogt, F.H.: An interval logic for higher-level temporal reasoning. In: Proc. of the 2nd Annual ACM Symposium on Principles of Distributed Computing. ACM (1983)
21. Dillon, L., Kutty, G., Moser, L., Melliar-Smith, P., Ramakrishna, Y.: A graphical interval logic for specifying concurrent systems. ACM Transactions on Software Engineering and Methodology (TOSEM) 3(2), 131-165 (1994)