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.
This is a preview of subscription content, log in via an institution to check access.
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
Ajmone Marsan, M., Chiola, G.: On Petri nets with deterministic and exponentially distributed firing times. In: Rozenberg, G. (ed.) APN 1987. LNCS, vol. 266, pp. 132–145. Springer, Heidelberg (1987)
Birolini, A.: Reliability engineering: theory and practice. Springer, New York (1999)
Bondavalli, A., Simoncini, L.: Failure Classification with Respect to Detection. In: Predictably Dependable Computing Systems, Task B, May 1990, vol. 2 (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)
Ciardo, G., Lindemann, C.: Analysis of deterministic and stochastic Petri nets. In: Proc. of the Fifth Int. Workshop on Petri Nets and Performance Models (PNPM 1993), Toulouse, France (October 1993)
ESSaRel: Embedded Systems Safety and Reliability Analyser, The ESSaRel Research Project, Homepage http://www.essarel.de/index.html
Feiler, P., Lewis, B., Vestal, S.: The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering. In: RTAS 2003 Workshop on Model-Driven Embedded Systems (2003)
Fenelon, P., McDermid, J.A., Nicholson, M., Pumfrey, D.J.: Towards Integrated Safety Analysis and Design. ACM Applied Computing Review (1994)
Grunske, L.: Annotation of Component Specifications with Modular Analysis Models for Safety Properties. In: Proceedings of the 1st International Workshop on Component Engineering Methodology (WCEM 2003), pp. 31–41 (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)
Kaiser, B.: Extending the Expressive Power of Fault Trees. In: Accepted for Publication of the 51st Annual Reliability & Maintainability Symposium (RAMS 2005), Alexandria, VA, USA, January 24-27 (2005)
Kaiser, B., Gramlich, C.: State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds.) SAFECOMP 2004. LNCS, vol. 3219, pp. 195–209. Springer, Heidelberg (2004)
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 (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)
Papadopoulos, Y., Parker, D., Grante, C.: A method and tool support for model-based semiautomated Failure Modes and Effects Analysis of engineering designs. In: 9th Australian Workshop Safety Critical Programmable Systems (SCS 2004), Brisbane, Conferences in Research and Practice in Information Technology. Australian Computer Society, vol. 38 (2004)
Papadopoulos, Y., Maruhn, M.: Model-based Automated Synthesis of Fault Trees from Simulink models. In: Int’l Conf. on Dependable Systems and Networks, pp. 77–82 (2001)
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, New York (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)
Vestal, S.: MetaH Programmer’s Manual, Version 1.09. Technical Report, Honeywell Technology Center (April 1996)
Villemeur, A.: Reliability, Availability, Maintainability, and Safety Assessment. John Wiley and Sons, Chichester (2000) ISBN: 0-47193-048-2
Zimmermann, A., German, R., Freiheit, J., Hommel, G.: TimeNET 3.0 Tool Description. In: Int. Conf. on Petri Nets and Performance Models (PNPM 1999), Zaragoza, Spain (1999)
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., Papadopoulos, Y. (2005). Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations. In: Heineman, G.T., Crnkovic, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds) Component-Based Software Engineering. CBSE 2005. Lecture Notes in Computer Science, vol 3489. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11424529_3
Download citation
DOI: https://doi.org/10.1007/11424529_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25877-3
Online ISBN: 978-3-540-32049-4
eBook Packages: Computer ScienceComputer Science (R0)