Skip to main content
SpringerLink
Log in

Component-Based Development of Dependable Systems with UML

  • Chapter
Book cover Component-Based Software Development for Embedded Systems

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

Abstract

Dependable systems have to be developed carefully to prevent loss of life and resources due to system failures. Some of their mechanisms (for example, providing fault-tolerance) can be complicated to design and use correctly in the system context and are thus error-prone. This chapter gives an overview of reliability-related analyzes for the design of component-based software systems. This enables the identification of failure-prone components using complexity metrics and the operational profile, and the checking of reliability requirements using stereotypes. We report on the implementation of checks in a tool inside a framework for tool-supported development of reliable systems with UML and two case studies to validate the metrics and checks.

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. Atkinson, C., Bunse, C., Wüst, J.: Driving component-based software development through quality modelling. In: Cechich, A., Piattini, M., Vallecillo, A. (eds.) Component-Based Software Quality. LNCS, vol. 2693, pp. 207-224. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  2. Basili, V.R., Briand, L.C., Melo, W.L.: A Validation of Object-Oriented Design Metrics as Quality Indicators. IEEE Trans. Software Eng. 22(10), 751-761 (1996)

    Article  Google Scholar 

  3. Bharadwaj, R., Heitmeyer, C.: Developing high assurance avionics systems with the SCR requirements method. In: 19th Digital Avionics Systems Conference (2000)

    Google Scholar 

  4. Blundell, J.K., Hines, M.L., Stach, J.: The Measurement of Software Design Quality. Annals of Software Engineering 4, 235–255 (1997)

    Article  Google Scholar 

  5. Bondavalli, M., Dal Cin, D., Latella, I., Majzik, A.: Dependability analysis in the early phases of UML based system design. Journal of Computer Systems Science and Engineering 16, 265-275 (2001)

    Google Scholar 

  6. Card, D.N., Agresti, W.W.: Measuring Software Design Complexity. The Journal of Systems and Software 8, 185–197 (1988)

    Article  Google Scholar 

  7. Chidamber, S.R., Kemerer, C.F.: AMetrics Suite for Object Oriented Design. IEEE Trans. Software Eng. 20(6), 476–493 (1994)

    Article  Google Scholar 

  8. Dutertre, B., Stavridou, V.: A model of noninterference for integrating mixed-criticality software components. In: DCCA, San Jose, CA (January 1999)

    Google Scholar 

  9. Mayday: System Specifications. The ENTERPRISE Program (1997) (October 2004), Available at http://enterprise.prog.org/completed/ftp/mayday-spe.pdf

  10. Colorado Mayday Final Report. The ENTERPRISE Program (1998) (October 2004), Available at http://enterprise.prog.org/completed/ftp/maydayreport.pdf

  11. Fenton, N.E., Pfleeger, S.L.: A Rigorous Practical Approach, 2nd edn. International Thomson Publishing (1997)

    Google Scholar 

  12. Halstead, M.H.: Elements of Software Science. Elsevier, North-Holland, Amsterdam (1977)

    MATH  Google Scholar 

  13. Hansen, K., Gullesen, I.: Utilizing UML and patterns for safety critical systems. In: Jürjens et al. [22], pp. 147–154

    Google Scholar 

  14. Heiner, M., Heisel, M.: Modeling safety-critical systems with Z and Petri Nets. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 361-374. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  15. Heitmeyer, C., Jeffords, R., Labaw, B.: Automated consistency checking of requirements specifications. ACM Trans. on Software Eng. and Methodology 5(3), 231-261 (1996)

    Article  Google Scholar 

  16. Henry, S., Kafura, D.: Software Structure Metrics Based on Information Flow. IEEE Trans. Software Engineering 7, 510-518 (1981)

    Article  Google Scholar 

  17. Henry, S., Selig, C.: Predicting Source-Code Complexity at the Design Stage. IEEE Software 7, 36-44 (1990)

    Article  Google Scholar 

  18. Huber, F., Schätz, B., Schmidt, A., Spies, K.: AutoFocus: A tool for distributed systems specification. In: Jonsson, B., Parrow, J. (eds.) FTRTFT 1996. LNCS, vol. 1135, pp. 467–470. Springer, Heidelberg (1996)

    Google Scholar 

  19. Jürjens, J.: Critical systems development with UML and model-based testing. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol. 2788, Springer, Heidelberg (2003)

    Google Scholar 

  20. Jürjens, J.: Developing safety-critical systems with UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 360–372. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  21. Jürjens, J.: Secure Systems Development with UML. Springer, Heidelberg (2004)

    Google Scholar 

  22. Jürjens, J., Cengarle, V., Fernandez, E.B., Rumpe, B., Sandner, R. (eds.): Critical Systems Development with UML, number TUM-I0208 in TU München Technical Report, UML 2002 satellite workshop proceedings (2002)

    Google Scholar 

  23. J. Jürjens, B. Rumpe, R. France, and E.B. Fernandez, editors. Critical Systems Development with UML, number TUM-I0317 in TU München Technical Report, 2003. UML’03 satellite workshop proceedings.

    Google Scholar 

  24. Jürjens, J., Rumpe, B., France, R., Fernandez, E.B. (eds.): Third International Workshop on Critical Systems Development with UML, TUMünchen Technical Report, UML 2004 satellite workshop proceedings (2004)

    Google Scholar 

  25. Khoshgoftaar, T.M., Woodcock, T.G.: Predicting Software Development Errors Using Software Complexity Metrics. IEEE Journal on Selected Areas in Communications 8(2), 253-261 (1990)

    Article  Google Scholar 

  26. Lano, K., Clark, D., Androutsopoulos, K.: Safety and Security Analysis of Object-Oriented Models. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol. 2434, pp. 82-93. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  27. Liggesmeyer, P., Maeckel, O.: Quantifying the reliability of embedded systems by automated analysis. In: International Conference on Dependable Systems and Networks (DSN 2001), pp. 89-96. IEEE Computer Society Press, Los Alamitos (2001)

    Chapter  Google Scholar 

  28. Mayer, T., Hall, T.: A Critical Analysis of Current OO Design Metrics. Software Quality Journal 8, 97-110 (1999)

    Article  Google Scholar 

  29. McCabe, T.J.: A Complexity Measure. IEEE Trans. Software Engineering 5, 45–50 (1976)

    Google Scholar 

  30. Melton, D., Gustafson, J., Bieman, A., Baker, A.: A Mathematical Perspective for Software Measures Research. IEE/BCS Software Engineering Journal 5, 246–254 (1990)

    Article  Google Scholar 

  31. MOST Cooperation. MOST Media Oriented System Transport—Multimedia and Control Networking Technology. MOST Specification Rev. 2.3 (August 2004)

    Google Scholar 

  32. Munson, J.C., Khoshgoftaar, T.M.: Software Metrics for Reliability Assessment. In: Lyu, M.R. (ed.) Handbook of Software Reliability Engineering. ch. 12, IEEE Computer Society Press, Los Alamitos (1996)

    Google Scholar 

  33. Musa, J.D.: Software Reliability Engineering. McGraw-Hill, New York (1999)

    Google Scholar 

  34. Musa, J.D., Iannino, A., Okumoto, K.: Software Reliability: Measurement, Prediction, Application. McGraw-Hill, New York (1987)

    Google Scholar 

  35. Object Management Group. UML 2.0 Superstructure Final Adopted specification, OMG Document ptc/03-08-02 (August 2003)

    Google Scholar 

  36. Pap, Z., Majzik, I., Pataricza, A.: Checking general safety criteria on UML statecharts. In: Voges, U. (ed.) SAFECOMP 2001. LNCS, vol. 2187, pp. 46-55. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  37. Prenninger, W., Pretschner, A.: Abstractions forModel-Based Testing. In: Pezze, M. (ed.) Proc. Test and Analysis of Component-based Systems, TACoS 2004 (2004)

    Google Scholar 

  38. Pretschner, A., Prenninger, W., Wagner, S., Kühnel, C., Baumgartner, M., Sostawa, B., Zölch, R., Stauner, T.: Zölch, and T. Stauner. One Evaluation of Model-Based Testing and its Automation. In: Proc. 27th International Conference on Software Engineering, ICSE (2005) (to appear)

    Google Scholar 

  39. Randimbivololona, F.: Orientations in verification engineering of avionics software. In: Wilhelm, R. (ed.) Informatics – 10 Years Back, 10 Years Ahead, LNCS, pp. 131-137. Springer, Heidelberg (2000)

    Google Scholar 

  40. Rosenberg, L., Hammer, T., Shaw, J.: Software Metrics and Reliability. In: Proc. 9th International Symposium on Software Reliability Engineering (ISSRE 1998), IEEE, Los Alamitos (1998)

    Google Scholar 

  41. Rushby, J.: Critical system properties: Survey and taxonomy. Reliability Engineering and System Safety 43(2), 189-219 (1994)

    Article  Google Scholar 

  42. Selic, B.: Physical programming: Beyond mere logic. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, pp. 399-406. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  43. Selic, B., Gullekson, G., Ward, P.T.: Real-Time Object-Oriented Modeling. John Wiley & Sons, Chichester (1994)

    MATH  Google Scholar 

  44. Selic, B., Rumbaugh, J.: Using UML for modeling complex real-time systems (1998), Available at http://www-106.ibm.com/developerworks/rational/library/

  45. Wagner, S.: Efficiency Analysis of Defect-Detection Techniques. Technical Report TUMI- 0413, Institut für Informatik, Technische Universität München (2004)

    Google Scholar 

  46. Wagner, S.: Reliability Efficiency of Defect-Detection Techniques: A Field Study. In: Suppl. Proc. 15th IEEE International Symposium on Software Reliability Engineering, ISSRE 2004 (2004)

    Google Scholar 

  47. Wagner, S., Jürjens, J.: Model-Based Identification of Fault-Prone Components. Draft

    Google Scholar 

  48. Wang, W.-L., Wu, Y., Chen, M.-H.: An Architecture-Based Software Reliability Model. In: Proc. Pacific Rim International Symposium on Dependable Computing (PRDC 1999), pp. 143–150 (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software & Systems Engineering, Technische Universität München, Boltzmannstr. 3, D-85748, Garching, Germany

    Jan Jürjens & Stefan Wagner

Authors
  1. Jan Jürjens
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Stefan Wagner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Chair of Software Technology, University Mannheim, A5, 6 B, 68131, Mannheim, Germany

    Colin Atkinson

  2. Fraunhofer IESE, Fraunhoferplatz 1, D-67663, Kaiserslautern, Germany

    Christian Bunse

  3. Embedded Software Laboratory, Delft University of Technology, Mekelweg 4, 2628 CD, Delft, The Netherlands

    Hans-Gerhard Gross

  4. Fraunhofer Institute Experimental Software Engineering, Kaiserslautern, Germany

    Christian Peper

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Jürjens, J., Wagner, S. (2005). Component-Based Development of Dependable Systems with UML. In: Atkinson, C., Bunse, C., Gross, HG., Peper, C. (eds) Component-Based Software Development for Embedded Systems. Lecture Notes in Computer Science, vol 3778. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11591962_16

Download citation

  • DOI: https://doi.org/10.1007/11591962_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-30644-3

  • Online ISBN: 978-3-540-31614-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation