Stream Miss Rate Checking

The Stream Miss Rate Checking plug-in checks whether the miss rates in streams communicated through ports are consistent (i.e., the miss rate of an out port does not exceed the miss rate of an in port). The miss rate of an out port represents the maximum miss rate of the generated stream through this port.  The miss rate in an in port represents the maximum miss rate that a component expects and is willing to handle.

Miss rates are specified on ports through SEI::StreamMissRate, a aadlreal valued property defined in an architecture property set.

This analysis plug-in performs that check for all connections if either or both the source or destination ports have a value for this property. The check can be invoked on the aaxl resource, or on any of the AADL model objects. In both cases it is applied to all connections in the AADL model. A connection is reported if the miss rate of the destination port is lower than the miss rate of the source port of any connection.

You can use this plug-in on any AADL model that has property values for this property associated with some of its ports.