3. Simulink模型面向实时部署的建模规范

把 Simulink 模型从“桌面仿真能跑通”推进到“实时目标机上稳定运行”，中间隔着一整套建模约束。桌面仿真允许变步长、允许代数环、允许双精度浮点、允许模块按数据依赖任意排序；而实时部署要求每个采样周期在确定的时间预算内完成计算，任何一次超时都会导致过run（Overrun），进而引起控制量抖动甚至系统失稳。本节围绕固定步长求解器选择、代数环处理、状态初始化、数据类型与模块执行顺序五个关键点，说明它们各自如何影响实时性，以及在建模阶段应当如何落地。

固定步长求解器：实时性的第一道门槛

实时仿真必须使用固定步长求解器，因为只有固定步长才能保证每个采样周期的时间确定性。Simulink 中常用的固定步长求解器有 ode1（欧拉法）、ode4（龙格-库塔四阶）、ode5（龙格-库塔五阶）以及 FixedStepDiscrete。选择依据是模型的动态特性与实时预算：

• ode1：每步只计算一次导数，计算量最小，适合被控对象动态较慢或对精度要求不高的场合，例如温度控制、液位控制。
• ode4：每步计算四次导数，精度明显提升，适合电机电流环、电力电子变换器等中速动态系统。
• ode5：每步计算六次导数，精度最高但计算量最大，仅在实时目标机算力充裕且动态较快时使用。
• FixedStepDiscrete：纯离散模型或已离散化的控制器应优先选用，避免连续求解器带来的额外积分开销。

步长选择需要与实时任务周期一致。例如目标机以 1 kHz 运行，则固定步长设为 1 ms；若模型包含 10 kHz 的 PWM 载波逻辑，则步长应设为 100 μs 或更小。步长过大会导致数值不稳定，步长过小则可能使单步计算时间超过步长本身，直接触发 Overrun。一个实用的判断方法是：在目标机上运行模型并观察单步执行时间，若最坏情况执行时间（WCET）超过步长的 70%，就应缩短步长或简化模型。

代数环处理：打破直接馈通回路

代数环是指模型中存在一个不含任何状态模块（如 Integrator、Unit Delay）的反馈回路，使得当前时刻的输出直接依赖于当前时刻的输入，形成无延迟的循环依赖。实时仿真中，代数环会导致求解器反复迭代，单步计算时间不可预测，严重时直接导致 Overrun。

处理代数环的常用手段有三种。第一，在反馈路径中插入 Unit Delay 或 Memory 模块，人为引入一个采样周期的延迟，这是最直接也最常用的方法。第二，使用 Algebraic Constraint 模块，让求解器用迭代方式求解代数方程，但这会显著增加计算量，实时部署中应尽量避免。第三，通过数学推导将代数环化简为显式表达式，例如将 y = (u - y) * K 改写为 y = u * K / (1 + K)，从根本上消除环。

判断模型中是否存在代数环，可以在 Simulink 中执行 Simulink.BlockDiagram.getAlgebraicLoops 命令，或在 Diagnostics 中把代数环检测设为 error 级别。对于实时部署模型，建议将代数环视为必须消除的建模缺陷，而不是依赖求解器自动处理。

状态初始化：从已知工作点出发

实时仿真通常从某个已知工作点启动，例如电机在零速、零电流状态，或车辆在静止状态。如果状态初值设置不当，启动瞬间会出现较大的瞬态冲击，控制量可能饱和，甚至触发保护。Simulink 中状态初值可以通过 Integrator 模块的 Initial condition 参数设置，也可以在模型工作区中定义 Simulink.Parameter 对象统一管理。

对于 HIL 仿真，被控对象模型的初值应与真实系统上电时的物理状态一致。例如一个直流电机模型，电枢电流初值设为 0 A，转速初值设为 0 rad/s，转子位置初值设为 0 rad。如果控制器内部有积分器，其初值也应与稳态工作点匹配，否则启动后积分器会缓慢爬升，造成控制量漂移。一个实用的做法是：先在桌面仿真中让模型运行到稳态，记录各状态量的稳态值，再将这些值作为实时仿真的初值。

数据类型：定点化与计算开销

桌面仿真默认使用 double 双精度浮点，而实时目标机（尤其是嵌入式 DSP 或 FPGA）往往只支持单精度 float 或定点运算。double 运算在嵌入式平台上通常由软件模拟，速度远低于硬件浮点单元。因此，面向实时部署的模型应尽早将数据类型统一为 single，或在必要时使用定点类型。

数据类型转换需要关注三点。第一，信号线的数据类型应在建模时显式指定，避免 Simulink 自动推导出 double。第二，控制器中的增益、积分系数等参数应使用与信号一致的数据类型，避免隐式转换。第三，对于定点模型，需要根据信号动态范围确定字长和小数位，例如电流信号范围 ±20 A，精度要求 0.01 A，则至少需要 12 位整数部分和 7 位小数部分。Simulink 提供 Fixed-Point Designer 工具可以辅助完成定标。

模块执行顺序：数据依赖与优先级

Simulink 在仿真前会对模型进行排序，确定每个模块的执行顺序。排序依据是数据依赖关系：一个模块必须在它所有输入信号的生产者之后执行。对于纯前馈模型，排序结果唯一；但对于存在多条路径或条件执行的模型，排序可能影响计算结果。

实时部署中，模块执行顺序直接影响单步计算时间。如果排序结果导致某些计算被重复执行，或导致缓存不友好，就会增加 WCET。可以通过以下方式优化：

• 使用 Atomic Subsystem 将相关模块封装为原子子系统，减少排序粒度。
• 避免在同一个采样周期内混合不同速率的模块，使用 Rate Transition 模块显式处理速率转换。
• 对于 Function-Call Subsystem，明确指定函数调用优先级，确保关键控制路径优先执行。
• 使用 Simulink.BlockDiagram.getSortedOrder 查看排序结果，确认没有意外的执行顺序。

综合来看，固定步长求解器决定了时间确定性，代数环处理决定了单步计算时间的可预测性，状态初始化决定了启动瞬态的可控性，数据类型决定了计算效率，模块执行顺序决定了最坏情况执行时间。这五个方面相互关联，任何一项处理不当都可能成为实时部署的瓶颈。建模阶段多花时间规范这些细节，远比在目标机上反复调试 Overrun 更高效。