主要内容

本页采用了机器翻译。点击此处可查看英文原文。

检查 AUTOSAR 接收器接口是否存在缺失的错误端口

检查 IDmathworks.misra.AutosarReceiverInterface

找出没有匹配错误端口的 AUTOSAR 接收器接口输入端口。

描述

遵循此检查的建议可以提高为嵌入式应用程序生成符合 MISRA C:2012 和 MISRA C:2023 标准的代码的可能性。检查标志 AUTOSAR 接收器接口的输入端口是否存在错误端口。下表列出了当相应的错误端口缺失时,检查会标记的接收器接口端口的 AUTOSAR 数据访问模式类型。

AUTOSAR 数据访问模式类型已标记?
ImplicitReceive
ExplicitReceive
QueuedExplicitReceive
ErrorStatus
ModeReceive
IsUpdated
EndToEndRead
ExplicitReceiveByVal
otherwise

如果使用 Polyspace® 注解证明存在错误,则检查不会标记缺失的错误端口。运行检查时,带申述的模块表会列出申述的缺失错误端口。

适用于 Embedded Coder®Simulink® Check™

结果和建议的操作

条件建议的操作

AUTOSAR 接收器接口输入端口没有匹配的错误端口。

添加缺失的错误端口并映射到相应的 AUTOSAR 接收器接口输入端口。

当数据访问模式为 ImplicitReceiveExplicitReceiveEndToEndRead 时,AUTOSAR 接收器接口端口没有匹配的错误端口。

添加缺失的错误端口并映射到相应的 AUTOSAR 接收器接口输入端口。

功能和限制

您可以:

  • 分析顶层/根级模型。

  • 将模块和图从此检查中排除(如果您拥有 Simulink Check 许可证)。

另请参阅