Causality and Temporal Dependencies in the Design of Fault Management Systems

Marco Bozzano

Reasoning about causes and effects naturally arises in the engineering of safety-critical systems. A classical example is Fault Tree Analysis, a deductive technique used for system…