Guidance for Addressing Software Common cause Failure In High Safety-Significant Safety Related Digital I&c systems


Operating history can provide evidence of software quality



Download 1.39 Mb.
View original pdf
Page49/51
Date17.12.2021
Size1.39 Mb.
#57931
1   ...   43   44   45   46   47   48   49   50   51
ML20245E561
4.
Operating history can provide evidence of software quality
Operating history is related to quality which is addressed in first principle 1.

DRAFT B - August 2020
© NEI 2020. All rights reserved. nei.org 33 Appendix B Assurance Case Development The assurance case structure provided in this appendix was adopted from IEEE 15016-2. The assurance case starts with a top-level claim for the system and uses a structured argument and evidence to support the claim. Through multiple levels of subordinate claims, the structured argument connects the top-level claim to the evidence. The assurance case is constructed by connecting key elements, which include

Claims which are assertions about a property of the system. Claims that are asserted as true without justification become assumptions and claims supporting the argument are called sub- claims.

Arguments which link the evidence to the claim, which can be deterministic, probabilistic or qualitative.

Evidence which provides the basis for the justification of the claim. Some sources of evidence may include the design, the development process, testing, and inspections. A simplified diagram of an assurance case is shown in Figure B. Top Claim
Sub-claim 2
Supports
Is evidence for
Evidence
Argument
Supports
Sub-claim 1
Supports
Evidence
Argument
Supports
Is evidence for

Download 1.39 Mb.

Share with your friends:
1   ...   43   44   45   46   47   48   49   50   51




The database is protected by copyright ©ininet.org 2024
send message

    Main page