Skip to main content

Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems

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

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

Included in the following conference series:

  • 607 Accesses

Abstract

In this paper we focus on modeling concepts for safety-critical sociotechnical systems. First we claim that there is a great need for model-based reasoning about sociotechnical safety-critical requirements in system design and management. After this we take our starting point from formal methods, requirements engineering, and software architecture. We provide special extensions for these methods which are well-suited for the special challenges of sociotechnical systems: structural dynamism, uncertainty and the behavioral relevance of cognitive parameters. We maintain the visual style of modeling concepts as known from software architecture and provide an easy to use notation for reasoning about the features of specific decision situations. Finally we provide concepts to deal with adaptive system behavior and human error.

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

Access this chapter

Subscribe and save

Springer+ Basic
$34.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
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

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. Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P.: The Description Logic Handbook. Theory, Implementation and Application. Cambridge Unversity Press, Cambridge (2003)

    Google Scholar 

  2. Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming 8, 231–274 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  3. Kacprzyk, J.: Multistage fuzzy control. Wiley, Chichester (1997)

    MATH  Google Scholar 

  4. Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic. Theory and Applications. Prentice Hall, Upper Saddle River (1995)

    MATH  Google Scholar 

  5. Leveson, N.: Safeware. System safety and computers. Addison Wesley, Reading (1995)

    Google Scholar 

  6. Lewis, D.: Convention: A Philosophical Study. Havard Univ. Pr., Cambridge (1969)

    Google Scholar 

  7. Mintzberg, H.: Structures in fives: designing effective organizations. Prentice Hall, Englewood Cliffs (1983)

    Google Scholar 

  8. Pepper, P., Cebulla, M., Didrich, K., Grieskamp, W.: From program languages to software languages. The Journal of Systems and Software 60 (2002)

    Google Scholar 

  9. Pepper, P., Frank, C., Holfelder, W., Jiang, D., Matylis, G.: Dynamic software architectures for a “sometimes somewhere” telematics concept. Technical report, Technische Universität Berlin (2003)

    Google Scholar 

  10. Pepper, P., Wirsing, M.: A method for the development of correct software. In: Jähnichen, S., Broy, M. (eds.) KORSO 1995. LNCS, vol. 1009, pp. 27–57. Springer, Heidelberg (1995)

    Google Scholar 

  11. Perrow, C.: Normal Accidents. Living with High-Risk Technologies. Basic Books, New York (1984)

    Google Scholar 

  12. Reason, J.: Human Error. Cambridge Univ. Pr., Cambridge (1990)

    Google Scholar 

  13. Shaw, M., Garlan, D.: Software Architecture. Perspectives on an emerging discipline. Prentice Hall, Upper Saddle River (1996)

    Google Scholar 

  14. Singh, M.P.: Multiagent Systems. A Theoretical Framework for Intentions, Know-how, and Communications. Springer, Heidelberg (1994)

    MATH  Google Scholar 

  15. Sperber, D., Wilson, D.: Relevance. Communication and cognition. Basil Blackwell, Oxford (1986)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cebulla, M. (2004). Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems. In: Heisel, M., Liggesmeyer, P., Wittmann, S. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2004. Lecture Notes in Computer Science, vol 3219. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30138-7_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-30138-7_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-23176-9

  • Online ISBN: 978-3-540-30138-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics