Departmental Papers (CIS)

Date of this Version

9-2013

Document Type

Conference Paper

Comments

4th International Conference on Runtime Verification (RV '13), INRIA Rennes, France, September 24-27, 2013.

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.

Subject Area

CPS Medical, CPS Model-Based Design, CPS Formal Methods

Publication Source

Lecture Notes in Computer Science: Runtime Verification

Volume

8174

Start Page

285

Last Page

303

DOI

10.1007/978-3-642-40787-1_17

Copyright/Permission Statement

The final publication is available at link.springer.com.

Bib Tex

@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}
}

 

Date Posted: 27 October 2015

This document has been peer reviewed.