Check for missing error ports for AUTOSAR receiver interfaces

Check ID: mathworks.misra.AutosarReceiverInterface

Identify AUTOSAR receiver interface inports that do not have matching error ports.

Description

Following the recommendations of this check increases the likelihood of generating MISRA C:2012 compliant code for embedded applications. The check flags AUTOSAR receiver interfaces inports that are missing error ports. The following table identifies the AUTOSAR data access mode types for receiver interface ports that are flagged by the check when the corresponding error port is missing.

AUTOSAR Data Access Mode Type	Flagged by Check?
`ImplicitReceive`	Yes
`ExplicitReceive`	Yes
`QueuedExplicitReceive`	No
`ErrorStatus`	No
`ModeReceive`	No
`IsUpdated`	No
`EndToEndRead`	Yes
`ExplicitReceiveByVal`	No
`otherwise`	No

The check does not flag missing error ports when they are justified with a Polyspace^® annotation. When you run the check, the Blocks with justification table lists the missing error ports that have a justification.

Available with Embedded Coder^® and Simulink^® Check™.

Results and Recommended Actions

Condition	Recommended Action
AUTOSAR receiver interface inport does not have a matching error port.	Add missing error port and map to the corresponding AUTOSAR receiver interface inport.
AUTOSAR receiver interface ports do not have a matching error port when data access mode is `ImplicitReceive`, `ExplicitReceive`, or `EndToEndRead`.	Add missing error port and map to the corresponding AUTOSAR receiver interface inport.

Capabilities and Limitations

You can:

Analyzes top layer/root level models.
Exclude blocks and charts from this check if you have a Simulink Check license.