论文信息 - Building Blocks for Assurance Cases

Building Blocks for Assurance Cases

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.

Robin E. Bloomfield | Kateryna Netkachova

[1] S. Toulmin. The uses of argument , 1960 .

[2] Peter G. Bishop,et al. A Methodology for Safety Case Development , 2000, SSS.

[3] Ewen Denney,et al. A Formal Basis for Safety Case Patterns , 2013, SAFECOMP.

[4] John A. McDermid,et al. Safety case patterns-reusing successful arguments , 1998 .

[5] Tim Kelly,et al. The Goal Structuring Notation – A Safety Argument Notation , 2004 .

[6] P. G. Bishop,et al. The SHIP Safety Case Approach: A Combination of System and Software Methods , 1997 .

[7] Richard Hawkins,et al. A New Approach to creating Clear Safety Arguments , 2011, SSS.

[8] David Wright,et al. The Use of Multilegged Arguments to Increase Confidence in Safety Claims for Software-Based Systems: A Study Based on a BBN Analysis of an Idealized Example , 2007, IEEE Transactions on Software Engineering.