Title :
Building Blocks for Assurance Cases
Author :
Bloomfield, Robin ; Netkachova, Kateryna
Author_Institution :
City Univ. London & Adelard LLP, London, UK
Abstract :
The paper introduces an approach to structuring assurance cases using specially-designed CAE building blocks. The blocks are derived from an empirical analysis of the real case structures and can standardise the presentation of assurance cases by simplifying their architecture. CAE building blocks might also increase the precision and efficiency of the claims in arguments and can be used as self-contained reusable components of formal and semi-formal assurance cases.
Keywords :
object-oriented programming; software reusability; CAE building blocks; claims arguments and evidence; self-contained reusable components; semiformal assurance cases; Abstracts; Cognition; Computer aided engineering; Context; Grammar; Safety; Semantics; CAE building blocks; argument; argument strategies; assurance cases; claims; evidence;
Conference_Titel :
Software Reliability Engineering Workshops (ISSREW), 2014 IEEE International Symposium on
Conference_Location :
Naples
DOI :
10.1109/ISSREW.2014.72
