ErrorModel::ErrorModelType

EAST-ADL / Dependability / ErrorModel / ErrorModelType

Content:

ErrorModelType : Public <<atpType>> Class BehaviorContraintsTargetAssocation, ErrorModelPrototype_hwTarget, DependabilityOrganization, ErrorModel, ErrorBehavior, ErrorModelPrototype_functionTarget

ErrorModelType and ErrorModelPrototype support the hierarchical composition of error models based on the type-prototype pattern also adopted for the nominal architecture composition. The purpose of the error models is to represent information relating to the anomalies of a nominal model element. An ErrorModelType represents the internal faults and fault propagations of the nominal element that it targets. Typically the target is a system/subsystem, a function, a software component, or a hardware device. ErrorModelType inherits the abstract metaclass TraceableSpecification, allowing the ErrorModelType to be referenced from its design context in a similar way as requirements, test cases and other specifications. Constraints: target shall only reference concrete system elements. For EAST-ADL this would be elements in the Structure package. Semantics: The ErrorModelType represents a specification of the faults and fault propagations of its target element. The fault propagation may be defined by - The ErrorModelPrototypes - One ErrorBehaviorDescription -Multiple ErrorBehaviorDescription, in which case the propagation is the concatenation of these - Neither, in which case any propagation may occurr Both types and prototypes may be targets, and the following cases are relevant: - One nominal type: The ErrorModelType represents the identified nominal type wherever this nominal type is instantiated. - Several nominal types: The ErrorModelType represents the identified nominal types individually, i.e. the same error model applies to all nominal types and is reused. - One nominal prototype: The ErrorModelType represents the identified nominal prototype whenever its context, i.e. its top-level composition is instantiated. - Several nominal prototypes with instanceref: The ErrorModelType represents the identified set of nominal prototypes (together) whenever their context, i.e. their top-level composition, is instantiated. The fault propagation of an errorModelType is defined by its contained parts, the ErrorModelPrototypes and their connections. In case it contains both parts and an errorBehaviorDescription, the errorBehaviorDescription shall be consistent with the parts. FaultFailurePropagationLinks define valid propagation paths in the ErrorModelType. In case the contained FaultInPorts and FailureOutPorts reference nominal ports, the connectivity of the nominal model may serve as a pattern for connecting ports in the ErrorModelType. The ErrorModelType contains internalFaults and externalFaults, representing faults that are either propagated to externalFailures or masked, according to the definition of its fault propagation. A processFault represents a flaw introduced during design, and may lead to any of the failures represented by the ErrorModelType. A processFault therefore has a direct propagation to all failures and cannot be masked. Extension: (see TraceableSpecfication)

Associations
Associations From
Advanced
Other Links

Element	Source Role	Target Role
FaultFailurePropagationLink Class	Name:	Name: faultFailureConnector The contained links for internal propagations of faults/failures between the subordinate error models.
Details:
«atpPrototype» ErrorModelPrototype Class	Name:	Name: part The contained error models forming a hierarchy.
Details:
«atpType» HardwareComponentType Class	Name:	Name: hwTarget
Details:
FaultInPort Class	Name:	Name: externalFault An external fault that the ErrorModelType may propagate or mask.
Details:
Identifiable Class	Name:	Name: target The target element (i.e., a system, a function, a component, or hardware device) owning the anomalies.
Details:
ErrorBehavior Class	Name:	Name: errorBehaviorDescription The description of failure logic of the target element.
Details:
«atpType» FunctionType Class	Name:	Name: functionTarget The nominal FunctionType whose ErrorModel is defined by the ErrorModelType.
Details:

Element	Source Role	Target Role
ProcessFaultPrototype Class	Name: processFault A processFault that affects the ErrorModelType. Process faults cannot be masked, and propagate to all defined failures.	Name:
Details:
BehaviorConstraintTargetBinding Class	Name:	Name: constrainedErrorModel The error model being refined by a behavior constraint description.
Details:
InternalFaultPrototype Class	Name: internalFault An internal fault that the ErrorModelType may propagate or mask.	Name:
Details:
«atpPrototype» ErrorModelPrototype Class «isOfType»	Name:	Name: type The ErrorModelType that types the ErrorModelPrototype.
Details:
Dependability Class	Name:	Name: errorModelType
Details:
FailureOutPort Class	Name: failure A failureOutPort represent a propagated Failure.	Name:
Details:

Property	Value
isFinalSpecialization:	0

Object	Type	Connection	Direction	Notes
FaultFailurePropagationLink	Class	Weak	To
ProcessFaultPrototype	Class	Strong	From
«atpPrototype» ErrorModelPrototype	Class	Weak	To
InternalFaultPrototype	Class	Strong	From
TraceableSpecification	Class	Generalization	To
FaultInPort	Class	Strong	To
EAType	Class	Generalization	To
ErrorBehavior	Class	Strong	To
Dependability	Class	Weak	From
FailureOutPort	Class	Strong	From