Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Grunske, Lars, Kaiser, Bernhard and Reussner,Ralf H. (2005). Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process. In Colin Atkinson, Christian Bunse, Hans-Gerhard Gross and Christian Peper (Ed.), Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends (pp. 249-274) Heidelberg, Germany: Springer. doi:10.1007/11591962_13


Author Grunske, Lars
Kaiser, Bernhard
Reussner,Ralf H.
Title of chapter Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process
Title of book Component-Based Software Development for Embedded Systems: An Overview of Current Research Trends
Place of Publication Heidelberg, Germany
Publisher Springer
Publication Year 2005
Sub-type Other
DOI 10.1007/11591962_13
Series Lecture Notes in Computer Science (State of the Art Survey)
Editor Colin Atkinson
Christian Bunse
Hans-Gerhard Gross
Christian Peper
Chapter number 12
Start page 249
End page 274
Total pages 25
Subjects 0915 Interdisciplinary Engineering
0803 Computer Software
Abstract/Summary 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.
Q-Index Code BX
Q-Index Status Provisional Code
Institutional Status Unknown

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Fri, 07 Apr 2006, 19:08:53 EST