SafetyCase::SafetyCase

Header Image

EAST-ADL / Dependability / SafetyCase / SafetyCase

Content:
SafetyCase : Public Class DependabilityOrganization, SafetyCase
SafetyCase represents a safety case that communicates a clear, comprehensive and defensible argument that a system is acceptably safe to operate in a given context.<br/><br/>Safety Cases are used in safety related systems, where failures can lead to catastrophic or at least dangerous consequences.<br/><br/><br/>Semantics:<br/>The SafetyCase element is a container element for warrant, type and claim that together represent evidence of safety for the system or item in its context.<br/>
  • Attributes
  • Associations
  • Associations From
  • Advanced
  • Other Links
Attribute Scope Type
context Public String
Notes: Description of how the SafetyCase Warrant (argument) relates to, and depends upon, information from other viewpoints.<br/>
stage Public LifecycleStageKind
Notes: Safety case life cycle stage (preliminary, interim or operational).<br/>
Element Source Role Target Role
Ground
Class   		Name:  
  		Name: ground
Explains how the SafetyCase Ground clarifies and make good the Claim.
Details:
 
Warrant
Class   		Name:  
  		Name: warrant
Argumentation of the facts to the Claim in general ways.
Details:
 
SafetyCase
Class   		Name:  
  		Name: safetyCase
Sub SafetyCase.
Details:
 
Claim
Class   		Name:  
  		Name: claim
A statement the truth of which needs to be confirmed.
Details:
 
Element Source Role Target Role
Dependability
Class   		Name:  
  		Name: safetyCase
 
Details:
 
SafetyCase
Class   		Name:  
  		Name: safetyCase
Sub SafetyCase.
Details:
 
Property Value
isFinalSpecialization: 0
Object Type Connection Direction Notes
Ground Class Weak To  
Dependability Class Weak From  
Warrant Class Weak To  
TraceableSpecification Class Generalization To  
SafetyCase Class Strong To  
Claim Class Weak To