Created: | 2008-12-08 12:54:52 |
Modified: | 2010-04-29 14:40:30 |
![]() |
|
![]() |
Element | Source Role | Target Role | Details |
TraceableSpecification Class |
Name: |
Name: safetyRequirement Safety requirements and objectives in the SystemModel. |
|
Rationale Class |
Name: |
Name: justification Justification can be used wherever it is felt to be valuable to provide the rationale behind the Claim. |
|
Ground Class |
Name: |
Name: evidence An evidence provides the backing for stating that a requirement (Claim) has been meet. |
|
Warrant Class |
Name: |
Name: supportedArgument Supported argument for the Claim. |
|
Warrant Class |
Name: |
Name: goalDecompositionStrategy Strategies can be used to add further detail to a goal decomposition. |
Element | Source Role | Target Role | Details |
Warrant Class |
Name: |
Name: decomposedGoal A statement the truth of which needs to be confirmed |
|
SafetyCase Class |
Name: |
Name: claim A statement the truth of which needs to be confirmed. |
Object | Type | Connection | Notes |
TraceableSpecification | Class | Generalization | |
Rationale | Class | Weak | |
SafetyCase | Class | Weak |