Add to ORKGQuerying a safety case to show how the various stakeholders' concerns about system safety are addressed has been put forth as one of the benefits of argument-based assurance (in a recent study by the Health Foundation, UK, which reviewed the use of safety cases in safety-critical industries). However, neither the literature nor current practice offer much guidance on querying mechanisms appropriate for, or available within, a safety case paradigm. This paper presents a preliminary approach that uses a formal basis for querying safety cases, specifically Goal Structuring Notation (GSN) argument structures. Our approach semantically enriches GSN arguments with domain-specific metadata that the query language leverages, along with its inherent...
We describe dynamic safety cases, a novel operationalization of the concept of through-life safety a...
Recently modeling techniques are introduced to support safety assessment. Goal Structural Notation i...
To certify safety-critical systems, assurance arguments linking evidence of safety to appropriate re...
Argument-based assurance cases, often represented and organized using graphical argument structures,...
Safety cases are increasingly being required in many safety-critical domains to assure, using struct...
Presently, there are three avenues by which Unmanned Aircraft System (UAS) operations are authorized...
Context. In safety-critical domains, safety cases are widely used to demonstrate the safety of syste...
Regulatory authorities require justification that safety-critical systems exhibit acceptable levels ...
Assurance cases are widely used in the safely domain, where they pro-vide a way to justify the safet...
Common definitions of "safety case" emphasize that evidence is the basis of a safety argument, yet f...
A safety case is an argumentation for showing confidence in the claimed safety assurance of a system...
By capturing common structures of successful arguments, safety case patterns provide an approach for...
We present an approach to systematically derive safety cases for automatically generated code from i...
Safety assurance using argument-based safety cases is an accepted best-practice in many safety-criti...
We describe dynamic safety cases, a novel operationalization of the concept of through-life safety a...
Recently modeling techniques are introduced to support safety assessment. Goal Structural Notation i...
To certify safety-critical systems, assurance arguments linking evidence of safety to appropriate re...
Argument-based assurance cases, often represented and organized using graphical argument structures,...
Safety cases are increasingly being required in many safety-critical domains to assure, using struct...
Presently, there are three avenues by which Unmanned Aircraft System (UAS) operations are authorized...
Context. In safety-critical domains, safety cases are widely used to demonstrate the safety of syste...
Regulatory authorities require justification that safety-critical systems exhibit acceptable levels ...
Assurance cases are widely used in the safely domain, where they pro-vide a way to justify the safet...
Common definitions of "safety case" emphasize that evidence is the basis of a safety argument, yet f...
A safety case is an argumentation for showing confidence in the claimed safety assurance of a system...
By capturing common structures of successful arguments, safety case patterns provide an approach for...
We present an approach to systematically derive safety cases for automatically generated code from i...
Safety assurance using argument-based safety cases is an accepted best-practice in many safety-criti...
We describe dynamic safety cases, a novel operationalization of the concept of through-life safety a...
Recently modeling techniques are introduced to support safety assessment. Goal Structural Notation i...
To certify safety-critical systems, assurance arguments linking evidence of safety to appropriate re...