A Hybrid Approach to Causality Analysis

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
Funder
Grant number
License
Copyright date
Distributor
Related resources
Author
Geoffroy, Yoann
Gössler, Gregor
Contributor
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.

Advisor
Date of presentation
2015-09-01
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-17T12:37:40.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
6th International Conference on Runtime Verification (RV 2015)(http://rv2015.conf.tuwien.ac.at/), Vienna, Austria, September 22 – 25, 2015.
Recommended citation
Collection