SafetyCase::Claim

Header Image

EAST-ADL / Dependability / SafetyCase / Claim

Content:
Claim : Public Class SafetyCase
Claim represents a statement, the truth of which needs to be confirmed.<br/><br/>Claim has associations to the strategy for goal decomposition and to supported arguments. It also holds associations to the evidences for the SafetyCase.<br/><br/><br/>Semantics:<br/>Goal-based development provides the claim what should be achieved.<br/><br/>Goal is what the argument must show to be true. <br/>
  • Associations
  • Associations From
  • Advanced
  • Other Links
Element Source Role Target Role
Ground
Class   		Name:  
  		Name: evidence
An evidence provides the backing for stating that a requirement (Claim) has been meet.
Details:
 
Warrant
Class   		Name:  
  		Name: goalDecompositionStrategy
Strategies can be used to add further detail to a goal decomposition.
Details:
 
Rationale
Class   		Name:  
  		Name: justification
Justification can be used wherever it is felt to be valuable to provide the rationale behind the Claim.
Details:
 
TraceableSpecification
Class   		Name:  
  		Name: safetyRequirement
Safety requirements and objectives in the SystemModel.
Details:
 
Warrant
Class   		Name:  
  		Name: supportedArgument
Supported argument for the Claim.
Details:
 
Element Source Role Target Role
Warrant
Class   		Name:  
  		Name: decomposedGoal
A statement which needs to be confirmed.
Details:
 
SafetyCase
Class   		Name:  
  		Name: claim
A statement the truth of which needs to be confirmed.
Details:
 
Property Value
isFinalSpecialization: 0
Object Type Connection Direction Notes
TraceableSpecification Class Generalization To  
Rationale Class Weak To  
SafetyCase Class Weak From