ErrorModelType : public <<atpType>> class
Created: 2006-12-11 13:55:44
Modified: 2010-04-30 10:07:47
Project:
Advanced:
<p>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. <br/></p><p><br/></p><p>An ErrorModelType represents the internal faults and fault propagations of the nominal element that it targets. <br/></p><p><br/></p><p>Typically the target is a system/subsystem, a function, a software component, or a hardware device.<br/></p><p><br/></p><p>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. <br/></p><p><br/></p><p>Constraints:<br/></p><p>An ErrorModelType without part shall have one errorBehaviorDescription<br/></p><p><br/></p><p>Semantics:<br/></p><p>The ErrorModelType represents a specification of the faults and fault propagations of its target element.<br/></p><p><br/></p><p>Both types and prototypes may be targets, and the following cases are relevant:<br/></p><p><br/></p><p>- One nominal type:<br/></p><p><br/></p><p>The ErrorModelType represents the identified nominal type wherever this nominal type is instantiated.<br/></p><p><br/></p><p>- Several nominal types:<br/></p><p><br/></p><p>The ErrorModelType represents the identified nominal types individually, i.e. the same error model applies to all nominal types and is reused.<br/></p><p><br/></p><p>- One nominal prototype:<br/></p><p><br/></p><p>The ErrorModelType represents the identified nominal prototype whenever its context, i.e. its top-level composition is instantiated.<br/></p><p><br/></p><p>- Several nominal prototypes with instanceref:<br/></p><p><br/></p><p>The ErrorModelType represents the identified set of nominal prototypes (together) whenever their context, i.e. their top-level composition, is instantiated.<br/></p><p><br/></p><p>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.<br/></p><p><br/></p><p>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.<br/></p><p><br/></p><p>The ErrorModelType contains internalFaults and externalFaults, representing faults that are either propagated to externalFailures or masked, according to the definition of its fault propagation.<br/></p><p><br/></p><p>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 externalFailures and cannot be masked. <br/></p><p><br/></p><p><br/></p><p>Extension:<br/></p><p>(see ADLTraceableSpecfication)<br/></p>
Attribute Details
public String
  genericDescription
Initial: NA
 
Element Source Role Target Role Details
ErrorBehavior
Class  
Name: owner
the container ErrorModelType for the error behavior description.
Name: errorBehaviorDescription
The description of failure logic of the target element.
 
FaultInPort
Class  
Name:  
 
Name: externalFault
An external fault that the ErrorModelType may propagate or mask
 
«atpPrototype» ErrorModelPrototype
Class  
Name:  
 
Name: part
The contained error models forming a hierarchy.
 
FaultFailurePropagationLink
Class  
Name:  
 
Name: faultFailureConnector
The contained links for internal propagations of faults/failures between the subordinate error models.
 
«atpType» HardwareComponentType
Class  
Name:  
 
Name: hwTarget
 
 
«atpType» FunctionType
Class  
Name:  
 
Name: target
The nominal FunctionType whose ErrorModel is defined by the ErrorModelType
 
Element Source Role Target Role Details
FailureOutPort
Class  
Name: failure
A failureOutPort represent a propagated Failure
Name:  
 
 
«atpPrototype» ErrorModelPrototype
Class «isOfType»
Name:  
 
Name: type
The ErrorModelType that types the ErrorModelPrototype.
 
ProcessFaultPrototype
Class  
Name: processFault
A processFault that affects the ErrorModelType. Process faults cannot be masked, and propagate to all defined externalFailures.
Name:  
 
 
InternalFaultPrototype
Class  
Name: internalFault
An internal fault that the ErrorModelType may propagate or mask
Name:  
 
 
Dependability
Class  
Name:  
 
Name: errorModelType
 
 
Object Type Connection Notes
ErrorBehavior Class Weak  
TraceableSpecification Class Generalization  
FaultInPort Class Strong  
FailureOutPort Class Strong  
«atpPrototype» ErrorModelPrototype Class Weak  
ProcessFaultPrototype Class Strong  
FaultFailurePropagationLink Class Weak  
InternalFaultPrototype Class Strong  
Dependability Class Weak