Main Content

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

分析 AUTOSAR 组件模型

Simulink® Design Verifier™ 支持单元级别的 AUTOSAR 软件组件（SWC）的设计错误检测、测试生成和属性证明分析。您可以分析包含来自 AUTOSAR Blockset 基础软件模块库的模块的 AUTOSAR 组件，该库模型组件调用 AUTOSAR 基础软件 (BSW) 服务，其中包括：

  • 诊断事件管理器 (Dem)

  • 功能抑制管理器 (FiM)

  • NVRAM 管理器 (NvM)

此外，您还可以分析通过从 AUTOSAR XML（ARXML）文件导入 AUTOSAR 软件组件描述而生成的 Simulink模型。参见 Create and Configure AUTOSAR Software Component (AUTOSAR Blockset)。

该软件创建一个分析框架，该分析框架提供组件调用的基础软件服务操作的桩件实现，然后对框架模型执行分析。默认情况下，软件将框架模型保存在 <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 Manager 中对这些测试用例运行软件在环(SIL)仿真。推荐的方法是使用 Simulink Test 进行背靠背测试。

另请参阅

(AUTOSAR Blockset) | (Simulink Test)

相关主题