Departmental Papers (CIS)

Date of this Version

9-2015

Document Type

Conference Paper

Comments

6th International Conference on Runtime Verification (RV 2015), Vienna, Austria, September 22 – 25, 2015.

Abstract

In component-based safety-critical systems, when a system safety property is violated, it is necessary to analyze which components are the cause. Given a system execution trace that exhibits component faults leading to a property violation, our causality analysis formalizes a notion of counterfactual reasoning (\what would the system behavior be if a component had been correct?") and algorithmically derives such alternative system behaviors, without re-executing the system itself. In this paper, we show that we can improve precision of the analysis if 1) we can emulate execution of components instead of relying on their contracts, and 2) take into consideration input/output dependencies between components to avoid blaming components for faults induced by other components. We demonstrate the utility of the extended analysis with a case study for a closed-loop patient-controlled analgesia system.

Subject Area

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

Start Page

250

Last Page

265

DOI

10.1007/978-3-319-23820-3_16

Copyright/Permission Statement

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-23820-3_16.

Share

COinS
 

Date Posted: 27 October 2015

This document has been peer reviewed.