Safety cases offer a means for communicating information about the system safety among the system stakeholders. Recently, the requirement for a safety case has been considered by regulators for safety-critical systems. Adopting safety cases is necessarily dependent on the value added for regulatory authorities. In this work, we outline a structured approach for assessing the level of sufficiency of safety arguments. We use the notion of basic probability assignment to provide a measure of sufficiency and insufficiency for each argument node. We use the concept of belief combination to calculate the overall sufficiency and insufficiency of a safety argument based on the sufficiency and insufficiency of its nodes. The application of the propo...
Context. In safety-critical domains, safety cases are widely used to demonstrate the safety of syste...
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...
Safety cases offer a means for communicating information about the system safety among the system st...
A safety case is a hierarchical argument supported by evidence, whose scope is defined by contextual...
Safety arguments typically have some weaknesses. To show that the overall confidence in the safety a...
International audienceConfidence in safety critical systems is often justified by safety arguments. ...
National audienceSafety arguments, also called Safety Cases, are commonly used to present that adequ...
To certify safety-critical systems, assurance arguments linking evidence of safety to appropriate re...
International audienceSoftware applications dependability is frequently assessed through degrees of ...
Regulatory authorities require justification that safety-critical systems exhibit acceptable levels ...
International audienceBuilding a safety case is a common approach to make expert judgement explicit ...
Safety cases present the arguments and evidence that can be used to justify the acceptable safety of...
International audienceSafety arguments, also called safety cases, are commonly used to demonstrate t...
Context. In safety-critical domains, safety cases are widely used to demonstrate the safety of syste...
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...
Safety cases offer a means for communicating information about the system safety among the system st...
A safety case is a hierarchical argument supported by evidence, whose scope is defined by contextual...
Safety arguments typically have some weaknesses. To show that the overall confidence in the safety a...
International audienceConfidence in safety critical systems is often justified by safety arguments. ...
National audienceSafety arguments, also called Safety Cases, are commonly used to present that adequ...
To certify safety-critical systems, assurance arguments linking evidence of safety to appropriate re...
International audienceSoftware applications dependability is frequently assessed through degrees of ...
Regulatory authorities require justification that safety-critical systems exhibit acceptable levels ...
International audienceBuilding a safety case is a common approach to make expert judgement explicit ...
Safety cases present the arguments and evidence that can be used to justify the acceptable safety of...
International audienceSafety arguments, also called safety cases, are commonly used to demonstrate t...
Context. In safety-critical domains, safety cases are widely used to demonstrate the safety of syste...
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...