摘要: The paper introduces an approach to structuring assurance cases using specially-designed CAE building blocks. blocks are derived from empirical analysis of the real case structures and can standardise presentation by simplifying their architecture. might also increase precision efficiency claims in arguments be used as self-contained reusable components formal semi-formal cases.
sci-hub.se 参考文章(8)
Tim Kelly, Rob Weaver, The Goal Structuring Notation – A Safety Argument Notation ,(2004)
Ewen Denney, Ganesh Pai, A Formal Basis for Safety Case Patterns international conference on computer safety reliability and security. pp. 21- 32 ,(2013) , 10.1007/978-3-642-40793-2_3
Richard Hawkins, Tim Kelly, John Knight, Patrick Graydon, A New Approach to creating Clear Safety Arguments Advances in Systems Safety. pp. 3- 23 ,(2011) , 10.1007/978-0-85729-133-2_1
Stephen Edelston Toulmin, The uses of argument ,(1958)
Peter Bishop, Robin Bloomfield, A Methodology for Safety Case Development Safety and Reliability. ,vol. 20, pp. 194- 203 ,(2000) , 10.1007/978-1-4471-1534-2_14
T. Kelly, J. McDermid, Safety case patterns-reusing successful arguments Understanding Patterns and Their Application to Systems Engineering (Digest No. 1998/308), IEE Colloquium on. pp. 3- 3 ,(1998) , 10.1049/IC:19980543
Bev Littlewood, David Wright, 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 IEEE Transactions on Software Engineering. ,vol. 33, pp. 347- 365 ,(2007) , 10.1109/TSE.2007.1002
Robin Bloomfield, Peter Bishop, Methodology for Safety Case Development Sixth Safety-critical Systems Symposium, Birmingham. ,(1998)