Abstract
An Assurance Case (AC) documents an argument that supports a claim made about a system. An effective Assurance Case provides adequate belief to stakeholders that the system under consideration adequately embodies specific critical properties, for example safety and security. Comprehensive evaluation of an AC is a necessary step in building this belief. This involves measuring confidence in the assurance case argument, but also includes an overall quality assessment of the AC. This paper describes essential components of a (safety) AC evaluation process using previously defined evaluation criteria. These criteria were classified as applying to either structure or content of the (safety) AC. Two example (safety) ACs are used to demonstrate the approach, and for brevity, we illustrate the examples using purely Goal Structuring Notation (GSN) and in a second example, a GSN-like notation.
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
ALTRAN-ATM Division, National Aerospace Laboratory NLR and AFI RVSM Project Management Team: AFI RVMS Pre-Implementation Safety Case, final edn., February 2008
Belle, A.B., Lethbridge, T.C., Kpodjedo, S., Adesina, O.O., Garzón, M.A.: A novel approach to measure confidence and uncertainty in assurance cases. In: 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW), pp. 24–33. IEEE (2019)
Bloomfield, R., Bishop, P., Jones, C., Froome, P.: ASCAD. Adelard Safety Case Development Manual. Adelard 5 (1998)
Chowdhury, T., Wassyng, A., Paige, R., Lawford, M.: Criteria to systematically evaluate (safety) assurance cases. In: 30th International Symposium on Software Reliability Engineering (ISSRE), pp. 380–390. IEEE (2019)
Group, A.C.W., et al.: Goal structuring notation community standard (version 2) (2018)
Hse, M.: Assessment Principles for Offshore Safety Cases (APOSC) (2006)
Kelly, T.P.: Arguing Safety–A Systematic Approach to Safety Case Management. The University of York, Department of Computer Science (1998)
Leveson, N.: Cost-effective safety certification of software-intensive systems. Seventh Software Certification Consortium (SCC), Annapolis, May 2011
Luo, Y., van den Brand, M., Li, Z., Saberi, A.K.: A systematic approach and tool support for GSN-based safety case assessment. J. Syst. Archit. 76, 1–16 (2017)
Mayo, P.: Structured safety case evaluation: a systematic approach to safety case review. In: Proceedings of the First IET International Conference on System Safety, pp. 164–173 (2006)
Toulmin, S.E.: The Uses of Argument. Cambridge University Press, Cambridge (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Chowdhury, T., Wassyng, A., Paige, R.F., Lawford, M. (2020). Systematic Evaluation of (Safety) Assurance Cases. In: Casimiro, A., Ortmeier, F., Bitsch, F., Ferreira, P. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2020. Lecture Notes in Computer Science(), vol 12234. Springer, Cham. https://doi.org/10.1007/978-3-030-54549-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-54549-9_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-54548-2
Online ISBN: 978-3-030-54549-9
eBook Packages: Computer ScienceComputer Science (R0)