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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Birolini, A.: Reliability engineering: theory and practice. Springer, New York (1999)
Bondavalli, A., Simoncini, L.: Failure Classification with Respect to Detection. Predictably Dependable Computing Systems, Task B 2 (May 1990)
Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers C-35(8), 677–691 (1986)
CENELEC: Railway applications The specification and demonstration of dependability, reliability, availability, maintainability and safety (RAMS), European Committee for Electrotechnical Standardisation, Brussels, Standard EN 50126, 128, 129 (2000-2002)
Fenelon, P., McDermid, J.A., Nicholson, M., Pumfrey, D.J.: Towards Integrated Safety Analysis and Design. ACM Applied Computing Review (1994)
Grunske, L.: A Visual Architecture Description Language for Embedded Systems with Hierarchical Typed Hypergraphs. In: Proceedings 3rd Workshop on Domain-Specific Modeling at the 18th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), Anaheim, pp. 1–8 (2003)
IEC 61025: International Standard IEC 61025 Fault Tree Analysis. International Electrotechnical Commission. Geneva (1990)
Kaiser, B., Liggesmeyer, P., Mäckel, O.: A New Component Concept for Fault Trees. In: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software (SCS 2003), Adelaide (2003)
Laprie, J.C. (ed.): Dependability: Basic Concepts and Associated Terminology. Dependable Computing and Fault-Tolerant Systems Series, vol. 5. Springer, Vienna (1992)
Meyer, B.: Applying design by contract. IEEE Computer 25(10), 40–51 (1992)
Musa, J.D., Iannino, A., Okumoto, K.: Software Reliability - Measurement, Prediction, Application. McGraw-Hill International Editions, New York (1987)
Papadopoulos, Y., McDermid, J.A., Sasse, R., Heiner, G.: Analysis and Synthesis of the Behavior of Complex Programmable Electronic Systems in Conditions of Failure. Reliability Engineering and System Safety 71(3), 229–247 (2001)
Papadopoulos, Y., McDermid, J.A.: Hierarchically Performed Hazard Origin and Propagation Studies. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139–152. Springer, Heidelberg (1999)
Pumfrey, D.J.: The Principled Design of Computer System Safety Analyses, Dissertation, University of York (1999)
Reussner, R., Schmidt, H., Poernomo, I.: Reliability Prediction for Component-Based Software Architectures. Journal of Systems and Software 66(3), 241–252 (2003)
Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. Wiley, Chichester (1994)
Szyperski, C.: Component Software. Beyond Object-Oriented Programming. ACM Press/Addison Wesley (1998)
Vesely, W.E., Goldberg, F.F., Roberts, N.H., Haasl, D.F.: Fault Tree Handbook. U. S. Nuclear Regulatory Commission, NUREG-0492, Washington DC (1981)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grunske, L., Kaiser, B. (2005). An Automated Dependability Analysis Method for COTS-Based Systems. In: Franch, X., Port, D. (eds) COTS-Based Software Systems. ICCBSS 2005. Lecture Notes in Computer Science, vol 3412. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30587-3_28
Download citation
DOI: https://doi.org/10.1007/978-3-540-30587-3_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24548-3
Online ISBN: 978-3-540-30587-3
eBook Packages: Computer ScienceComputer Science (R0)