Establishing liabilities in component-based systems is a challenging task, as it requires to establish convincing evidence with respect to the occurrence of a failure, and the 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.
Gregor Goessler is a research fellow at INRIA, France. After graduating from both the University of Karlsruhe and the Computer Science Engineering School at Grenoble, he worked at VERIMAG and received his PhD in Computer Science from the University of Grenoble in 2001. In 2001/02 he worked as a postdoctoral researcher at the University of California at Berkeley on the Metropolis project, before joining INRIA in 2002. His main research focus is on formal methods for component-based design of embedded and cyber-physical systems.