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

Authors:
Lars Grunske;Bernhard Kaiser;Ralf H. Reussner
Affiliations:
School of ITEE, The University of Queensland, St Lucia, Brisbane, Australia;Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, Germany;Software Engineering Group, University of Oldenburg, OFFIS, Oldenburg, Germany
Venue:
Component-Based Software Development for Embedded Systems
Year:
2005

Citing 9
Cited 3

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
An integrated tool set for software safety analysis

Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
Real-time object-oriented modeling

Real-time object-oriented modeling
Safeware: system safety and computers

Safeware: system safety and computers
Component software: beyond object-oriented programming

Component software: beyond object-oriented programming
Towards integrated safety analysis and design

ACM SIGAPP Applied Computing Review - Special issue on saftey-critical software
Automatic component protocol adaptation with the CoConut/J tool suite

Future Generation Computer Systems - Tools for program development and analysis
Reliability prediction for component-based software architectures

Journal of Systems and Software - Special issue on: Software architecture - Engineering quality attributes
A new component concept for fault trees

SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33

Identifying "good" architectural design alternatives with multi-objective optimization strategies

Proceedings of the 28th international conference on Software engineering
Component deployment optimisation with bayesian learning

Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Towards an integration of standard component-based safety evaluation techniques with SaveCCM

QoSA'06 Proceedings of the Second international conference on Quality of Software Architectures

Quantified Score

Hi-index	0.00

Visualization

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.