QuantitativeSafetyConstraint : public class
Created: 2010-01-22 15:50:43
Modified: 2010-04-29 14:38:15
Project:
Advanced:
<p>The QuantitativeSafetyConstraint metaclass represents the quantitative integrity constraints on a fault or failure. Thus, the system has the same or better performance with respect to the constrained fault or failure, and depending on the role this is either a requirement or a property.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A QuantitativeSafetyConstraint provides information about the probabilistic estimates of target faults/failures, further specified by the failureRate and repairRate attribute.<br/></p><p><br/></p><p>Extension:<br/></p><p>(see ADLTraceableSpecification)<br/></p><p><br/></p><p><br/></p><p><br/></p><p><br/></p>
Attribute Details
public Float
  failureRate
Notes: failureRate denotes the number of failures per unit time, i.e. the density of probability of failure divided by probability of survival for a hardware element (ISO26262 definition). For exponential failure distributions it is often denoted by lambda.
public Float
  repairRate
Notes: repairRate denotes the number of repairs per unit time. For exponential repair distributions it is often denoted by mu.
Element Source Role Target Role Details
FaultFailure
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).
 
Element Source Role Target Role Details
Dependability
Class  
Name:  
 
Name: quantitiativeSafetyConstraint
 
 
Object Type Connection Notes
TraceableSpecification Class Generalization  
Dependability Class Weak