Skip to main content
SpringerLink
Log in

Developing Safety-Critical Systems with UML

  • Conference paper
«UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications (UML 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2863))

Included in the following conference series:

Abstract

Safety-critical 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.

We show how one can use UML for model-based development of safety-critical systems with the aim to increase the quality of the developed systems without an unacceptable increase in cost and time-to-market. Specifically, we describe how to use the UML extension mechanisms to include safety-requirements in a UML model which is then analyzed for satisfaction of the requirements. The approach can thus be used to encapsulate safety engineering knowledge. It is supported by a prototypical XMI-based tool performing the analysis.

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. Börger, E., Cavarra, A., Riccobene, E.: Modeling the dynamics of UML State Machines. In: Gurevich, Y., Kutter, P.W., Odersky, M., Thiele, L. (eds.) ASM 2000. LNCS, vol. 1912, pp. 223–241. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  2. Blotz, A., Huber, F., Lötzbeyer, H., Pretschner, A., Slotosch, O., Zängerl, H.P.: Model-based software engineering and Ada: Synergy for the development of safety-critical systems. In: Ada Deutschland 2002 (2002)

    Google Scholar 

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

    Google Scholar 

  4. Helmer, G.: Safety checklist for four-variable requirements methods. Technical Report 98-01, Iowa State University Department of Computer Science (1998)

    Google Scholar 

  5. Hansen, K., Gullesen, I.: Utilizing UML and patterns for safety critical systems. In: Jürjens et al. [JCF + 02]

    Google Scholar 

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

  7. Jürjens, J., Cengarle, V., Fernandez, E., Rumpe, B., Sandner, R. (eds.): Critical Systems Development with UML, number TUM-I 0208 in TUM technical report, UML 2002 satellite workshop proceedings (2002)

    Google Scholar 

  8. Jürjens, J.: Critical Systems Development with UML. In: Forum on Design Languages, Marseille, September 24–27 (2002); European Electronic Chips & Systems design Initiative (ECSI) (invited talk)

    Google Scholar 

  9. Jürjens, J.: Critical Systems Development with UML. In: Series of tutorials at 20 international conferences including SAFECOMP, ETAPS 2003, Formal Methods Europe (2003), http://www4.in.tum.de/~juerjens/csdumltut

  10. Jürjens, J.: Developing safety- and security-critical systems with UML. In: DARP workshop, Loughborough, May 7-8 (2003) (invited talk)

    Google Scholar 

  11. Jürjens, J.: Secure Systems Development with UML. Springer, Heidelberg (2003) (in preparation)

    Google Scholar 

  12. Lano, K., Clark, D., Androutsopoulos, K., Kan, P.: Invariant-based synthesis of fault-tolerant systems. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol. 1926, pp. 46–57. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  13. Lutz, R.: Targeting safety-related errors during software requirements analysis. The Journal of Systems and Software 34, 223–230 (1996)

    Article  Google Scholar 

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

  15. 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 

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

    Article  Google Scholar 

  17. Santander, V., Castro, J.: Deriving use cases from organizational modeling. In: RE 2002, pp. 32–42 (2002)

    Google Scholar 

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

  19. Stevens, P., Pooley, R.: Using UML. Addison-Wesley, Reading (2000)

    Google Scholar 

  20. Selic, B., Rumbaugh, J.: Using UML for modeling complex real-time systems (1998)

    Google Scholar 

  21. UML Revision Task Force. OMG UML Specification v. 1.4. OMG Document ad/01-09-67 (2001), Available at http://www.omg.org/uml

  22. van Lamsweerde, A.: Goal-oriented requirements engineering: A guided tour. In: RE 2001 - 5th IEEE International Symposium on Requirements Engineering, Toronto, August 2001, pp. 249–263 (2001) (invited paper)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software & Systems Engineering, TU Munich, Germany

    Jan Jürjens

Authors
  1. Jan Jürjens
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Informatics, University of Edinburgh,  

    Perdita Stevens

  2. Computing Department - InfoLab21, Lancaster University, LA1 4WA, Lancaster, UK

    Jon Whittle

  3. IBM Rational, P.O. Box 9027, CO 80301-9027, Boulder, USA

    Grady Booch

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jürjens, J. (2003). Developing Safety-Critical Systems with UML. In: Stevens, P., Whittle, J., Booch, G. (eds) «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications. UML 2003. Lecture Notes in Computer Science, vol 2863. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45221-8_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-45221-8_31

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20243-1

  • Online ISBN: 978-3-540-45221-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation