分析 AUTOSAR 组件模型

Simulink® Design Verifier™ 支持在单元级别对 AUTOSAR 软件组件 (SWC) 进行设计错误检测、测试生成和属性证明分析。您可以分析包含 AUTOSAR Blockset Basic Software 模块库中模块的 AUTOSAR 组件，该模块库对组件调用 AUTOSAR Basic Software (BSW) 服务进行建模，包括：

  • Diagnostic Event Manager (Dem)

  • Function Inhibition Manager (FiM)

  • NVRAM Manager (NvM)

此外，您还可以分析通过从 AUTOSAR XML (ARXML) 文件导入 AUTOSAR 软件组件的描述而生成的 Simulink 模型。请参阅创建和配置 AUTOSAR 软件组件 (AUTOSAR Blockset)。

软件会创建一个分析框架（该分析框架提供组件调用的 Basic Software 服务操作的插桩实现），然后对该框架模型执行分析。默认情况下，软件会将该框架模型保存在 <current_folder>\sldv_output\<model_name>\<model_name>_SldvStub.slx 中。

AUTOSAR Model at Component Level

block diagram with inlined image of a subsystem's contents

限制

如果出现以下情况，Simulink Design Verifier 分析会报告不兼容性问题：

  • 您使用 Simulink Design Verifier 在 Simulink Test™ 中生成测试，并将框架参数设置为信号编辑器。

  • 组件模型包含服务组件模块，例如 Diagnostic Service Component 或 NVRAM Service Component 模块。

  • 组件模型包含 Initialize Function、Reinitialize Function、Reset Function 或 Terminate Function 模块，这些模块调用未在同一组件中定义的 Simulink 函数。

  • 您对 AUTOSAR 组件模型执行软件在环 (SIL) 代码分析。

  • 您导出 Simulink Design Verifier 生成的测试用例，并在 Simulink Test 管理器中对这些测试用例运行软件在环 (SIL) 仿真。建议使用 Simulink Test 执行背靠背测试。

  • 您对包含 Function Caller 模块（但不含相应的 Simulink 函数）的模型模块或子系统执行分析。然后，您使用 Signal Editor 模块将分析生成的测试用例导出到 Simulink Test。

另请参阅

(AUTOSAR Blockset) | (Simulink Test)

主题