Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Extending the expressive power of fault trees

 
: Kaiser, B.

:

Annual Reliability and Maintainability Symposium, International Symposium on Product Quality and Integrity 2005. Proceedings : Alexandria, Virginia, USA, 2005, January 24 - 27
Piscataway, NJ: IEEE Operations Center, 2005
ISBN: 0-7803-8824-0
ISBN: 0-7803-8825-9
S.468-474
Annual Reliability and Maintainability Symposium (RAMS) <51, 2005, Alexandria/Va.>
Englisch
Konferenzbeitrag
Fraunhofer IESE ()
embedded system; petri net; fault tree analysis; safety analysis; reliability analysis; ESSaRel

Abstract
Fault Trees (FT) are an established model for reliability and safety analysis of technical systems. They are combinatorial models and thus cannot consider state dependencies or temporal order of events. We recently proposed State-Event-Fault-Trees (SEFTs), an extension of Fault Trees with a State/Event Semantics, as a reliability model for embedded systems. In this paper, we demonstrate its application and introduce a number of new gates that are especially suitable for software-controlled systems. SEFTs are a compositional model where the components are connected by two types of ports, state ports and event ports. Together with the extended set of gates, SEFTs allow both more accurate modeling of embedded systems and integration with design phase models such as Statecharts to achieve an integrated development process. We show the practical application of SEFTs to a small case study and introduce our tool project ESSaRel.

: http://publica.fraunhofer.de/dokumente/N-34777.html