Safety Criticality Level Analysis

The Safety Criticality Level Analysis plug-in checks whether the safety criticality level of a component with an outgoing connection is higher than or equal to the safety criticality level of the component at the destination end of the connection. The idea is that a component with lower safety criticality should not drive the operation of a component with a higher safety criticality.
At this time, the safety criticality level is checked for every connection declaration; in the future, this check will also be performed on semantic connections.

The safety level is specified on components (i.e., on component type, component implementation, or subcomponent declarations).

The implementation of this plug-in is similar to that of the security level checker.