A Causality Analysis Framework for Component-Based Real-Time Systems

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Medical
CPS Model-Based Design
CPS Formal Methods
Computer Engineering
Computer Sciences
Logic and Foundations
Programming Languages and Compilers
Software Engineering
Theory and Algorithms
Funder
Grant number
License
Copyright date
Distributor
Related resources
Contributor
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.

Advisor
Date of presentation
2013-09-01
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-17T12:37:42.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
Comments
4th International Conference on Runtime Verification (RV '13), INRIA Rennes, France, September 24-27, 2013. http://rv2013.gforge.inria.fr/index.html
Recommended citation
@incollection{ year={2013}, isbn={978-3-642-40786-4}, booktitle={Runtime Verification}, volume={8174}, series={Lecture Notes in Computer Science}, editor={Legay, Axel and Bensalem, Saddek}, doi={10.1007/978-3-642-40787-1_17}, title={A Causality Analysis Framework for Component-Based Real-Time Systems}, url={http://dx.doi.org/10.1007/978-3-642-40787-1_17}, publisher={Springer Berlin Heidelberg}, author={Wang, Shaohui and Ayoub, Anaheed and Kim, BaekGyu and Gössler, Gregor and Sokolsky, Oleg and Lee, Insup}, pages={285-303}, language={English} }
Collection