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¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Not recorded. The single citation of this work carries no recorded support check.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:7ac589638850 · see in the full table