Skip to main content
SpringerLink
Log in

A UML Profile for Requirements Analysis of Dependable Software

  • Conference paper
Computer Safety, Reliability, and Security (SAFECOMP 2010)

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

Included in the following conference series:

Abstract

At Safecomp 2009, we presented a foundation for requirements analysis of dependable software. We defined a set of patterns for expressing and analyzing dependability requirements, such as confidentiality, integrity, availability, and reliability. The patterns take into account random faults as well as certain attacks and therefore support a combined safety and security engineering.

In this paper, we demonstrate how the application of our patterns can be tool supported. We present a UML profile allowing us to express the different dependability requirements using UML diagrams. Integrity conditions are expressed using OCL. We provide tool support based on the Eclipse development environment, extended with an EMF-based UML tool, e.g., Papyrus UML. We illustrate how to use the profile to model dependability requirements of a cooperative adaptive cruise control 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. Common Methodology for Information Technology Security Evaluation (August 2005), http://www.commoncriteriaportal.org/public/expert/

  2. Common Criteria for Information Technology Security Evaluation, Version 3.1 (September 2006), http://www.commoncriteriaportal.org/public/expert/

  3. Eclipse - An Open Development Platform (May 2008), http://www.eclipse.org/

  4. Eclipse Modeling Framework Project (EMF) (May 2008), http://www.eclipse.org/modeling/emf/

  5. Papyrus UML Modelling Tool (January 2010), http://www.papyusuml.org/

  6. Charfi, A., Gamatié, A., Honoré, A., Dekeyser, J.-L., Abid, M.: Validation de modèles dans un cadre d’IDM dédié à la conception de systèmes sur puce. In: 4èmes Jounées sur l’Ingénierie Dirigée par les Modèles, IDM 2008 (2008)

    Google Scholar 

  7. Hall, J.G., Rapanotti, L., Jackson, M.: Problem frame semantics for software development. Software and System Modeling 4(2), 189–198 (2005)

    Article  Google Scholar 

  8. Hatebur, D., Heisel, M.: A foundation for requirements analysis of dependable software. In: Buth, B., Rabe, G., Seyfarth, T. (eds.) SAFECOMP 2009. LNCS, vol. 5775, pp. 311–325. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  9. Hatebur, D., Heisel, M.: A UML profile for requirements analysis of dependable software (technical report). Technical report, Universität Duisburg-Essen (2010), http://swe.uni-due.de/techrep/depprofile.pdf

  10. Hatebur, D., Heisel, M., Schmidt, H.: A pattern system for security requirements engineering. In: Werner, B. (ed.) IEEE Transactions Proceedings of the International Conference on Availability, Reliability and Security (AReS), pp. 356–365. IEEE, Los Alamitos (2007)

    Chapter  Google Scholar 

  11. International Electrotechnical Commission IEC. Functional safety of electrical/electronic/programmable electronic safty-relevant systems (2000)

    Google Scholar 

  12. Jackson, M.: Problem Frames. Analyzing and structuring software development problems. Addison-Wesley, Reading (2001)

    Google Scholar 

  13. Lencastre, M., Botelho, J., Clericuzzi, P., Araújo, J.: A meta-model for the problem frames approach. In: WiSME 2005: 4th Workshop in Software Modeling Engineering (2005)

    Google Scholar 

  14. Seater, R., Jackson, D., Gheyi, R.: Requirement progression in problem frames: deriving specifications from requirements. Requirements Engineering 12(2), 77–102 (2007)

    Article  Google Scholar 

  15. UML Revision Task Force. OMG Object Constraint Language: Reference (May 2006), http://www.omg.org/docs/formal/06-05-01.pdf

  16. UML Revision Task Force. OMG Systems Modeling Language (OMG SysML) (November 2008), http://www.omg.org/spec/SysML/1.1/

  17. UML Revision Task Force. OMG Unified Modeling Language: Superstructure (February 2009), http://www.omg.org/docs/formal/09-02-02.pdf

Download references

Author information

Authors and Affiliations

  1. Universität Duisburg-Essen, Germany, Fakultät für Ingenieurwissenschaften

    Denis Hatebur & Maritta Heisel

  2. Institut für technische Systeme GmbH, Germany

    Denis Hatebur

Authors
  1. Denis Hatebur
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maritta Heisel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Safety and Security Department, AIT Austrian Institute of Technology GmbH, Donau-City-Str. 1, 1220, Vienna, Austria

    Erwin Schoitsch

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hatebur, D., Heisel, M. (2010). A UML Profile for Requirements Analysis of Dependable Software. In: Schoitsch, E. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2010. Lecture Notes in Computer Science, vol 6351. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15651-9_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15651-9_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15650-2

  • Online ISBN: 978-3-642-15651-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation