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

Grunske, Lars, Kaiser, Bernhard and Papadopoulos, Yiannis (2005). Model-Driven safety evaluation with state-event-based component failure annotations. In: G.T. Heineman, I. Crnkovic, H.W. Schmidt and et al., Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings. Component-Based Software Engineering: 8th International Symposium, St Louis, MO, USA, (33-48). 14-15 May, 2005. doi:10.1007/b136248


Author Grunske, Lars
Kaiser, Bernhard
Papadopoulos, Yiannis
Title of paper Model-Driven safety evaluation with state-event-based component failure annotations
Conference name Component-Based Software Engineering: 8th International Symposium
Conference location St Louis, MO, USA
Conference dates 14-15 May, 2005
Proceedings title Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings   Check publisher's open access policy
Journal name Lecture Notes in Computer Science   Check publisher's open access policy
Place of Publication Heidelberg, Germany
Publisher Springer-Verlag
Publication Year 2005
Sub-type Fully published paper
DOI 10.1007/b136248
ISBN 3540258779
ISSN 0302-9743
1611-3349
Editor G.T. Heineman
I. Crnkovic
H.W. Schmidt
et al.
Volume 3489
Start page 33
End page 48
Total pages 16
Collection year 2005
Language eng
Abstract/Summary 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
Subjects E1
280302 Software Engineering
700199 Computer software and services not elsewhere classified
Q-Index Code C1
Q-Index Status Provisional Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 22 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Thu, 23 Aug 2007, 21:05:04 EST