City Research Online

Tool Support for Assurance Case Building Blocks, Providing a Helping Hand with CAE

Netkachova, K., Netkachov, O. & Bloomfield, R. E. (2015). Tool Support for Assurance Case Building Blocks, Providing a Helping Hand with CAE. In: Lecture Notes in Computer Science, Computer Safety Reliability and Security. SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, 22-09-2015, Delft, Netherlands. doi: 10.1007/978-3-319-24249-1_6

Abstract

This paper presents a tool for structuring arguments in assurance cases. The tool is designed to support the methodology of Claims-Arguments-Evidence (CAE) Building Blocks that provides a series of archetypal CAE fragments to help structure cases more formally and systematically. It assists with the de-velopment and maintenance of structured assurance cases by providing facil-ities to manage CAE blocks and partially automate the generation of claim structures. In addition to the tool, new visual guidelines called “Helping hand” is provided to assist in applying the building blocks. The tool has been implemented on the Adelard ASCE platform. The target users are assurance case developers and reviewers. The tool and associated methodology can also be useful for people learning how to structure cases in a more rigorous and systematic manner.

Publication Type: Conference or Workshop Item (Paper)
Additional Information: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-24249-1_6
Publisher Keywords: Claims, argument, evidence, CAE building blocks, helping hand, ASCE tool, support
Subjects: T Technology > TH Building construction
Departments: School of Science & Technology > Engineering
[thumbnail of Assure2015_Netkachova_et_al.pdf]
Preview
Text - Accepted Version
Download (669kB) | Preview

Export

Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login