Abstract
This paper presents D-Case Steps, new steps for writing assurance cases. Although the concept of assurance cases is simple, writing assurance cases is difficult: stating the top goal, selecting strategies for decomposing goals and setting evidence, etc. are all difficult. For this problem, based on conventional writing steps such as the six steps method by Kelly [8], we incorporate stakeholder analysis step and consensus building step. This paper reports two assurance case workshops using D-Case steps, and evaluates the D-Case steps by the results of questionaries done by the participants.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Adelard: Adelard Safety Case Development Manual. Adelard (1998)
Assurance Case Working Group: Goal structuring notation community standard version 2, January 2018. https://scsc.uk/r141B:1
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program. 20(1–2), 3–50 (1993)
Duan, L., Rayadurgam, S., Heimdahl, M.P.E., Sokolsky, O., Lee, I.: Representation of confidence in assurance cases using the beta distribution. In: 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, Orlando, 7–9 January 2016, pp. 86–93 (2016)
European Organisation for the Safety of Air Navigation: Safety case development manual, European Air Traffic Management (2006)
Goodenough, J.B., Weinstock, C.B., Klein., A.Z.: Toward a theory of assurance case confidence. Technical report, Carnegie Mellon (2012)
Graydon, P.J.: Towards a clearer understanding of context and its role in assurance argument confidence. In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol. 8666, pp. 139–154. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-10506-2_10
Kelly, T.: Arguing safety - a systematic approach to safety case management. Ph.D. thesis, Department of Computer Science, University of York (1998)
Matsuno, Y.: D-case communicator: a web based GSN editor for multiple stakeholders. In: Tonetta, S., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2017. LNCS, vol. 10489, pp. 64–69. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66284-8_6
Spriggs, J.: GSN—The Goal Structuring Notation. Springer, London (2012). https://doi.org/10.1007/978-1-4471-2312-5
Weinstock, C.B.: Assurance cases, December 2008. http://www.seas.upenn.edu/~lee/09cis480/lec-AssuranceCasesTutorial.pdf
Yu, E.S.: Social modeling and i*. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Conceptual Modeling: Foundations and Applications. LNCS, vol. 5600, pp. 99–121. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02463-4_7
Acknowledgements
This work has been supported by KAKENHI 17K12664, MEXT, Japan. We thank the participants of the first D-Case Steps workshop for introducing us the Smart Room Viewing example, and of the second workshop for their feedbacks. Also, we are grateful to DEOS D-Case meeting members for valuable discussions.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Onuma, Y., Takai, T., Koshiyama, T., Matsuno, Y. (2018). D-Case Steps: New Steps for Writing Assurance Cases. In: Gallina, B., Skavhaug, A., Schoitsch, E., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2018. Lecture Notes in Computer Science(), vol 11094. Springer, Cham. https://doi.org/10.1007/978-3-319-99229-7_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-99229-7_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-99228-0
Online ISBN: 978-3-319-99229-7
eBook Packages: Computer ScienceComputer Science (R0)