D-Case Steps: New Steps for Writing Assurance Cases
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 , 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 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.
- 1.Adelard: Adelard Safety Case Development Manual. Adelard (1998)Google Scholar
- 2.Assurance Case Working Group: Goal structuring notation community standard version 2, January 2018. https://scsc.uk/r141B:1
- 4.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)Google Scholar
- 5.European Organisation for the Safety of Air Navigation: Safety case development manual, European Air Traffic Management (2006)Google Scholar
- 6.Goodenough, J.B., Weinstock, C.B., Klein., A.Z.: Toward a theory of assurance case confidence. Technical report, Carnegie Mellon (2012)Google Scholar
- 8.Kelly, T.: Arguing safety - a systematic approach to safety case management. Ph.D. thesis, Department of Computer Science, University of York (1998)Google Scholar
- 11.Weinstock, C.B.: Assurance cases, December 2008. http://www.seas.upenn.edu/~lee/09cis480/lec-AssuranceCasesTutorial.pdf