• DocumentCode
    187373
  • Title

    Building Blocks for Assurance Cases

  • Author

    Bloomfield, Robin ; Netkachova, Kateryna

  • Author_Institution
    City Univ. London & Adelard LLP, London, UK
  • fYear
    2014
  • fDate
    3-6 Nov. 2014
  • Firstpage
    186
  • Lastpage
    191
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Reliability Engineering Workshops (ISSREW), 2014 IEEE International Symposium on
  • Conference_Location
    Naples
  • Type

    conf

  • DOI
    10.1109/ISSREW.2014.72
  • Filename
    6983836
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=187373