Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Increased efficiency in the quantitative evaluation of state/event fault trees

: Förster, M.; Kaiser, B.


Dolgui, A. ; International Federation of Automatic Control -IFAC-; International Federation of Operational Research Societies -IFORS-; Institute of Electrical and Electronics Engineers -IEEE-; Ecole Nationale Superieure des Mines de Saint-Etienne:
12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM' 2006. Vol.1: Information Systems, Control and Interoperability : Preprints, May 17-19, 2006, Saint-Etienne, France
Saint-Etienne, France, 2006
ISBN: 0-08-044654-X
ISBN: 978-0-08-044654-7
Symposium on Information Control Problems in Manufacturing (INCOM) <12, 2006, Saint-Etienne>
Conference Paper
Fraunhofer IESE ()
Fault Tree Analysis (FTA); reliability analysis; petri net; modeling; state-space model; Component Fault Tree (CFT); State Event Fault Tree (SEFT)

State/Event Fault Trees (SEFTs) are a new, hierarchical and state-based modelling formalism for dependability analysis. SEFT semantics are defined by mapping the model onto an equivalent Deterministic and Stochastic Petri Net, which is also used for quantitative evaluation. This state-based analysis increases the expressive power of the model but often implies a very large state space. The present paper describes the development of a hybrid approach to avoiding state space largeness in SEFT evaluation. The basic strategy is to minimize model parts that must be evaluated using state-based methods and integrate the partial results in a combinatorial way, based on Binary Decision Diagrams. The approach is implemented in the Fault Tree Analysis framework ESSaRel, which offers SEFTs, among other models, for safety and reliability analysis.