Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Specification and evaluation of safety properties in a component-based software engineering process

 
: Grunske, L.; Kaiser, B.; Reussner, R.

:

Atkinson, C.; Bunse, C.; Groß, H.-G.; Peper, C.:
Component-based software development for embedded systems : An overview of current research trends. State-of-the-Art Survey
Berlin: Springer, 2005 (Lecture Notes in Computer Science 3778)
ISBN: 3-540-30644-7
ISSN: 0302-9743
S.249-274 : Ill., Lit.
Englisch
Aufsatz in Buch
Fraunhofer IESE ()
component-based software engineering; safety analysis; fault tree analysis; component fault tree

Abstract
Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

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