QuantitativeSafetyConstraint : public class
Created: |
2010-01-22 15:50:43 |
Modified: |
2010-04-29 14:38:15 |
|
Project: |
|
Author: |
CHEN |
Version: |
1.0 |
Phase: |
1.0 |
Status: |
Proposed |
Complexity: |
Easy |
Advanced: |
|
UUID: |
{819DBC16-6E63-4654-8684-706B521A5492} |
Appears In: |
DependabilityOrganization, SafetyConstraints |
<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>
- Attributes
- Associations To
- Associations From
- Other Links
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
|
|