The SafetyConstraint metaclass represents the qualitative 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/><br/>Semantics:<br/>A SafetyConstraint defines qualitative bounds on the constrainedFaultFailure in terms of safety integrity level, asilValue.<br/><br/>Depending on role, the SafetyConstraint may define a required or an actual safety integrity level. <br/><br/><br/>Extension:<br/>(see ADLTraceableSpecification)<br/><br/>
