SafetyCase::Warrant

EAST-ADL / Dependability / SafetyCase / Warrant

Content:

Warrant : Public Class SafetyCase

Warrant represents argumentation of the facts to the Claim in general ways. The Warrant entity has associations with the decomposed goals and with the evidences for the SafetyCase. Semantics: The overall objective of an argument is to lead the evidence to the claim. Arguments are actions of inferring a conclusion from premised propositions. An argument is considered valid if the conclusion can be logically derived from its premises. An argument is considered sound if it is valid and all premises are true. A goal decomposition strategy breaks down a goal into a number of sub-goals. It is recommended that the strategies are of specific form.

Associations
Associations From
Advanced
Other Links

Element	Source Role	Target Role
Rationale Class	Name:	Name: justification Justification can be used wherever it is felt to be valuable to provide the rationale behind the Warrant.
Details:
Claim Class	Name:	Name: decomposedGoal A statement which needs to be confirmed.
Details:
Ground Class	Name:	Name: evidence Explains how the SafetyCase Ground clarifies and justifies the Claim.
Details:

Element	Source Role	Target Role
Claim Class	Name:	Name: goalDecompositionStrategy Strategies can be used to add further detail to a goal decomposition.
Details:
SafetyCase Class	Name:	Name: warrant Argumentation of the facts to the Claim in general ways.
Details:
Claim Class	Name:	Name: supportedArgument Supported argument for the Claim.
Details:

Property	Value
isFinalSpecialization:	0

Object	Type	Connection	Direction	Notes
TraceableSpecification	Class	Generalization	To
Rationale	Class	Weak	To
SafetyCase	Class	Weak	From