Skip to main content
SpringerLink
Log in

Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM

  • Conference paper
Quality of Software Architectures (QoSA 2006)

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

Included in the following conference series:

Abstract

To deliver complex functionalities in a cost effective manner, embedded software should ideally be developed with standardized interoperable components. At the same time, most of these embedded systems must be demonstrably safe and reliable. This paper aims to extend SaveCCM, a modelling language for component-based embedded systems, with standard safety evaluation models. Based on this extension, failure and hazard probabilities can be estimated early in the development process and can be used to check if a system can fulfil its safety requirements. The procedure of the safety evaluation is demonstrated with the case study of a computer assisted braking system.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • 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.

References

  1. Laprie, J.C. (ed.): Dependability: basic concepts and terminology. Springer, Heidelberg (1992)

    MATH  Google Scholar 

  2. Lee, E.A.: 2. In: Embedded Software. Advances in Computers, vol. 56, pp. 56–97. Academic Press, London (2002)

    Google Scholar 

  3. Hissam, S.A., Moreno, G.A., Stafford, J.A., Wallnau, K.C.: Packaging Predictable Assembly. In: Bishop, J.M. (ed.) CD 2002. LNCS, vol. 2370, pp. 108–124. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  4. PtolemyII: PtolemyII project website (2006), http://ptolemy.eecs.berkeley.edu/ptolemyII/

  5. van Ommering, R., van der Linden, F., Jeff, K., Magee, J.: The Koala component model for consumer electronics software. Computer 33(3), 78–85 (2000)

    Article  Google Scholar 

  6. Hansson, H., Åkerholm, M., Crnkovic, I., Törngren, M.: SaveCCM - A component model for safety-critical real-time systems. In: 30th EUROMICRO Conference 2004, Rennes, France, August 31- September 3, pp. 627–635. IEEE Computer Society, Los Alamitos (2004)

    Chapter  Google Scholar 

  7. Carlson, J., Håkansson, J., Pettersson, P.: SaveCCM: An analysable component model for real-time systems. In: International Workshop on Formal Aspects of Component Software, Macao, Elsevier, Amsterdam (2005)

    Google Scholar 

  8. Alur, R.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  9. Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. International Journal on Software Tools for Technology Transfer 1, 134–152 (1997)

    Article  MATH  Google Scholar 

  10. Möller, A., Peake, I., Nolin, M., Fredriksson, J., Schmidt, H.: Component-based context-dependent hybrid property prediction. In: ERCIM - Workshop on Dependable Software Intensive Embedded systems, Porto, Portugal, ERCIM (2005)

    Google Scholar 

  11. Birolini, A.: Reliability Engineering: Theory and Practice, 3rd edn. Springer, Heidelberg (1999)

    MATH  Google Scholar 

  12. Grunske, L., Kaiser, B., Reussner, R.: Specification and evaluation of safety properties in a component-based software engineering process. In: Atkinson, C., Bunse, C., Gross, H.-G., Peper, C. (eds.) Component-Based Software Development for Embedded Systems. LNCS, vol. 3778, pp. 249–274. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  13. Grunske, L., Kaiser, B., Papadopoulos, Y.: Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations. In: Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Szyperski, C.A., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 33–48. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  14. Elmqvist, J., Nadjm-Tehrani, S., Minea, M.: Safety Interfaces for Component-Based Systems. In: Winther, R., Gran, B.A., Dahll, G. (eds.) SAFECOMP 2005. LNCS, vol. 3688, pp. 246–260. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  15. Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design: An International Journal 15, 7–48 (1999)

    Article  Google Scholar 

  16. Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample-guided abstraction refinement. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  17. Fenelon, P., McDermid, J.A., Nicholson, M., Pumfrey, D.J.: Towards integrated safety analysis and design. ACM Computing Reviews 2, 21–32 (1994)

    Article  Google Scholar 

  18. 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, pp. 37–46 (2003)

    Google Scholar 

  19. Papadopoulos, Y., McDermid, J.A., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Int. Journal of Reliability Engineering and System Safety 71, 229–247 (2001)

    Article  Google Scholar 

  20. Papadopoulos, Y., Maruhn, M.: Model-based synthesis of fault trees from matlab-simulink models. In: 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS). Proceedings, Göteborg, Sweden, July 1-4, pp. 77–82. IEEE Computer Society, Los Alamitos (2001)

    Chapter  Google Scholar 

  21. 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), Erfurt, pp. 737–738 (2003)

    Google Scholar 

  22. Wallace, M.: Modular architectural representation and analysis of fault propagation and transformation. Electr. Notes Theor. Comput. Sci. 141(3), 53–71 (2005)

    Article  Google Scholar 

  23. Bondavalli, A., Simoncini, L.: Failure Classification with respect to Detection. Esprit Project Nr 3092 (PDCS: Predictably Dependable Computing Systems) (1990)

    Google Scholar 

  24. Grunske, L., Kaiser, B.: Automatic generation of analyzable failure propagation models from component-level failure annotations. In: Fifth International Conference on Quality Software (QSIC 2005), Melbourne, September 19-20, pp. 117–123. IEEE Computer Society, Los Alamitos (2005)

    Chapter  Google Scholar 

  25. Pumfrey, D.J.: The Principled Design of Computer System Safety Analyses. PhD thesis, Department of Computer Science, University of York (1999)

    Google Scholar 

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

  27. Lutz, R.R.: Software engineering for safety: a roadmap. In: ICSE - Future of SE Track, pp. 213–226 (2000)

    Google Scholar 

  28. IEC 61025 (International Electrotechnical Commission): Fault-Tree-Analysis (FTA) (1990)

    Google Scholar 

  29. Prasad, D.K.: Dependable Systems Intergration using Measurement Theory and Decision Analysis. PhD thesis, Department of Computer Science, University of York (1998)

    Google Scholar 

  30. Pumfrey, D., Nicholson, M.: Hazard Analysis of a Computer Assisted Braking System. In: Hazard Analysis Course for MSc in Safety Critical Systems (1996)

    Google Scholar 

  31. Nicholson, M.: Selecting a Topology for Safety-Critical Real-Time Control Systems. PhD thesis, Department of Computer Science, University of York (1998)

    Google Scholar 

  32. Musa, J.D., Iannino, A., Okumoto, K.: Software Reliability: Measurement, Prediction, Application. MacGraw-Hill, New York (1987); ACM CR 8712-0965

    Google Scholar 

  33. CENELEC (European Committee for Electro-technical Standardisation): CENELEC EN 50126: Railway Applications – the specification and demonstration of Reliability, Availability, Maintainability and Safety. CENELEC EN 50128: Railway Applications: Software for Railway Control and Protection Systems CENELEC, Brussels (2000)

    Google Scholar 

  34. Grunske, L.: Identifying ”good” architectural design alternatives with multi-objective optimization strategies. In: Osterweil, L.J., Rombach, H.D., Soffa, M.L. (eds.) 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, pp. 849–852. ACM, New York (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Information Technology and Electrical Engineering, ARC Centre for Complex Systems, University of Queensland, 4072, Brisbane (St.Lucia), Australia

    Lars Grunske

Authors
  1. Lars Grunske
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Lehigh University,  

    Christine Hofmeister

  2. School of Innovation, Design and Engineering, Mälardalen University, Västerås, Sweden

    Ivica Crnkovic

  3. Chair for Software Design and Quality, University of Karlsruhe (TH), Am Fasanengarten 5, 76131, Karlsruhe, Germany

    Ralf Reussner

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Grunske, L. (2006). Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM. In: Hofmeister, C., Crnkovic, I., Reussner, R. (eds) Quality of Software Architectures. QoSA 2006. Lecture Notes in Computer Science, vol 4214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11921998_17

Download citation

  • DOI: https://doi.org/10.1007/11921998_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-48819-4

  • Online ISBN: 978-3-540-48820-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation