[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content

Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations

  • Conference paper
Component-Based Software Engineering (CBSE 2005)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 3489))

Included in the following conference series:

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

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
GBP 19.95
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
GBP 35.99
Price includes VAT (United Kingdom)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
GBP 44.99
Price includes VAT (United Kingdom)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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)

    Google Scholar 

  2. Birolini, A.: Reliability engineering: theory and practice. Springer, New York (1999)

    MATH  Google Scholar 

  3. Bondavalli, A., Simoncini, L.: Failure Classification with Respect to Detection. In: Predictably Dependable Computing Systems, Task B, May 1990, vol. 2 (1990)

    Google Scholar 

  4. Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers C-35(8), 677–691 (1986)

    Article  Google Scholar 

  5. 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)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. ESSaRel: Embedded Systems Safety and Reliability Analyser, The ESSaRel Research Project, Homepage http://www.essarel.de/index.html

  8. 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)

    Google Scholar 

  9. Fenelon, P., McDermid, J.A., Nicholson, M., Pumfrey, D.J.: Towards Integrated Safety Analysis and Design. ACM Applied Computing Review (1994)

    Google Scholar 

  10. 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)

    Google Scholar 

  11. IEC 61025: International Standard IEC 61025 Fault Tree Analysis. International Electrotechnical Commission. Geneva(1990)

    Google Scholar 

  12. 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)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Chapter  Google Scholar 

  15. Laprie, J.C. (ed.): Dependability: Basic Concepts and Associated Terminology. Dependable Computing and Fault-Tolerant Systems Series, vol. 5. Springer, Vienna (1992)

    Google Scholar 

  16. Meyer, B.: Applying design by contract. IEEE Computer 25(10), 40–51 (1992)

    Google Scholar 

  17. Musa, J.D., Iannino, A., Okumoto, K.: Software Reliability - Measurement, Prediction, Application. McGraw-Hill International Editions (1987)

    Google Scholar 

  18. 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)

    Article  Google Scholar 

  19. 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)

    Chapter  Google Scholar 

  20. 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)

    Google Scholar 

  21. 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)

    Google Scholar 

  22. Pumfrey, D.J.: The Principled Design of Computer System Safety Analyses, Dissertation, University of York (1999)

    Google Scholar 

  23. Reussner, R., Schmidt, H., Poernomo, I.: Reliability Prediction for Component-Based Software Architectures. Journal of Systems and Software 66(3), 241–252 (2003)

    Article  Google Scholar 

  24. Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. Wiley, New York (1994)

    MATH  Google Scholar 

  25. Szyperski, C.: Component Software. Beyond Object-Oriented Programming. ACM Press/Addison Wesley (1998)

    Google Scholar 

  26. 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)

    Google Scholar 

  27. Vestal, S.: MetaH Programmer’s Manual, Version 1.09. Technical Report, Honeywell Technology Center (April 1996)

    Google Scholar 

  28. Villemeur, A.: Reliability, Availability, Maintainability, and Safety Assessment. John Wiley and Sons, Chichester (2000) ISBN: 0-47193-048-2

    Google Scholar 

  29. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

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

Publish with us

Policies and ethics