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

Authors:
Lars Grunske;Bernhard Kaiser;Yiannis Papadopoulos
Affiliations:
School of Information Technology and Electrical Engineering ITEE, University of Queensland, Brisbane, Australia;Fraunhofer IESE, Kaiserslautern, Germany;Department of Computer Science, University of Hull, U.K
Venue:
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Year:
2005

Citing 13
Cited 13

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers
Software reliability: measurement, prediction, application

Software reliability: measurement, prediction, application
Real-time object-oriented modeling

Real-time object-oriented modeling
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
Dependability: Basic Concepts and Terminology

Dependability: Basic Concepts and Terminology
Applying "Design by Contract"

Computer
Hierarchically Performed Hazard Origin and Propagation Studies

SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
On Petri nets with deterministic and exponentially distributed firing times

Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Model-Based Synthesis of Fault Trees from Matlab-Simulink Models

DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
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
A method and tool support for model-based semi-automated failure modes and effects analysis of engineering designs

SCS '04 Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47

Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Identifying "good" architectural design alternatives with multi-objective optimization strategies

Proceedings of the 28th international conference on Software engineering
Early quality prediction of component-based systems - A generic framework

Journal of Systems and Software
Evaluating Dependability Attributes of Component-Based Specifications

ICSE COMPANION '07 Companion to the proceedings of the 29th International Conference on Software Engineering
Safety-Oriented Design of Component Assemblies using Safety Interfaces

Electronic Notes in Theoretical Computer Science (ENTCS)
Quantitative risk-based security prediction for component-based systems with explicitly modeled attack profiles

Journal of Systems and Software
An outline of an architecture-based method for optimizing dependability attributes of software-intensive systems

Architecting dependable systems IV
Generalizable safety annotations for specification of failure patterns

Software—Practice & Experience
Capture and reuse of composable failure patterns

International Journal of Critical Computer-Based Systems
Component-based timed hazard analysis of self-healing systems

Proceedings of the 8th workshop on Assurances for self-adaptive systems
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
A qos driven development process model for component-based software systems

CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
A safety-focused verification using software fault trees

Future Generation Computer Systems

Quantified Score

Hi-index	0.00

Visualization

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.