A causality analysis framework for component-based real-time systems

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

Volumn 8174 LNCS, Issue , 2013, Pages 285-303

  Wang, Shaohui ^a   Ayoub, Anaheed ^a   Kim, BaekGyu ^a   Gössler, Gregor ^b   Sokolsky, Oleg ^a   Lee, Insup ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CAUSAL DEPENDENCIES; CAUSAL RELATIONSHIPS; CAUSALITY ANALYSIS; COMPONENT BASED SYSTEMS; COMPONENT FAILURES; COMPONENT INTERFACES; COMPONENT-BASED REAL-TIME SYSTEMS; OBSERVED SYSTEMS;

BIOMEDICAL EQUIPMENT; SOFTWARE ENGINEERING; SYSTEMS ENGINEERING;

REAL TIME SYSTEMS;

EID: 84887478660     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-40787-1_17     Document Type: Conference Paper

References (26)

1. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM 43(1), 116-146 (1996)
2. Atmel Corporation. AT91SAM7S-EK Evaluation Board User Guide (2007), http://www.atmel.com/Images/doc6112.pdf
3. Barry, R.: FreeRTOS User Manual, http://www.freertos.org
4. 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)
5. 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)
6. de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artificial Intelligence 32(1), 97-130 (1987)
7. 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)
8. 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)
9. FDA. FDA MAUDE Database, http://www.accessdata.fda.gov/scripts/cdrh/ cfdocs/cfmaude/search.cfm.
10. Generic PCA Infusion Pump Reference Implementation, http://rtg.cis.upenn. edu/medical/gpca/gpca.html
11. 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)
12. Safety Requirements for the Generic PCA Pump, http://rtg.cis.upenn.edu/ gip-docs/Safety-Requirements-GPCA.doc
13. 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)
14. 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)
15. Leitner-Fischer, F., Leue, S.: Causality checking for complex system models. Technical Report soft-12-02, University of Konstanz (2012)
16. Lewis, D.: Counterfactuals, 2nd edn. Wiley-Blackwell (2001)
17. 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)
18. Mendelson, E.: Introduction to Mathematical Logic, 4th edn. Chapman and Hall/CRC (1997)
19. Pearl, J.: Causality: Models, Reasoning, and Inference. Cambridge University Press (2009)
20. Pnueli, A.: The temporal logic of programs. In: Proceedings of FOCS 1977, pp. 46-57 (1977)
21. Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence 32(1), 57-95 (1987)
22. Riegelman, R., et al.: Contributory cause: unnecessary and insufficient. Postgrad. Med. 66(2), 177 (1979)
23. 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)
24. Tian, J., Pearl, J.: Probabilities of causation: Bounds and identification. Annals of Mathematics and Artificial Intelligence 28, 287-313 (2000)
25. 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)
26. Wang, S., Ayoub, A., Ivanov, R., Sokolsky, O., Lee, I.: Contract-based blame assignment by trace analysis. In: HiCoNS, pp. 117-125 (2013)