简介围绕MATLAB环境下AUTOSAR软件开发的模式接口样例模型展开面向汽车电子软件工程师、嵌入式开发者及高校相关方向学习者帮助梳理从模式定义、接口设计到RTE配置、模型集成、代码生成与测试验证的完整链路。资源以Simulink/Stateflow模型和AUTOSAR描述文件为核心包含模式管理与接口示例便于对照理解信号通信、组件接口配置、生成代码的组织方式并借助仿真测试核对模式切换与组件间通信逻辑对入门AUTOSAR建模和工程落地有较强参考价值。压缩包共78个文件约1.04MB主要由mat数据、h头文件、arxml描述文件、slx模型、c源码以及rsp、mk等工程配置和构建脚本组成类型分布覆盖建模、代码生成与编译产物目录组织贴近实际工程流程。已有493人学习适合作为模式接口建模与自动代码生成的实践样例也可用于课程演示和自学查漏。1. 模式接口先立规矩一份样例模型能省掉的三类联调返工模式接收端口接上了、枚举也选好了联调时还是会出现「模式已经切到 RUN初始化逻辑没跑」的情况——问题往往不在算法而在模式切换事件没有绑到 runnable 上。这份基于 MATLAB 的 AUTOSAR 模式接口样例模型把模式声明组、模式收发端口、模式切换触发事件和 ARXML 导出串成一条可运行的链路。它适合刚接手组件建模、被模式时序绕晕的人也适合想把「模式约定」从口头沟通改成可校验配置的人。模型规模不大但边界条件埋得比较全拿来当模板比自己从空模型摸一遍省事。2. 拆样例模式声明组、模式端口与模式切换事件在 Simulink 里的落点拿到一个模式接口样例最容易犯的错是先看端口、后看声明组。实际顺序应该反过来声明组决定枚举长什么样端口只是把这个枚举引出去触发事件则决定谁会因为这个枚举变化而被调用。三者是引用关系不是并列关系改任何一处都会顺带改 ARXML 里的短名和引用路径。2.1 模式声明组initialMode 与 onTransitionValue 决定了什么模式声明组ModeDeclarationGroup在 ARXML 里是一组模式声明加上一个初始模式引用落到 Simulink 侧就是一个枚举类型加一个默认值。样例模型里通常放 4 个业务模式启动、运行、休眠、关机再加一个过渡值。过渡值不是业务模式它的作用是告诉接收方「现在正在切先别动」。这个过渡值是整份样例里最容易被删掉的东西。删掉之后模型照样能生成代码仿真也能跑通但接收方在切换窗口内会读到一个尚未稳定的枚举状态机就容易翻车。我一般会把过渡值显式声明成一个独立模式比如 TRANSITION而不是复用某个业务值这样在生成的枚举里能一眼看出来。字段作用填错的后果模式声明列表定义枚举成员名改名等于改接口基线 ARXML 大面积飘红initialModeECU 启动时接收方看到的默认值填成运行态上电瞬间逻辑提前动作onTransitionValue切换窗口内的哨兵值不填则接收方读到中间态状态机跑飞声明组短名被端口和事件引用与集成侧命名不一致时导入报未定义initialMode的选择有个朴素原则选一个「什么都不做」的模式。启动态、空闲态都行但不要选运行态。样例模型里初始模式给的是 STARTUP接收方的第一句判断就是「不是 RUN 就输出保持」这样上电到第一次模式切换之间不会产生任何副作用。2.2 模式端口的方向谁提供模式、谁请求模式模式端口有两种语义新手最容易混。一种是接收模式组件是消费者端口在组件上是 R-Port接口类型是模式切换接口另一种是请求模式组件是发起方端口在组件上是 P-Port但对端是模式管理器。样例模型里两种都给了一个接收端口加一个请求端口正好覆盖「我跟着模式走」和「我想让模式变」两个场景。请求端口不是「我说了算」。多个组件同时请求时由模式管理器做仲裁组件侧不应该在模型里写「谁先请求谁优先」这类逻辑。我见过有人在请求端口后面接一个优先级选择器仿真时看着对上车联调就完全对不上——仲裁权不在应用组件手里这段逻辑写多少都是白写。在 Simulink 里区分这两种端口看的是端口种类和接口引用。接收端口引用模式声明组请求端口引用同一个声明组但方向相反。样例模型把两者放在同一个组件里导出 ARXML 后能在组件类型下看到两个方向相反的端口对照着看一遍比读文档快。2.3 模式切换事件OnEntry、OnExit、OnTransition 的触发边界模式切换事件是边沿语义不是电平语义。进入 RUN 的那一拍触发一次之后模式一直保持 RUN事件不会再触发。这一点和周期采样完全不同很多人把初始化逻辑挂在 OnEntry 上然后发现「模式没变初始化就只跑了一次」其实是自己把边沿当成了电平。三种事件的边界要分清。OnEntry 在进入目标模式时触发适合做初始化、打开输出OnExit 在离开源模式时触发适合做清理、关断OnTransition 针对一对具体的源模式和目标模式适合处理「从运行切到休眠」这种特定迁移。样例模型里各挂了一个 runnable方便对照生成的 RTE 调用顺序。一个 runnable 只挂一个触发事件是最稳的做法。挂多个事件时导出阶段经常报事件冲突即便勉强生成RTE 侧的调用点也会变得难以追踪。多个模式分支怎么办我的习惯是拆成多个 runnable或者在一个 runnable 内部用模式值做分支判断前者更清晰后者更省函数。样例模型两种写法都留了可以按团队规范二选一。提示OnTransition 事件必须同时指定源模式和目标模式只指定目标模式时工具可能把它退化成 OnEntry 处理导出后行为会变。3. 从空模型到可导出 ARXML模式接口的建模步骤与脚本样例模型可以直接打开看但真要落到自己的组件上还是得走一遍「建模型、配属性、绑事件、导 ARXML」的流程。这一章按顺序给四步每一步都有可执行的脚本脚本里的属性名在不同 MATLAB 版本上可能略有差异先用methods看一眼当前版本支持什么比照着文档猜要快。3.1 环境与模型骨架先固定配置集再动端口顺序很重要先把配置集固定下来再往里加端口和事件。反过来做的话改配置集时求解器类型一变已经配好的离散任务和事件时刻会被重算之前调好的时序全部作废。这是我踩过的坑返工一次大概半天。% 1) 确认工具箱在位 v ver; names {v.Name}; hasAutosar any(contains(names, AUTOSAR)); fprintf(AUTOSAR Blockset: %d\n, hasAutosar); % 2) 新建模型并固定配置集 mdl autosar_mode_demo; if bdIsLoaded(mdl), close_system(mdl, 0); end new_system(mdl); open_system(mdl); cs getActiveConfigSet(mdl); set_param(cs, SolverType, Fixed-step); set_param(cs, Solver, FixedStepDiscrete); set_param(cs, FixedStep, 0.01); set_param(cs, StartTime, 0); set_param(cs, StopTime, 10); set_param(mdl, SystemTargetFile, autosar.tlc); % 3) 打开 AUTOSAR 属性等价于界面上的配置 autosar.api.create(mdl, init);第一步只是探测不做硬性断言工具箱不在位时后面的命令会直接报错比assert更好定位。第二步把求解器钉死在离散定步长步长取 0.01 秒是为了和常见的 RTE 任务周期对齐仿真波形和上车后的调用节奏能对得上。第三步的autosar.api.create会给模型挂上 AUTOSAR 属性容器后面所有add、set都往这个容器里写。配置项建议值原因SystemTargetFileautosar.tlc只有这个目标会同时产出代码和 ARXML 契约SolverFixedStepDiscrete模式事件挂在离散任务上变步长会让事件时刻不可复现FixedStep0.01与 RTE 任务周期一致便于逐拍对照StopTime10至少覆盖一次完整的模式迁移链路还有一项容易漏模型的保存格式和编码。ARXML 是文本契约模型里如果混进了非 ASCII 的注释导出后可能出现转义差异diff 时看着像改了一大片实际只改了一行注释。样例模型的注释全部用英文短句就是为这个。3.2 用脚本补齐模式声明组与端口属性界面点选和脚本配置是等价的但脚本可复现、可进版本库团队里两个人配出来的东西不会漂。下面这段把声明组、接收端口、请求端口一次配完。arProps autosar.api.getAUTOSARProperties(mdl); % 1) 模式声明组4 个业务模式 1 个过渡值 add(arProps, /, ModeDeclarationGroup, MDG_VehicleMode); mdg find(arProps, /, ModeDeclarationGroup, MDG_VehicleMode); add(arProps, mdg, ModeDeclaration, STARTUP); add(arProps, mdg, ModeDeclaration, RUN); add(arProps, mdg, ModeDeclaration, SLEEP); add(arProps, mdg, ModeDeclaration, SHUTDOWN); add(arProps, mdg, ModeDeclaration, TRANSITION); set(arProps, mdg, InitialMode, STARTUP); set(arProps, mdg, OnTransitionValue, TRANSITION); % 2) 接收端口组件消费模式 add(arProps, /, ReceiverPort, RP_VehicleMode); rp find(arProps, /, ReceiverPort, RP_VehicleMode); set(arProps, rp, PortKind, Mode); % 属性名随版本可能不同 set(arProps, rp, Interface, MDG_VehicleMode); % 3) 请求端口组件发起模式请求 add(arProps, /, SenderPort, PP_RequestMode); pp find(arProps, /, SenderPort, PP_RequestMode); set(arProps, pp, PortKind, ModeRequest); set(arProps, pp, Interface, MDG_VehicleMode);声明组的五个模式里前四个是业务值最后一个是过渡值通过OnTransitionValue指过去。接收端口的PortKind设成 Mode接口引用声明组请求端口的PortKind设成 ModeRequest接口还是同一个声明组但语义完全不同。这两行如果写反导出的 ARXML 会把方向搞错集成侧导入时不会报错只会在联调时表现为「模式请求发不出去」。写完立刻回读一遍确认属性真的落进去了别等导出才发现某一行没生效。% 回读校验属性写没写进去看一眼就知道 disp(get(arProps, rp, Interface)); disp(get(arProps, mdg, InitialMode));3.3 绑定 runnable 与模式切换事件runnable 和事件的绑定是这份样例的核心。做法是先建 runnable再给它挂一个模式切换事件事件的类别和模式值分开设。下面这段建了三个 runnable分别对应进入运行、离开运行、从运行切到休眠。% 进入 RUN add(arProps, /, Runnable, RE_EnterRun); re1 find(arProps, /, Runnable, RE_EnterRun); add(arProps, re1, ModeSwitchEvent, MSE_EnterRun); set(arProps, [re1 /MSE_EnterRun], Category, OnEntry); set(arProps, [re1 /MSE_EnterRun], ModeDeclarationGroup, MDG_VehicleMode); set(arProps, [re1 /MSE_EnterRun], ModeDeclaration, RUN); % 离开 RUN add(arProps, /, Runnable, RE_ExitRun); re2 find(arProps, /, Runnable, RE_ExitRun); add(arProps, re2, ModeSwitchEvent, MSE_ExitRun); set(arProps, [re2 /MSE_ExitRun], Category, OnExit); set(arProps, [re2 /MSE_ExitRun], ModeDeclarationGroup, MDG_VehicleMode); set(arProps, [re2 /MSE_ExitRun], ModeDeclaration, RUN); % 从 RUN 迁到 SLEEP add(arProps, /, Runnable, RE_RunToSleep); re3 find(arProps, /, Runnable, RE_RunToSleep); add(arProps, re3, ModeSwitchEvent, MSE_RunToSleep); set(arProps, [re3 /MSE_RunToSleep], Category, OnTransition); set(arProps, [re3 /MSE_RunToSleep], ModeDeclarationGroup, MDG_VehicleMode); set(arProps, [re3 /MSE_RunToSleep], SourceMode, RUN); set(arProps, [re3 /MSE_RunToSleep], TargetMode, SLEEP);前三段结构一样差别只在于 Category 和模式参数。OnEntry 和 OnExit 各填一个模式值就够了OnTransition 必须把源和目标都填上少填一个会被工具当成普通进入事件处理导出后行为和预期不一致而且不会报错属于典型的静默失效。runnable 建完之后还要在模型里给它一个函数体否则生成代码会出现空实现。样例用 MATLAB Function 块承接函数体如下。function [y, active] modeStep(mode, u) %#codegen % mode 为模式声明组枚举TRANSITION 期间保持上一拍输出 persistent yPrev if isempty(yPrev) yPrev single(0); end if mode MDG_VehicleMode.TRANSITION y yPrev; % 过渡期不动作避免半状态输出 elseif mode MDG_VehicleMode.RUN y u * 2; % 占位算法按实际控制律替换 else y single(0); end yPrev y; active (mode MDG_VehicleMode.RUN);persistent在这里是必要的过渡期要输出上一拍的值没有历史值就只能清零清零在控制律里等于一次冲击。函数开头的空判断是首次调用的保护缺了它第一次进过渡期会输出未初始化值。active输出给外部做诊断方便在仿真波形里看出模式判断有没有落在预期分支。3.4 导出前的自检validateModel 与 ARXML 差异比对导出前跑一次模型校验能挡掉大半低级问题。校验通过不等于逻辑对但校验不通过一定有问题顺序不要搞反。% 1) 模型级校验 autosar.api.validateModel(mdl); % 2) 生成代码与 ARXML slbuild(mdl); % 3) 列出产物确认 ARXML 真的生成了 files dir(fullfile(pwd, **, *.arxml)); for k 1:numel(files) fprintf(%s\t%d bytes\n, files(k).name, files(k).bytes); endvalidateModel会检查端口引用、事件绑定、命名冲突这几类问题输出通常是告警列表行号指向模型里的具体位置。slbuild走完整代码生成流程耗时比仿真长但只有它能产出 ARXML。第三步用递归dir找产物比记固定目录名可靠不同版本的输出目录命名并不一致。拿到 ARXML 之后做一次往返导入确认文件是自洽的。% 往返校验能被重新导入说明引用关系没断 importer arxml.importer(MDG_VehicleMode.arxml);文件名按实际导出结果改。往返导入最大的价值不是「能打开」而是能在导入报告里看到共享包被引用了几次、有没有生成重复定义。共享包重复是模式接口最常见的集成问题早发现比在集成环境里查两天强。4. 生成代码与 RTE 对接模式切换在 C 代码里长什么样模型跑通只是第一步真正交付的是 C 代码和 ARXML。模式接口在代码里的体现有两处一处是 runnable 的函数原型另一处是 RTE 提供的模式读写接口。这两处的命名都跟着 ARXML 短名走所以短名一旦定版就别动。4.1 代码映射配置函数原型、文件名与可重入性代码映射决定 runnable 叫什么、放哪个文件、能不能重入。模式相关的 runnable 改动频率高我一般让它单独成文件diff 的时候只看到自己改的那几个函数不会被无关代码淹没。配置项建议值理由函数名与 runnable 短名一致RE_ 前缀集成侧按名字对表改名等于改契约文件打包按 runnable 分文件模式逻辑改动频繁减少 diff 噪声可重入单实例组件不开开了会增加 RTE 生成复杂度收益为零采样率继承模式事件模式触发 runnable 不要额外绑周期 rate采样率这一项要特别说。模式触发的 runnable 本身没有周期概念如果在映射里又给它绑一个周期 rate生成的代码会出现两套调用点一套来自模式切换一套来自周期任务运行起来谁先谁后取决于任务调度属于典型的玄学问题。样例模型里这一类 runnable 全部不绑周期。4.2 从生成的 RTE 调用看模式事件的时序生成的 RTE 头文件里模式相关接口大致是读写两组。下面这段是结构示意不是逐字生成结果但命名规律和调用关系是一致的拿自己工程的Rte_*.h对照着看能对上。/* Rte_VehicleMode.h —— 结构示意 */ Std_ReturnType Rte_Mode_RP_VehicleMode_MDG_VehicleMode(VehicleMode_ModeType *mode); void Rte_Switch_PP_RequestMode_MDG_VehicleMode(VehicleMode_ModeType mode); /* 模式切换事件触发点示意 */ void Rte_ModeSwitch_MDG_VehicleMode(VehicleMode_ModeType newMode) { /* 1. 源模式 OnExit */ RE_ExitRun(); /* 2. 更新模式值过渡期内为 onTransitionValue */ /* 3. 目标模式 OnEntry */ RE_EnterRun(); /* 4. 特定迁移 OnTransition */ RE_RunToSleep(); }常规顺序是先执行源模式的 OnExit再更新模式值最后执行目标模式的 OnEntryOnTransition 夹在中间。过渡值在这个窗口内对接收方可见所以接收方读模式的第一句必须判过渡值不能直接拿去做switch。这段顺序在不同版本、不同配置下会有细微差别以生成的 RTE 为准不要背结论。请求端口的调用是单向的组件调Rte_Switch_*发出请求能不能切成由模式管理器决定。所以请求之后不要立刻假设模式已经变了正确的做法是等下一次模式接收端口的读值或者用模式切换事件来驱动后续逻辑。样例模型里请求和接收是解耦的中间没有任何假设。4.3 一份可对照的检查清单模型、ARXML、C 代码三处要能对上对不上的时候按下面这张表逐项排查比漫无目的地翻文件快。检查项模型里看什么生成代码里看什么模式枚举完整声明组是否含过渡值枚举定义是否有对应成员端口方向接收是 R-Port、请求是 P-PortRTE 接口是读还是写事件绑定runnable 是否只挂一个事件函数是否只在一处被调用初始模式initialMode 是否为静止态初始化段是否读到该值过渡处理函数体首句是否判过渡值过渡分支是否保留上一拍输出这张表我自己每次交付前都会过一遍五分钟能过完能挡掉大部分集成期返工。尤其是第三行一个 runnable 挂两个事件的情况模型里不报错代码里会出现两个调用点最难查。5. 避坑与排查模式不切换、校验不过、集成对不上模式接口的问题有个共同点大多不报错只表现为行为不对。所以排查思路不是看日志而是按「模型配置 → ARXML 契约 → 生成代码」三层逐层对齐。下面五条是我这几年遇到频率最高的按现象、原因、解决写。5.1 建模阶段的三个高频坑现象模式切到 RUN初始化 runnable 一次都没执行。原因通常是 runnable 还挂着周期采样事件模式切换事件只是「加上了」原来的没删。工具允许一个 runnable 存在多个触发引用导出时不一定报错但 RTE 只会挑其中一个生成调用点。解决办法是把周期事件删掉只留模式切换事件然后重新导出在生成的 RTE 里确认函数只出现一次。现象接收方在切换瞬间读到非法枚举状态机跳到默认分支。原因是声明组没配onTransitionValue或者配了但接收方代码没判。前者在 ARXML 里表现为缺少过渡值引用后者在代码里表现为switch没有 default 保护。两边都要补声明组显式声明过渡值接收方函数第一句先判过渡并保持输出。现象改了一个模式名ARXML diff 出来几百行。模式名就是 ARXML 里的短名改名等于改接口所有引用它的端口、事件、RTE 接口都会跟着变。更麻烦的是集成侧如果还用旧名导入时不会报错只会生成两套并行定义。我的做法是名字定版后只增不改需要新语义就加一个新声明旧声明留着不动。5.2 导出与集成阶段的两个坑现象ARXML 导入集成环境报「声明组未定义」或「重复定义」。前者多半是共享包没一起导后者是复制模型时把接口一起复制了出现两份同名不同 UUID 的定义。解决办法是把模式声明组放在共享包里组件模型只做引用复制模型时先确认接口是引用还是内联。往返导入一次能提前发现这类问题。现象ARXML 能打开生成代码里却没有模式切换函数。三个可能系统目标文件不是autosar.tlc、autosar.api.create没执行过、runnable 没做代码映射。按顺序查先看配置集再看属性容器在不在最后看映射表。第三条最容易漏模型里 runnable 建了但没映射到模型里的函数生成阶段直接跳过。注意不要手改导出的 ARXML 来「修」问题。手改的部分下次导出就没了而且 UUID 会变集成侧会认为是两个不同的接口。6. 把模式接口纳入脚本化回归一个能进 CI 的校验套路模式接口最怕的不是一次配错是「上次配对了这次改别的东西把它带歪了」。所以我习惯把关键检查写成函数改完模型跑一遍几十秒出结果比人工翻 ARXML 靠谱。下面这个函数做三件事校验模型、导出 ARXML、和基线做文本比对。function ok checkModeInterface(mdl, baselineArxml) % 模式接口回归检查模型校验 导出 与基线比对 ok false; % 1) 模型级校验有告警直接返回 try autosar.api.validateModel(mdl); catch ME fprintf(validate failed: %s\n, ME.message); return; end % 2) 重新生成确保 ARXML 是最新的 slbuild(mdl); % 3) 与基线比对只比文本差异行数不做语义解析 files dir(fullfile(pwd, **, *.arxml)); if isempty(files) fprintf(no arxml generated\n); return; end newArxml fullfile(files(1).folder, files(1).name); txt1 fileread(baselineArxml); txt2 fileread(newArxml); d diffRows(txt1, txt2); fprintf(diff rows: %d\n, d); % 4) 差异行数超过阈值视为接口被改动需要人工确认 ok (d 20); end function n diffRows(a, b) % 粗粒度行比对够用即可不引入额外依赖 la strsplit(a, newline); lb strsplit(b, newline); n abs(numel(la) - numel(lb)); m min(numel(la), numel(lb)); for k 1:m if ~strcmp(la{k}, lb{k}) n n 1; end end end这个函数的价值不在算法多精而在阈值可调。模式接口正常改动一般十几行超过二十行基本就是动了短名或者端口方向值得停下来看一眼。diffRows用的是最笨的逐行比较没有引入文本比对工具箱的依赖CI 机器上不用额外装东西。再往前一步可以把检查项做成表驱动新增检查项只加一行不用改函数结构。我现在的做法是维护一张小表声明组是否含过渡值、接收端口是否引用正确接口、每个 runnable 是否只有一个事件、初始模式是否为静止态。四项都过接口基本就是稳的。检查项判定方式失败时的典型原因声明组含过渡值查 ARXML 里的过渡值引用复制模型时漏配端口接口引用比对端口与声明组短名改名后没同步runnable 单事件统计事件引用数加了新事件没删旧的初始模式静止态读 initialMode 字段沿用别人的配置血泪经验是这套检查一定要在提交前跑不要等集成环境报错再回头查。集成环境里模型、ARXML、RTE 三层都在任何一层出问题都会表现成「模式不对」定位成本是本地的好几倍。从那以后我每次动模式接口哪怕只改一行注释也会先把基线 ARXML 拉出来跑一遍这个脚本确认差异行数在阈值内再提交。希望帮到你。本文还有配套的精品资源点击获取 
长河君 · 2026/11/5 2:18:47 · 阅读 1.2k AUTOSAR模式接口：Simulink声明组、切换事件与ARXML导出
简介围绕MATLAB环境下AUTOSAR软件开发的模式接口样例模型展开面向汽车电子软件工程师、嵌入式开发者及高校相关方向学习者帮助梳理从模式定义、接口设计到RTE配置、模型集成、代码生成与测试验证的完整链路。资源以Simulink/Stateflow模型和AUTOSAR描述文件为核心包含模式管理与接口示例便于对照理解信号通信、组件接口配置、生成代码的组织方式并借助仿真测试核对模式切换与组件间通信逻辑对入门AUTOSAR建模和工程落地有较强参考价值。压缩包共78个文件约1.04MB主要由mat数据、h头文件、arxml描述文件、slx模型、c源码以及rsp、mk等工程配置和构建脚本组成类型分布覆盖建模、代码生成与编译产物目录组织贴近实际工程流程。已有493人学习适合作为模式接口建模与自动代码生成的实践样例也可用于课程演示和自学查漏。1. 模式接口先立规矩一份样例模型能省掉的三类联调返工模式接收端口接上了、枚举也选好了联调时还是会出现「模式已经切到 RUN初始化逻辑没跑」的情况——问题往往不在算法而在模式切换事件没有绑到 runnable 上。这份基于 MATLAB 的 AUTOSAR 模式接口样例模型把模式声明组、模式收发端口、模式切换触发事件和 ARXML 导出串成一条可运行的链路。它适合刚接手组件建模、被模式时序绕晕的人也适合想把「模式约定」从口头沟通改成可校验配置的人。模型规模不大但边界条件埋得比较全拿来当模板比自己从空模型摸一遍省事。2. 拆样例模式声明组、模式端口与模式切换事件在 Simulink 里的落点拿到一个模式接口样例最容易犯的错是先看端口、后看声明组。实际顺序应该反过来声明组决定枚举长什么样端口只是把这个枚举引出去触发事件则决定谁会因为这个枚举变化而被调用。三者是引用关系不是并列关系改任何一处都会顺带改 ARXML 里的短名和引用路径。2.1 模式声明组initialMode 与 onTransitionValue 决定了什么模式声明组ModeDeclarationGroup在 ARXML 里是一组模式声明加上一个初始模式引用落到 Simulink 侧就是一个枚举类型加一个默认值。样例模型里通常放 4 个业务模式启动、运行、休眠、关机再加一个过渡值。过渡值不是业务模式它的作用是告诉接收方「现在正在切先别动」。这个过渡值是整份样例里最容易被删掉的东西。删掉之后模型照样能生成代码仿真也能跑通但接收方在切换窗口内会读到一个尚未稳定的枚举状态机就容易翻车。我一般会把过渡值显式声明成一个独立模式比如 TRANSITION而不是复用某个业务值这样在生成的枚举里能一眼看出来。字段作用填错的后果模式声明列表定义枚举成员名改名等于改接口基线 ARXML 大面积飘红initialModeECU 启动时接收方看到的默认值填成运行态上电瞬间逻辑提前动作onTransitionValue切换窗口内的哨兵值不填则接收方读到中间态状态机跑飞声明组短名被端口和事件引用与集成侧命名不一致时导入报未定义initialMode的选择有个朴素原则选一个「什么都不做」的模式。启动态、空闲态都行但不要选运行态。样例模型里初始模式给的是 STARTUP接收方的第一句判断就是「不是 RUN 就输出保持」这样上电到第一次模式切换之间不会产生任何副作用。2.2 模式端口的方向谁提供模式、谁请求模式模式端口有两种语义新手最容易混。一种是接收模式组件是消费者端口在组件上是 R-Port接口类型是模式切换接口另一种是请求模式组件是发起方端口在组件上是 P-Port但对端是模式管理器。样例模型里两种都给了一个接收端口加一个请求端口正好覆盖「我跟着模式走」和「我想让模式变」两个场景。请求端口不是「我说了算」。多个组件同时请求时由模式管理器做仲裁组件侧不应该在模型里写「谁先请求谁优先」这类逻辑。我见过有人在请求端口后面接一个优先级选择器仿真时看着对上车联调就完全对不上——仲裁权不在应用组件手里这段逻辑写多少都是白写。在 Simulink 里区分这两种端口看的是端口种类和接口引用。接收端口引用模式声明组请求端口引用同一个声明组但方向相反。样例模型把两者放在同一个组件里导出 ARXML 后能在组件类型下看到两个方向相反的端口对照着看一遍比读文档快。2.3 模式切换事件OnEntry、OnExit、OnTransition 的触发边界模式切换事件是边沿语义不是电平语义。进入 RUN 的那一拍触发一次之后模式一直保持 RUN事件不会再触发。这一点和周期采样完全不同很多人把初始化逻辑挂在 OnEntry 上然后发现「模式没变初始化就只跑了一次」其实是自己把边沿当成了电平。三种事件的边界要分清。OnEntry 在进入目标模式时触发适合做初始化、打开输出OnExit 在离开源模式时触发适合做清理、关断OnTransition 针对一对具体的源模式和目标模式适合处理「从运行切到休眠」这种特定迁移。样例模型里各挂了一个 runnable方便对照生成的 RTE 调用顺序。一个 runnable 只挂一个触发事件是最稳的做法。挂多个事件时导出阶段经常报事件冲突即便勉强生成RTE 侧的调用点也会变得难以追踪。多个模式分支怎么办我的习惯是拆成多个 runnable或者在一个 runnable 内部用模式值做分支判断前者更清晰后者更省函数。样例模型两种写法都留了可以按团队规范二选一。提示OnTransition 事件必须同时指定源模式和目标模式只指定目标模式时工具可能把它退化成 OnEntry 处理导出后行为会变。3. 从空模型到可导出 ARXML模式接口的建模步骤与脚本样例模型可以直接打开看但真要落到自己的组件上还是得走一遍「建模型、配属性、绑事件、导 ARXML」的流程。这一章按顺序给四步每一步都有可执行的脚本脚本里的属性名在不同 MATLAB 版本上可能略有差异先用methods看一眼当前版本支持什么比照着文档猜要快。3.1 环境与模型骨架先固定配置集再动端口顺序很重要先把配置集固定下来再往里加端口和事件。反过来做的话改配置集时求解器类型一变已经配好的离散任务和事件时刻会被重算之前调好的时序全部作废。这是我踩过的坑返工一次大概半天。% 1) 确认工具箱在位 v ver; names {v.Name}; hasAutosar any(contains(names, AUTOSAR)); fprintf(AUTOSAR Blockset: %d\n, hasAutosar); % 2) 新建模型并固定配置集 mdl autosar_mode_demo; if bdIsLoaded(mdl), close_system(mdl, 0); end new_system(mdl); open_system(mdl); cs getActiveConfigSet(mdl); set_param(cs, SolverType, Fixed-step); set_param(cs, Solver, FixedStepDiscrete); set_param(cs, FixedStep, 0.01); set_param(cs, StartTime, 0); set_param(cs, StopTime, 10); set_param(mdl, SystemTargetFile, autosar.tlc); % 3) 打开 AUTOSAR 属性等价于界面上的配置 autosar.api.create(mdl, init);第一步只是探测不做硬性断言工具箱不在位时后面的命令会直接报错比assert更好定位。第二步把求解器钉死在离散定步长步长取 0.01 秒是为了和常见的 RTE 任务周期对齐仿真波形和上车后的调用节奏能对得上。第三步的autosar.api.create会给模型挂上 AUTOSAR 属性容器后面所有add、set都往这个容器里写。配置项建议值原因SystemTargetFileautosar.tlc只有这个目标会同时产出代码和 ARXML 契约SolverFixedStepDiscrete模式事件挂在离散任务上变步长会让事件时刻不可复现FixedStep0.01与 RTE 任务周期一致便于逐拍对照StopTime10至少覆盖一次完整的模式迁移链路还有一项容易漏模型的保存格式和编码。ARXML 是文本契约模型里如果混进了非 ASCII 的注释导出后可能出现转义差异diff 时看着像改了一大片实际只改了一行注释。样例模型的注释全部用英文短句就是为这个。3.2 用脚本补齐模式声明组与端口属性界面点选和脚本配置是等价的但脚本可复现、可进版本库团队里两个人配出来的东西不会漂。下面这段把声明组、接收端口、请求端口一次配完。arProps autosar.api.getAUTOSARProperties(mdl); % 1) 模式声明组4 个业务模式 1 个过渡值 add(arProps, /, ModeDeclarationGroup, MDG_VehicleMode); mdg find(arProps, /, ModeDeclarationGroup, MDG_VehicleMode); add(arProps, mdg, ModeDeclaration, STARTUP); add(arProps, mdg, ModeDeclaration, RUN); add(arProps, mdg, ModeDeclaration, SLEEP); add(arProps, mdg, ModeDeclaration, SHUTDOWN); add(arProps, mdg, ModeDeclaration, TRANSITION); set(arProps, mdg, InitialMode, STARTUP); set(arProps, mdg, OnTransitionValue, TRANSITION); % 2) 接收端口组件消费模式 add(arProps, /, ReceiverPort, RP_VehicleMode); rp find(arProps, /, ReceiverPort, RP_VehicleMode); set(arProps, rp, PortKind, Mode); % 属性名随版本可能不同 set(arProps, rp, Interface, MDG_VehicleMode); % 3) 请求端口组件发起模式请求 add(arProps, /, SenderPort, PP_RequestMode); pp find(arProps, /, SenderPort, PP_RequestMode); set(arProps, pp, PortKind, ModeRequest); set(arProps, pp, Interface, MDG_VehicleMode);声明组的五个模式里前四个是业务值最后一个是过渡值通过OnTransitionValue指过去。接收端口的PortKind设成 Mode接口引用声明组请求端口的PortKind设成 ModeRequest接口还是同一个声明组但语义完全不同。这两行如果写反导出的 ARXML 会把方向搞错集成侧导入时不会报错只会在联调时表现为「模式请求发不出去」。写完立刻回读一遍确认属性真的落进去了别等导出才发现某一行没生效。% 回读校验属性写没写进去看一眼就知道 disp(get(arProps, rp, Interface)); disp(get(arProps, mdg, InitialMode));3.3 绑定 runnable 与模式切换事件runnable 和事件的绑定是这份样例的核心。做法是先建 runnable再给它挂一个模式切换事件事件的类别和模式值分开设。下面这段建了三个 runnable分别对应进入运行、离开运行、从运行切到休眠。% 进入 RUN add(arProps, /, Runnable, RE_EnterRun); re1 find(arProps, /, Runnable, RE_EnterRun); add(arProps, re1, ModeSwitchEvent, MSE_EnterRun); set(arProps, [re1 /MSE_EnterRun], Category, OnEntry); set(arProps, [re1 /MSE_EnterRun], ModeDeclarationGroup, MDG_VehicleMode); set(arProps, [re1 /MSE_EnterRun], ModeDeclaration, RUN); % 离开 RUN add(arProps, /, Runnable, RE_ExitRun); re2 find(arProps, /, Runnable, RE_ExitRun); add(arProps, re2, ModeSwitchEvent, MSE_ExitRun); set(arProps, [re2 /MSE_ExitRun], Category, OnExit); set(arProps, [re2 /MSE_ExitRun], ModeDeclarationGroup, MDG_VehicleMode); set(arProps, [re2 /MSE_ExitRun], ModeDeclaration, RUN); % 从 RUN 迁到 SLEEP add(arProps, /, Runnable, RE_RunToSleep); re3 find(arProps, /, Runnable, RE_RunToSleep); add(arProps, re3, ModeSwitchEvent, MSE_RunToSleep); set(arProps, [re3 /MSE_RunToSleep], Category, OnTransition); set(arProps, [re3 /MSE_RunToSleep], ModeDeclarationGroup, MDG_VehicleMode); set(arProps, [re3 /MSE_RunToSleep], SourceMode, RUN); set(arProps, [re3 /MSE_RunToSleep], TargetMode, SLEEP);前三段结构一样差别只在于 Category 和模式参数。OnEntry 和 OnExit 各填一个模式值就够了OnTransition 必须把源和目标都填上少填一个会被工具当成普通进入事件处理导出后行为和预期不一致而且不会报错属于典型的静默失效。runnable 建完之后还要在模型里给它一个函数体否则生成代码会出现空实现。样例用 MATLAB Function 块承接函数体如下。function [y, active] modeStep(mode, u) %#codegen % mode 为模式声明组枚举TRANSITION 期间保持上一拍输出 persistent yPrev if isempty(yPrev) yPrev single(0); end if mode MDG_VehicleMode.TRANSITION y yPrev; % 过渡期不动作避免半状态输出 elseif mode MDG_VehicleMode.RUN y u * 2; % 占位算法按实际控制律替换 else y single(0); end yPrev y; active (mode MDG_VehicleMode.RUN);persistent在这里是必要的过渡期要输出上一拍的值没有历史值就只能清零清零在控制律里等于一次冲击。函数开头的空判断是首次调用的保护缺了它第一次进过渡期会输出未初始化值。active输出给外部做诊断方便在仿真波形里看出模式判断有没有落在预期分支。3.4 导出前的自检validateModel 与 ARXML 差异比对导出前跑一次模型校验能挡掉大半低级问题。校验通过不等于逻辑对但校验不通过一定有问题顺序不要搞反。% 1) 模型级校验 autosar.api.validateModel(mdl); % 2) 生成代码与 ARXML slbuild(mdl); % 3) 列出产物确认 ARXML 真的生成了 files dir(fullfile(pwd, **, *.arxml)); for k 1:numel(files) fprintf(%s\t%d bytes\n, files(k).name, files(k).bytes); endvalidateModel会检查端口引用、事件绑定、命名冲突这几类问题输出通常是告警列表行号指向模型里的具体位置。slbuild走完整代码生成流程耗时比仿真长但只有它能产出 ARXML。第三步用递归dir找产物比记固定目录名可靠不同版本的输出目录命名并不一致。拿到 ARXML 之后做一次往返导入确认文件是自洽的。% 往返校验能被重新导入说明引用关系没断 importer arxml.importer(MDG_VehicleMode.arxml);文件名按实际导出结果改。往返导入最大的价值不是「能打开」而是能在导入报告里看到共享包被引用了几次、有没有生成重复定义。共享包重复是模式接口最常见的集成问题早发现比在集成环境里查两天强。4. 生成代码与 RTE 对接模式切换在 C 代码里长什么样模型跑通只是第一步真正交付的是 C 代码和 ARXML。模式接口在代码里的体现有两处一处是 runnable 的函数原型另一处是 RTE 提供的模式读写接口。这两处的命名都跟着 ARXML 短名走所以短名一旦定版就别动。4.1 代码映射配置函数原型、文件名与可重入性代码映射决定 runnable 叫什么、放哪个文件、能不能重入。模式相关的 runnable 改动频率高我一般让它单独成文件diff 的时候只看到自己改的那几个函数不会被无关代码淹没。配置项建议值理由函数名与 runnable 短名一致RE_ 前缀集成侧按名字对表改名等于改契约文件打包按 runnable 分文件模式逻辑改动频繁减少 diff 噪声可重入单实例组件不开开了会增加 RTE 生成复杂度收益为零采样率继承模式事件模式触发 runnable 不要额外绑周期 rate采样率这一项要特别说。模式触发的 runnable 本身没有周期概念如果在映射里又给它绑一个周期 rate生成的代码会出现两套调用点一套来自模式切换一套来自周期任务运行起来谁先谁后取决于任务调度属于典型的玄学问题。样例模型里这一类 runnable 全部不绑周期。4.2 从生成的 RTE 调用看模式事件的时序生成的 RTE 头文件里模式相关接口大致是读写两组。下面这段是结构示意不是逐字生成结果但命名规律和调用关系是一致的拿自己工程的Rte_*.h对照着看能对上。/* Rte_VehicleMode.h —— 结构示意 */ Std_ReturnType Rte_Mode_RP_VehicleMode_MDG_VehicleMode(VehicleMode_ModeType *mode); void Rte_Switch_PP_RequestMode_MDG_VehicleMode(VehicleMode_ModeType mode); /* 模式切换事件触发点示意 */ void Rte_ModeSwitch_MDG_VehicleMode(VehicleMode_ModeType newMode) { /* 1. 源模式 OnExit */ RE_ExitRun(); /* 2. 更新模式值过渡期内为 onTransitionValue */ /* 3. 目标模式 OnEntry */ RE_EnterRun(); /* 4. 特定迁移 OnTransition */ RE_RunToSleep(); }常规顺序是先执行源模式的 OnExit再更新模式值最后执行目标模式的 OnEntryOnTransition 夹在中间。过渡值在这个窗口内对接收方可见所以接收方读模式的第一句必须判过渡值不能直接拿去做switch。这段顺序在不同版本、不同配置下会有细微差别以生成的 RTE 为准不要背结论。请求端口的调用是单向的组件调Rte_Switch_*发出请求能不能切成由模式管理器决定。所以请求之后不要立刻假设模式已经变了正确的做法是等下一次模式接收端口的读值或者用模式切换事件来驱动后续逻辑。样例模型里请求和接收是解耦的中间没有任何假设。4.3 一份可对照的检查清单模型、ARXML、C 代码三处要能对上对不上的时候按下面这张表逐项排查比漫无目的地翻文件快。检查项模型里看什么生成代码里看什么模式枚举完整声明组是否含过渡值枚举定义是否有对应成员端口方向接收是 R-Port、请求是 P-PortRTE 接口是读还是写事件绑定runnable 是否只挂一个事件函数是否只在一处被调用初始模式initialMode 是否为静止态初始化段是否读到该值过渡处理函数体首句是否判过渡值过渡分支是否保留上一拍输出这张表我自己每次交付前都会过一遍五分钟能过完能挡掉大部分集成期返工。尤其是第三行一个 runnable 挂两个事件的情况模型里不报错代码里会出现两个调用点最难查。5. 避坑与排查模式不切换、校验不过、集成对不上模式接口的问题有个共同点大多不报错只表现为行为不对。所以排查思路不是看日志而是按「模型配置 → ARXML 契约 → 生成代码」三层逐层对齐。下面五条是我这几年遇到频率最高的按现象、原因、解决写。5.1 建模阶段的三个高频坑现象模式切到 RUN初始化 runnable 一次都没执行。原因通常是 runnable 还挂着周期采样事件模式切换事件只是「加上了」原来的没删。工具允许一个 runnable 存在多个触发引用导出时不一定报错但 RTE 只会挑其中一个生成调用点。解决办法是把周期事件删掉只留模式切换事件然后重新导出在生成的 RTE 里确认函数只出现一次。现象接收方在切换瞬间读到非法枚举状态机跳到默认分支。原因是声明组没配onTransitionValue或者配了但接收方代码没判。前者在 ARXML 里表现为缺少过渡值引用后者在代码里表现为switch没有 default 保护。两边都要补声明组显式声明过渡值接收方函数第一句先判过渡并保持输出。现象改了一个模式名ARXML diff 出来几百行。模式名就是 ARXML 里的短名改名等于改接口所有引用它的端口、事件、RTE 接口都会跟着变。更麻烦的是集成侧如果还用旧名导入时不会报错只会生成两套并行定义。我的做法是名字定版后只增不改需要新语义就加一个新声明旧声明留着不动。5.2 导出与集成阶段的两个坑现象ARXML 导入集成环境报「声明组未定义」或「重复定义」。前者多半是共享包没一起导后者是复制模型时把接口一起复制了出现两份同名不同 UUID 的定义。解决办法是把模式声明组放在共享包里组件模型只做引用复制模型时先确认接口是引用还是内联。往返导入一次能提前发现这类问题。现象ARXML 能打开生成代码里却没有模式切换函数。三个可能系统目标文件不是autosar.tlc、autosar.api.create没执行过、runnable 没做代码映射。按顺序查先看配置集再看属性容器在不在最后看映射表。第三条最容易漏模型里 runnable 建了但没映射到模型里的函数生成阶段直接跳过。注意不要手改导出的 ARXML 来「修」问题。手改的部分下次导出就没了而且 UUID 会变集成侧会认为是两个不同的接口。6. 把模式接口纳入脚本化回归一个能进 CI 的校验套路模式接口最怕的不是一次配错是「上次配对了这次改别的东西把它带歪了」。所以我习惯把关键检查写成函数改完模型跑一遍几十秒出结果比人工翻 ARXML 靠谱。下面这个函数做三件事校验模型、导出 ARXML、和基线做文本比对。function ok checkModeInterface(mdl, baselineArxml) % 模式接口回归检查模型校验 导出 与基线比对 ok false; % 1) 模型级校验有告警直接返回 try autosar.api.validateModel(mdl); catch ME fprintf(validate failed: %s\n, ME.message); return; end % 2) 重新生成确保 ARXML 是最新的 slbuild(mdl); % 3) 与基线比对只比文本差异行数不做语义解析 files dir(fullfile(pwd, **, *.arxml)); if isempty(files) fprintf(no arxml generated\n); return; end newArxml fullfile(files(1).folder, files(1).name); txt1 fileread(baselineArxml); txt2 fileread(newArxml); d diffRows(txt1, txt2); fprintf(diff rows: %d\n, d); % 4) 差异行数超过阈值视为接口被改动需要人工确认 ok (d 20); end function n diffRows(a, b) % 粗粒度行比对够用即可不引入额外依赖 la strsplit(a, newline); lb strsplit(b, newline); n abs(numel(la) - numel(lb)); m min(numel(la), numel(lb)); for k 1:m if ~strcmp(la{k}, lb{k}) n n 1; end end end这个函数的价值不在算法多精而在阈值可调。模式接口正常改动一般十几行超过二十行基本就是动了短名或者端口方向值得停下来看一眼。diffRows用的是最笨的逐行比较没有引入文本比对工具箱的依赖CI 机器上不用额外装东西。再往前一步可以把检查项做成表驱动新增检查项只加一行不用改函数结构。我现在的做法是维护一张小表声明组是否含过渡值、接收端口是否引用正确接口、每个 runnable 是否只有一个事件、初始模式是否为静止态。四项都过接口基本就是稳的。检查项判定方式失败时的典型原因声明组含过渡值查 ARXML 里的过渡值引用复制模型时漏配端口接口引用比对端口与声明组短名改名后没同步runnable 单事件统计事件引用数加了新事件没删旧的初始模式静止态读 initialMode 字段沿用别人的配置血泪经验是这套检查一定要在提交前跑不要等集成环境报错再回头查。集成环境里模型、ARXML、RTE 三层都在任何一层出问题都会表现成「模式不对」定位成本是本地的好几倍。从那以后我每次动模式接口哪怕只改一行注释也会先把基线 ARXML 拉出来跑一遍这个脚本确认差异行数在阈值内再提交。希望帮到你。本文还有配套的精品资源点击获取