Skip to main content

An Extended Dependability Case to Share Responsibility Knowledge

  • Chapter
  • First Online:
Intelligent Decision Technology Support in Practice

Part of the book series: Smart Innovation, Systems and Technologies ((SIST,volume 42))

  • 716 Accesses

Abstract

Recently, critical incidents have occurred in complex Information Technology (IT) systems . Thus, how to confirm the dependability of a system using dependability cases is becoming necessary. Information related to dependability is important knowledge that must be shared among stakeholders. However, in the previous methods used to describe dependability cases, the relationship between a dependability claim and responsibility cannot be clearly specified. Thus, the cause investigation cannot be completed at the occurrence of the incident, since system knowledge could not fully be utilized. In this chapter, the d* framework is proposed to define the responsibility attributes for sharing knowledge and achieving agreements among stakeholders. The d* framework extends the dependability case to add an agent and an actor to the dependability case representing the responsibility attribute. A Meta model for the extended dependability case is also shown. Moreover, to show the effectiveness of the d* framework, three example applications are described.

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

Access this chapter

eBook
USD 16.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover 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

References

  1. Kelly, T.: Arguing safety—a systematic approach to managing safety cases. Ph.D. thesis, University of York (1998)

    Google Scholar 

  2. Kelly, T.: Using software architecture techniques to support the modular certification of safety-critical systems. In: 11th Australian Workshop on Safety Critical Systems and Software, pp. 53–65. Australia (2005)

    Google Scholar 

  3. Despotou, G.T.K.: Design and development of dependability case architecture during system development. In: 25th International System Safety Conference, Baltimore, USA (2007)

    Google Scholar 

  4. Tokoro, M.: Open Systems Dependability: Dependability Engineering for Ever-Changing Systems. CRC Press, Florida (2012)

    Book  Google Scholar 

  5. Yamamoto, S., Matsuno, Y.: d* framework: Inter-dependency model for dependability. In: DSN 2012 (2012)

    Google Scholar 

  6. Despotou, G., Kelly, T.: Extending safety deviation analysis techniques to elicit flexible dependability requirements. In: System Safety, 2006. 1st Institution of Engineering and Technology International Conference, pp. 29–38 (2006)

    Google Scholar 

  7. van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, N.Y (2009)

    Google Scholar 

  8. van Lamsweerde, A., Letier, E.: Integrating obstacles in goal-driven requirements engineering. In: 20th International Conference on Software Engineering—Forging New Links (ICSE 98), pp. 53–62. Kyoto, Japan (1998)

    Google Scholar 

  9. Sommerville, I., Lock, R., Storer, T., Dobson, J.: Deriving information requirements from responsibility models. In: 21st International Conference on Advanced Information Systems Engineering, pp. 515–529. Amsterdam, The Netherlands (2009)

    Google Scholar 

  10. McDermid, J.: Software safety: Where’s the evidence? In: 6th Australian Workshop on Safety Critical Systems and Software, pp. 1–6. Brisbane, Australia (2001)

    Google Scholar 

  11. Iain, B., Kelly, T.: Architectural considerations in the certification of modular systems. Reliab. Eng. Syst. Saf. 81(3), 303–324 (2003)

    Article  Google Scholar 

  12. Kelly, T., Weaver, R.: The goal structuring notation—a safety argument notation. In: Dependable Systems and Networks 2004 Workshop on Assurance Cases (2004)

    Google Scholar 

  13. Despotou, G., Kelly, T.: Extending the safety case concept to address dependability. In: 22nd International System Safety Conference (2004)

    Google Scholar 

  14. Avizienis, A., Laprie, J., Randall, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11–33 (2004)

    Article  Google Scholar 

  15. Yu, E.S.K.: Towards modeling and reasoning support for early-phase requirements engineering. In: 3rd IEEE International Symposium on Requirements Engineering, pp. 226–235 (1997)

    Google Scholar 

  16. Greenwood, D., Sommerville, I.: Responsibility modelling for the sociotechnical risk analysis of coalitions of systems. In: IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp. 1256–1261 (2011)

    Google Scholar 

  17. Baxter, G., Sommerville, I.: Socio-technical systems engineering handbook. http://archive.cs.st-andrews.ac.uk/STSE-Handbook/FullHandbook.pdf (2012)

  18. Feltus, C., Petit, M.: Building a responsibility model including accountability, capability and commitment. In: Availability, Reliability and Security, ARES ‘09. International Conference, pp. 412–419. Fukuoka, Japan (2009)

    Google Scholar 

  19. Boness, K.D., Harrison, R.: Goal sketching with activity diagrams. In: Software Engineering Advances, ICSEA ‘08. 3rd International Conference, pp. 277–283 (2008)

    Google Scholar 

  20. Strens, R., Dobson, J.: Responsibility modelling as a technique for organisational requirements definition. Intell. Syst. Eng. 3(1), 20–26 (1994)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to T. Saruwatari .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Saruwatari, T., Hoshino, T., Yamamoto, S. (2016). An Extended Dependability Case to Share Responsibility Knowledge. In: Tweedale, J., Neves-Silva, R., Jain, L., Phillips-Wren, G., Watada, J., Howlett, R. (eds) Intelligent Decision Technology Support in Practice. Smart Innovation, Systems and Technologies, vol 42. Springer, Cham. https://doi.org/10.1007/978-3-319-21209-8_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-21209-8_12

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-21208-1

  • Online ISBN: 978-3-319-21209-8

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics