Output details
11 - Computer Science and Informatics
University of Hull
Compositional synthesis of temporal fault trees from state machines
<09> This work builds on PANDORA - a novel temporal extension of Boolean logic developed in the University of Hull - to create and analyse temporal fault trees from state machines. It links dynamic design models to safety analyses, moving model-based fault tree analysis beyond the classical combinatorial model allowing analysis of sequences of faults. Originally distinguished among best papers in ARES2011 and expanded for a journal, this work has been taken up by Ecole Normale Superieure de Cachan-Paris and is central work in IFAC Technical Committee 1.3 towards a revision of the Fault Tree technique and notation (jean-marc.faure@lurpa.ens-cachan.fr).