Advertisement

An Extended Dependability Case to Share Responsibility Knowledge

  • T. Saruwatari
  • T. Hoshino
  • S. Yamamoto
Chapter
Part of the Smart Innovation, Systems and Technologies book series (SIST, volume 42)

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.

Keywords

Reliability Dependability case d* framework 

References

  1. 1.
    Kelly, T.: Arguing safety—a systematic approach to managing safety cases. Ph.D. thesis, University of York (1998)Google Scholar
  2. 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. 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. 4.
    Tokoro, M.: Open Systems Dependability: Dependability Engineering for Ever-Changing Systems. CRC Press, Florida (2012)CrossRefGoogle Scholar
  5. 5.
    Yamamoto, S., Matsuno, Y.: d* framework: Inter-dependency model for dependability. In: DSN 2012 (2012)Google Scholar
  6. 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. 7.
    van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, N.Y (2009)Google Scholar
  8. 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. 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. 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. 11.
    Iain, B., Kelly, T.: Architectural considerations in the certification of modular systems. Reliab. Eng. Syst. Saf. 81(3), 303–324 (2003)CrossRefGoogle Scholar
  12. 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. 13.
    Despotou, G., Kelly, T.: Extending the safety case concept to address dependability. In: 22nd International System Safety Conference (2004)Google Scholar
  14. 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)CrossRefGoogle Scholar
  15. 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. 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. 17.
    Baxter, G., Sommerville, I.: Socio-technical systems engineering handbook. http://archive.cs.st-andrews.ac.uk/STSE-Handbook/FullHandbook.pdf (2012)
  18. 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. 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. 20.
    Strens, R., Dobson, J.: Responsibility modelling as a technique for organisational requirements definition. Intell. Syst. Eng. 3(1), 20–26 (1994)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Graduate School of Information ScienceNagoya UniversityNagoyaJapan
  2. 2.Software Innovation Center NTTKonan, Minato-ku, TokyoJapan
  3. 3.Strategy Office, Information and Communications HeadquartersNagoya UniversityNagoyaJapan

Personalised recommendations