Output details
11 - Computer Science and Informatics
University of Hull
Article title
Compositional synthesis of temporal fault trees from state machines
Type
D - Journal article
Title of journal
Acm Sigmetrics Performance Evaluation Review
Article number
-
Volume number
39
Issue number
4
First page of article
79
ISSN of journal
0163-5999
Year of publication
2012
Number of additional authors
2
Additional information
<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).
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
-
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
