Adopts ISO/IEC 15026-2:2011 to specify minimum requirements for the structure and contents of an assurance case. An assurance case includes a top-level claim for a property of a system or product (or set of claims), systematic argumentation regarding this claim, and the evidence and explicit assumptions that underlie this argumentation. Arguing through multiple levels of subordinate claims, this structured argumentation connects the top-level claim to the evidence and assumptions.
Table of contents
Header
About this publication
Preface
Introduction
1 Scope
2 Conformance
3 Normative references
4 Terms and definitions
5 Use of this part of ISO/IEC 15026
6 Structure and contents of an assurance case
6.1 General
6.2 Overall structure
6.3 Claims
6.3.1 Form of claim
6.3.2 Claim contents
6.3.3 Coverage of conditions
6.3.4 Justification of the choice of top-level claims
6.4 Arguments
6.4.1 Argument characteristics
6.4.2 Justification of argument’s method of reasoning
6.5 Evidence
6.5.1 Evidence contents
6.5.2 Associated information
6.5.3 Associated assumptions
6.6 Assumptions
6.6.1 Form of Assumption
6.6.2 Assumption contents
6.6.3 Associated evidence
6.7 Justifications
6.8 Combining assurance cases
7 Required outcomes of using Part 2 assurance case
