Safety case construction and reuse using patterns¶
Kelly, T. P., & McDermid, J. A. (1997). Safety case construction and reuse using patterns. SAFECOMP 97: The 16th International Conference on Computer Safety, Reliability and Security.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Completeness
- … case* is one in which every hazard identified in the hazard analysis is addressed by an explicit risk-mitigation argument supported by sufficient evidence; the Goal-Structuring-Notation (GSN) and Claim-Argument-Evidence (CAE) frameworks for safety-case construction provide explicit completeness-checking tooling.
This sourceIntroduces the Goal-Structuring Notation (GSN) framework for safety-case argument construction with explicit completeness-checking; further developed in Kelly's 1998 York thesis and standardised in the GSN Community Standard.
- … case* is one in which every hazard identified in the hazard analysis is addressed by an explicit risk-mitigation argument supported by sufficient evidence; the Goal-Structuring-Notation (GSN) and Claim-Argument-Evidence (CAE) frameworks for safety-case construction provide explicit completeness-checking tooling.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:7ac589638850 · see in the full table