An automated dependability analysis method for COTS-based systems

Authors:
Lars Grunske;Bernhard Kaiser
Affiliations:
School of Information Technology and Electrical Engineering ITEE, University of Queensland, Brisbane;Department of Software Engineering and Quality Management, Hasso-Plattner-Institute for Software Systems Engineering, University of Potsdam, Potsdam, Germany
Venue:
ICCBSS'05 Proceedings of the 4th international conference on COTS-Based Software Systems
Year:
2005

Citing 10
Cited 4

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
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

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

QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Early quality prediction of component-based systems - A generic framework

Journal of Systems and Software
Quantitative risk-based security prediction for component-based systems with explicitly modeled attack profiles

Journal of Systems and Software
Package coupling measurement in object-oriented software

Journal of Computer Science and Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

The increasing application of COTS-components and component-based software engineering has entailed the development of appropriate component specifications. In the embedded systems domain it would be desirable to benefit from these component specifications to integrate and automate safety and reliability analysis. For this reason, we propose in this paper a component-based dependability analysis technique that annotates components with failure mode assumptions. The probabilities and dependencies of these failure modes are specified by Component Fault Trees (CFT's). Based on these CFT's and the architectural model the propagation of failures throughout the system can be automatically determined and a quantitative analysis is possible.