Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Model-driven safety evaluation with state-event-based component failure annotations

 
: Grunske, L.; Kaiser, B.; Papadopoulos, Y.

Heineman, G.T.:
Component-based software engineering : 8th international symposium, CBSE 2005, St. Louis, MO, USA, May 14 - 15, 2005 ; proceedings
Berlin: Springer, 2005 (Lecture Notes in Computer Science 3489)
ISBN: 3-540-25877-9
ISSN: 0302-9743
S.33-48 : Ill., Lit.
International Symposium on Component-Based Software Engineering (CBSE) <8, 2005, St. Louis/Mo.>
Englisch
Konferenzbeitrag
Fraunhofer IESE ()
model-based software development; safety analysis; fault tree analysis; ESSaRel

Abstract
Over the past years, the paradigm of component-based software engineering has been established in the construction of complex mission-critical systems. Due to this trend, there is a practical need for techniques that evaluate critical properties (such as safety, reliability, availability or performance) of these systems. In this paper, we review several high-level techniques for the evaluation of safety properties for component-based systems and we propose a new evaluation model (State Event Fault Trees) that extends safety analysis towards a lower abstraction level. This model possesses a state-event semantics and strong encapsulation, which is especially useful for the evaluation of component-based software systems. Finally, we compare the techniques and give suggestions for their combined usage.

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