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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Kelly, T.: Arguing safety—a systematic approach to managing safety cases. Ph.D. thesis, University of York (1998)
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)
Despotou, G.T.K.: Design and development of dependability case architecture during system development. In: 25th International System Safety Conference, Baltimore, USA (2007)
Tokoro, M.: Open Systems Dependability: Dependability Engineering for Ever-Changing Systems. CRC Press, Florida (2012)
Yamamoto, S., Matsuno, Y.: d* framework: Inter-dependency model for dependability. In: DSN 2012 (2012)
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)
van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, N.Y (2009)
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)
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)
McDermid, J.: Software safety: Where’s the evidence? In: 6th Australian Workshop on Safety Critical Systems and Software, pp. 1–6. Brisbane, Australia (2001)
Iain, B., Kelly, T.: Architectural considerations in the certification of modular systems. Reliab. Eng. Syst. Saf. 81(3), 303–324 (2003)
Kelly, T., Weaver, R.: The goal structuring notation—a safety argument notation. In: Dependable Systems and Networks 2004 Workshop on Assurance Cases (2004)
Despotou, G., Kelly, T.: Extending the safety case concept to address dependability. In: 22nd International System Safety Conference (2004)
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)
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)
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)
Baxter, G., Sommerville, I.: Socio-technical systems engineering handbook. http://archive.cs.st-andrews.ac.uk/STSE-Handbook/FullHandbook.pdf (2012)
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)
Boness, K.D., Harrison, R.: Goal sketching with activity diagrams. In: Software Engineering Advances, ICSEA ‘08. 3rd International Conference, pp. 277–283 (2008)
Strens, R., Dobson, J.: Responsibility modelling as a technique for organisational requirements definition. Intell. Syst. Eng. 3(1), 20–26 (1994)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights 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)