第4章：AUTOSAR软件组件级设计与开发

学习目标

• 能解释“第4章：AUTOSAR软件组件级设计与开发”为何要把 Simulink 行为、AUTOSAR 类型接口、runnable 事件、映射和 C/ARXML 生成组织成可往返核对的软件组件流水线
• 能逐项把 第4章 AUTOSAR软件组件级设计与开发、4.1 Matlab/Simulink与Embedded Coder工具简介、4.1.1 Matlab/Simulink工具简介、4.1.2 Embedded Coder工具简介、4.2 基于Matlab/Simulink的软件组件开发、4.2.1 Matlab/Simulink与AUTOSAR基本概念的对应关系、4.2.2 软件组件内部行为建模方法、4.2.3 AUTOSAR客户端/服务器机制的实现方法、4.3 软件组件代码及描述文件配置生成、4.3.1 求解器及代码生成相关属性配置、4.3.2 模型配置、4.3.3 AUTOSAR Properties配置、4.3.4 Simulink-AUTOSAR Mapping配置、4.3.5 符合AUTOSAR规范的代码及描述文件生成、4.4 在Simulink中导入软件组件描述文件——“自上而下”的工作流程、4.5 本章小结 映射到五段工件链，并指出每段的输入、输出和所有者
• 能从“自下而上创建”追踪到可观察结果，持续验证“模型、AUTOSAR 映射、生成代码和 ARXML 对同一端口、数据类型、runnable 周期与初始化值给出一致定义”
• 能注入“修改生成后的 C 文件修复行为，却不回写模型或映射，下一次生成覆盖修复”，保存首个分岔，用同一输入回退并提交模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异

为什么“行为模型”不能绕过“AUTOSAR 合同”

“第4章：AUTOSAR软件组件级设计与开发”的核心决策是：把 Simulink 行为、AUTOSAR 类型接口、runnable 事件、映射和 C/ARXML 生成组织成可往返核对的软件组件流水线。本页先冻结场景、输入工件、AUTOSAR 版本和所有者，再运行转换；每一步都必须回答“改了什么、由谁生成、如何回退”。只要无法证明“模型、AUTOSAR 映射、生成代码和 ARXML 对同一端口、数据类型、runnable 周期与初始化值给出一致定义”，就不能用编译成功、目标板亮灯或工具无报错替代验收。

来源、版次与独立重写边界

本站只能访问原书的公开书目信息和目录，不能把目录页当作原版全文。“第4章：AUTOSAR软件组件级设计与开发”的中文解释、工件模型、交互实验、故障、练习与答案均为独立教学重写；AUTOSAR、ISO、ETAS、MathWorks 与 NXP 的官方页面只用于核对各自直接承担的技术事实。

• 《AUTOSAR规范与车用控制器软件开发》2018 年版目录：针对“第4章：AUTOSAR软件组件级设计与开发”，只核对原书版次、十章与参考文献的目录边界，不把零售目录当作可访问的原书正文。
• MathWorks AUTOSAR Software Component Modeling：针对“第4章：AUTOSAR软件组件级设计与开发”，核对 Simulink 中的 AUTOSAR 建模、映射、导入与代码生成边界。
• MathWorks Create an AUTOSAR Software Component：针对“第4章：AUTOSAR软件组件级设计与开发”，核对从组件模型到 AUTOSAR 映射、代码与 ARXML 工件的工作流。
• MathWorks AUTOSAR Components and Compositions：针对“第4章：AUTOSAR软件组件级设计与开发”，核对组件、端口连接与组合层级在模型工作流中的关系。
• AUTOSAR R25-11 RTE Requirements：针对“第4章：AUTOSAR软件组件级设计与开发”，核对 RTE 的接口、生成阶段和应用软件到基础软件之间的合同边界。

五段工件链与观察语言

行为模型、AUTOSAR 合同、执行语义、模型映射、生成工件。

阶段	可交付工件
行为模型	Simulink 逻辑、状态与测试向量
AUTOSAR 合同	类型、接口、端口与服务调用
执行语义	runnable、事件、周期与初始化
模型映射	Simulink 元素到 AUTOSAR 属性
生成工件	C 源码、头文件、ARXML 与报告

这条链不是固定工具菜单，而是“第4章：AUTOSAR软件组件级设计与开发”的追踪骨架。正常场景输入为“从新模型定义算法并完成 AUTOSAR 映射和测试”；边界场景输入为“导入既有组件 ARXML 后补充内部行为并往返导出”。二者都要从相同冻结条件开始，并以“模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异”判断结果。

正式目录逐项深读

第4章 AUTOSAR软件组件级设计与开发

“第4章 AUTOSAR软件组件级设计与开发”属于可生成合同：数据语义、方向、初始值、更新方式、错误与调用关系都要在“行为模型”工件中显式化。验收不只看名称相同，还要用模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异证明提供端与需要端的类型和生命周期兼容。

4.1 Matlab/Simulink与Embedded Coder工具简介

“4.1 Matlab/Simulink与Embedded Coder工具简介”只承担可复现工具入口，不把 2018 年菜单路径当成永久知识。学习者需要记录工具名称与版本、插件、许可证、输入工件和生成日志，并以“模型、AUTOSAR 映射、生成代码和 ARXML 对同一端口、数据类型、runnable 周期与初始化值给出一致定义”验收结果；界面截图只能辅助定位，不能代替工件差异。

4.1.1 Matlab/Simulink工具简介

“4.1.1 Matlab/Simulink工具简介”只承担可复现工具入口，不把 2018 年菜单路径当成永久知识。学习者需要记录工具名称与版本、插件、许可证、输入工件和生成日志，并以“模型、AUTOSAR 映射、生成代码和 ARXML 对同一端口、数据类型、runnable 周期与初始化值给出一致定义”验收结果；界面截图只能辅助定位，不能代替工件差异。

4.1.2 Embedded Coder工具简介

“4.1.2 Embedded Coder工具简介”只承担可复现工具入口，不把 2018 年菜单路径当成永久知识。学习者需要记录工具名称与版本、插件、许可证、输入工件和生成日志，并以“模型、AUTOSAR 映射、生成代码和 ARXML 对同一端口、数据类型、runnable 周期与初始化值给出一致定义”验收结果；界面截图只能辅助定位，不能代替工件差异。

4.2 基于Matlab/Simulink的软件组件开发

“4.2 基于Matlab/Simulink的软件组件开发”属于可生成合同：数据语义、方向、初始值、更新方式、错误与调用关系都要在“生成工件”工件中显式化。验收不只看名称相同，还要用模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异证明提供端与需要端的类型和生命周期兼容。

4.2.1 Matlab/Simulink与AUTOSAR基本概念的对应关系

“4.2.1 Matlab/Simulink与AUTOSAR基本概念的对应关系”用于划定责任而不是画装饰框图。本页把它放在“行为模型”阶段，要求为Simulink 逻辑、状态与测试向量标出输入、输出、所有者和禁止越层访问，并用“模型、AUTOSAR 映射、生成代码和 ARXML 对同一端口、数据类型、runnable 周期与初始化值给出一致定义”检查架构是否真的吸收部署与硬件变化。

4.2.2 软件组件内部行为建模方法

“4.2.2 软件组件内部行为建模方法”属于可生成合同：数据语义、方向、初始值、更新方式、错误与调用关系都要在“AUTOSAR 合同”工件中显式化。验收不只看名称相同，还要用模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异证明提供端与需要端的类型和生命周期兼容。

4.2.3 AUTOSAR客户端/服务器机制的实现方法

“4.2.3 AUTOSAR客户端/服务器机制的实现方法”在本页落到“执行语义”工件：runnable、事件、周期与初始化。学习者要先写出该节点的输入、输出、所有者和失败条件，再用模型、AUTOSAR 映射、生成代码和 ARXML 对同一端口、数据类型、runnable 周期与初始化值给出一致定义核对它是否真正参与“把 Simulink 行为、AUTOSAR 类型接口、runnable 事件、映射和 C/ARXML 生成组织成可往返核对的软件组件流水线”。

4.3 软件组件代码及描述文件配置生成

“4.3 软件组件代码及描述文件配置生成”属于可生成合同：数据语义、方向、初始值、更新方式、错误与调用关系都要在“模型映射”工件中显式化。验收不只看名称相同，还要用模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异证明提供端与需要端的类型和生命周期兼容。

4.3.1 求解器及代码生成相关属性配置

“4.3.1 求解器及代码生成相关属性配置”位于模型—AUTOSAR 合同—代码生成的往返边界。应同时核对行为测试、求解器和周期假设、Simulink-AUTOSAR 映射、生成 C 与 ARXML；任何手工修正都必须回到受控源工件，避免下一次生成覆盖。

4.3.2 模型配置

“4.3.2 模型配置”位于模型—AUTOSAR 合同—代码生成的往返边界。应同时核对行为测试、求解器和周期假设、Simulink-AUTOSAR 映射、生成 C 与 ARXML；任何手工修正都必须回到受控源工件，避免下一次生成覆盖。

4.3.3 AUTOSAR Properties配置

“4.3.3 AUTOSAR Properties配置”在本页落到“AUTOSAR 合同”工件：类型、接口、端口与服务调用。学习者要先写出该节点的输入、输出、所有者和失败条件，再用模型、AUTOSAR 映射、生成代码和 ARXML 对同一端口、数据类型、runnable 周期与初始化值给出一致定义核对它是否真正参与“把 Simulink 行为、AUTOSAR 类型接口、runnable 事件、映射和 C/ARXML 生成组织成可往返核对的软件组件流水线”。

4.3.4 Simulink-AUTOSAR Mapping配置

“4.3.4 Simulink-AUTOSAR Mapping配置”位于模型—AUTOSAR 合同—代码生成的往返边界。应同时核对行为测试、求解器和周期假设、Simulink-AUTOSAR 映射、生成 C 与 ARXML；任何手工修正都必须回到受控源工件，避免下一次生成覆盖。

4.3.5 符合AUTOSAR规范的代码及描述文件生成

“4.3.5 符合AUTOSAR规范的代码及描述文件生成”位于模型—AUTOSAR 合同—代码生成的往返边界。应同时核对行为测试、求解器和周期假设、Simulink-AUTOSAR 映射、生成 C 与 ARXML；任何手工修正都必须回到受控源工件，避免下一次生成覆盖。

4.4 在Simulink中导入软件组件描述文件——“自上而下”的工作流程

“4.4 在Simulink中导入软件组件描述文件——“自上而下”的工作流程”属于可生成合同：数据语义、方向、初始值、更新方式、错误与调用关系都要在“生成工件”工件中显式化。验收不只看名称相同，还要用模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异证明提供端与需要端的类型和生命周期兼容。

4.5 本章小结

“4.5 本章小结”首先是版本与范围节点。阅读它时应把原书 2018 年的工具链实践、当前 R25-11 已发布规范和 R26-11 计划版本分开记录，再判断“把 Simulink 行为、AUTOSAR 类型接口、runnable 事件、映射和 C/ARXML 生成组织成可往返核对的软件组件流水线”中的哪些责任稳定、哪些界面会随版本变化。

三个可重放实验

⚡分步1 / 3

1. 1
2. 2
3. 3

1. 目录节点与工件定位

切换“自下而上创建”与“自上而下导入”，再选择目录节点，确认它映射到哪个工件阶段。

Contract · artifact · owner

第4章：AUTOSAR软件组件级设计与开发：工件链

把 Simulink 行为、AUTOSAR 类型接口、runnable 事件、映射和 C/ARXML 生成组织成可往返核对的软件组件流水线

重置实验

选择验证场景

自下而上创建自上而下导入

定位正式目录节点

第4章 AUTOSAR软件组件级设计与开发4.1 Matlab/Simulink与Embedded Coder工具简介4.1.1 Matlab/Simulink工具简介4.1.2 Embedded Coder工具简介4.2 基于Matlab/Simulink的软件组件开发4.2.1 Matlab/Simulink与AUTOSAR基本概念的对应关系4.2.2 软件组件内部行为建模方法4.2.3 AUTOSAR客户端/服务器机制的实现方法4.3 软件组件代码及描述文件配置生成4.3.1 求解器及代码生成相关属性配置4.3.2 模型配置4.3.3 AUTOSAR Properties配置4.3.4 Simulink-AUTOSAR Mapping配置4.3.5 符合AUTOSAR规范的代码及描述文件生成4.4 在Simulink中导入软件组件描述文件——“自上而下”的工作流程4.5 本章小结

avc2-04-swc-development · 自下而上创建

第4章 AUTOSAR软件组件级设计与开发：从新模型定义算法并完成 AUTOSAR 映射和测试

01行为模型

Simulink 逻辑、状态与测试向量

↓

02AUTOSAR 合同

类型、接口、端口与服务调用

↓

03执行语义

runnable、事件、周期与初始化

↓

04模型映射

Simulink 元素到 AUTOSAR 属性

↓

05生成工件

C 源码、头文件、ARXML 与报告

预期：生成代码与 ARXML 通过接口和行为一致性核对

上一步重置播放下一步

工程验收矩阵

场景	输入	预期	拒绝条件
自下而上创建	从新模型定义算法并完成 AUTOSAR 映射和测试	生成代码与 ARXML 通过接口和行为一致性核对	工件版本或所有者不可追溯
自上而下导入	导入既有组件 ARXML 后补充内部行为并往返导出	外部合同不被悄然改写，差异报告只包含批准变更	只展示最终现象，没有首个分岔
故障恢复	修改生成后的 C 文件修复行为，却不回写模型或映射，下一次生成覆盖修复	回退后同输入轨迹恢复	重置只清界面，没有恢复工件与状态

本章小结

“第4章：AUTOSAR软件组件级设计与开发”的掌握标准不是记住 16 个目录标题，而是能解释“把 Simulink 行为、AUTOSAR 类型接口、runnable 事件、映射和 C/ARXML 生成组织成可往返核对的软件组件流水线”，保持“模型、AUTOSAR 映射、生成代码和 ARXML 对同一端口、数据类型、runnable 周期与初始化值给出一致定义”，并在“修改生成后的 C 文件修复行为，却不回写模型或映射，下一次生成覆盖修复”发生时用模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异定位、回退和重放。

名词解释

本章出现的专业名词，用大白话再讲一遍。

行为模型

Simulink 逻辑、状态与测试向量。

AUTOSAR 合同

类型、接口、端口与服务调用。

执行语义

runnable、事件、周期与初始化。

模型映射

Simulink 元素到 AUTOSAR 属性。

生成工件

C 源码、头文件、ARXML 与报告。

练习

1. 怎样为“第4章：AUTOSAR软件组件级设计与开发”建立不依赖工具界面的最小正常基线？

查看答案

冻结“从新模型定义算法并完成 AUTOSAR 映射和测试”、规范和工具版本、五段工件及所有者；逐段记录输入输出，最后以“生成代码与 ARXML 通过接口和行为一致性核对”和模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异验收。任何一步无法复算时停止向后生成。

2. 正式目录中的每个节点怎样进入工件、可视化与练习证据？

查看答案

1. 第4章 AUTOSAR软件组件级设计与开发：在“行为模型”核对Simulink 逻辑、状态与测试向量，证据进入模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异。 2. 4.1 Matlab/Simulink与Embedded Coder工具简介：在“AUTOSAR 合同”核对类型、接口、端口与服务调用，证据进入模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异。 3. 4.1.1 Matlab/Simulink工具简介：在“执行语义”核对runnable、事件、周期与初始化，证据进入模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异。 4. 4.1.2 Embedded Coder工具简介：在“模型映射”核对Simulink 元素到 AUTOSAR 属性，证据进入模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异。 5. 4.2 基于Matlab/Simulink的软件组件开发：在“生成工件”核对C 源码、头文件、ARXML 与报告，证据进入模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异。 6. 4.2.1 Matlab/Simulink与AUTOSAR基本概念的对应关系：在“行为模型”核对Simulink 逻辑、状态与测试向量，证据进入模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异。 7. 4.2.2 软件组件内部行为建模方法：在“AUTOSAR 合同”核对类型、接口、端口与服务调用，证据进入模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异。 8. 4.2.3 AUTOSAR客户端/服务器机制的实现方法：在“执行语义”核对runnable、事件、周期与初始化，证据进入模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异。 9. 4.3 软件组件代码及描述文件配置生成：在“模型映射”核对Simulink 元素到 AUTOSAR 属性，证据进入模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异。 10. 4.3.1 求解器及代码生成相关属性配置：在“生成工件”核对C 源码、头文件、ARXML 与报告，证据进入模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异。 11. 4.3.2 模型配置：在“行为模型”核对Simulink 逻辑、状态与测试向量，证据进入模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异。 12. 4.3.3 AUTOSAR Properties配置：在“AUTOSAR 合同”核对类型、接口、端口与服务调用，证据进入模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异。 13. 4.3.4 Simulink-AUTOSAR Mapping配置：在“执行语义”核对runnable、事件、周期与初始化，证据进入模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异。 14. 4.3.5 符合AUTOSAR规范的代码及描述文件生成：在“模型映射”核对Simulink 元素到 AUTOSAR 属性，证据进入模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异。 15. 4.4 在Simulink中导入软件组件描述文件——“自上而下”的工作流程：在“生成工件”核对C 源码、头文件、ARXML 与报告，证据进入模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异。 16. 4.5 本章小结：在“行为模型”核对Simulink 逻辑、状态与测试向量，证据进入模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异。

3. 注入“修改生成后的 C 文件修复行为，却不回写模型或映射，下一次生成覆盖修复”后，怎样证明修复不是偶然？

查看答案

保存故障前的冻结输入和基线轨迹，定位首个偏离“模型、AUTOSAR 映射、生成代码和 ARXML 对同一端口、数据类型、runnable 周期与初始化值给出一致定义”的工件；修正受控源而非生成结果，清理下游工件后重新生成，再以同一输入重放“自上而下导入”。只有中间状态、最终结果和模型版本、求解器设置、端口映射、runnable 事件、生成报告、C 代码与 ARXML 差异全部恢复才接受修复。