Definitions of Logical Causality for Trace Analysis

Date: Tuesday, September 27, 2011
Speaker: Gregor Goessler
Venue: IST Austria

Establishing liabilities in component-based systems is a challenging task, as it requires to establish convincing evidence with respect to occurrence of a failure, and the cae causality relation between the failure and a damage.The second issue is especially complex when several failures are detected and their impact on the occurrence of the damage has to be assessed. In this talk I will propose a formal framework for reasoning about logical causality between component failures and the violation of a system-level specification.


Posted in RiSE Seminar