SafetyConstraints::FaultFailure

Header Image

EAST-ADL / Dependability / SafetyConstraints / FaultFailure

Content:
FaultFailure : Public Class DependabilityOrganization, SafetyConstraints, FaultFailure, Events, EventOccurrenceMappingToEvents
The FaultFailure represents a certain fault or failure on its referenced Anomal(ies). The faultFailureValue specifies the value of the Anomaly that corresponds to the condition represented by the FaultFailure. Alternatively, a boolean expression over the referenced anomalies defines the condition represented by the FaultFailure. <br/><br/>Semantics:<br/>A FaultFailure represents a fault or failure on the referenced Anomal(ies). The Faultfailure condition is satisfied when a) faultFailureValue is an EAValue and at least one of the referenced anomal(ies) is equal to this value or b) when faultFailureValue is a boolean EAExpression and the referenced anomal(ies) satisfies the expression, i.e. it evaluates to true. <br/><br/>Constraints:<br/>[1] faultFailureValue shall have the same datatype as the referenced Anomal(ies) or be of type EABoolean.<br/>
  • Associations From
  • Advanced
  • Other Links
Element Source Role Target Role
«atpPrototype» EAValue
Class   		Name: faultFailureValue
The faultFailureValue defines the value that anomal(ies) should have or the expression that the anomal(ies) should fulfill. 		Name:  
 
Details:
 
QuantitativeSafetyConstraint
Class   		Name:  
  		Name: constrainedFaultFailure
A QuantitativeSafetyConstraint defines quantitative bounds on the constrainedFaultFailure in terms of the failure and repair rates, failureRate and repairRate. The rates are exponentially distributed (user defined attributes may be used to specify alternative distributions and additional quantitative parameters).
Details:
 
EventFaultFailure
Class   		Name:  
  		Name: faultFailure
 
Details:
 
Dependability
Class   		Name:  
  		Name: faultFailure
 
Details:
 
TransitionEvent
Class   		Name:  
  		Name: occurredFaultFailure
The fault(s)/failure(failures) represented by the parameter condition.
Details:
 
«instanceRef» FaultFailure_anomaly
Class   		Name: anomaly
  		Name:  
 
Details:
 
SafetyConstraint
Class   		Name:  
  		Name: constrainedFaultFailure
The constrained fault or failure.
Details:
 
Property Value
isFinalSpecialization: 0
Object Type Connection Direction Notes
«atpPrototype» EAValue Class Strong From  
TraceableSpecification Class Generalization To  
Dependability Class Weak From  
«instanceRef» FaultFailure_anomaly Class Strong From  
«atpPrototype» Anomaly Class Dependency To