从C到Simulink：告别全局变量，用状态思维建模嵌入式逻辑

对于每一位嵌入式C程序员来说，全局变量和静态变量是管理状态、实现跨函数逻辑的亲密战友。我们习惯于在函数中修改一个全局的控制字，或者在多次调用之间用一个静态计数器来记录状态。
然而，当我们转向基于模型设计（MBD），使用Simulink进行建模时，一个根本性的问题出现了：在Simulink的数据流世界里，如何实现“修改一个变量，并让它在下一次函数调用时生效”这种经典的C语言逻辑？
直接对输入信号“赋值”是行不通的。本文将为你揭示Simulink的核心思想——状态建模，并通过一个实战案例，手把手教你如何用专业的Simulink模块来替代C语言中的全局和静态变量。

核心思维的转变：从“过程式”到“数据流”

在深入之前，我们必须理解两种范式的根本区别。

这个转变意味着，我们不能再用“赋值”的思想去思考，而要用“数据如何流动和演化”的思想来构建模型。

C语言与Simulink的“翻译词典”

为了方便你理解，这里有一张“翻译词典”，它将C语言中的状态管理概念映射到Simulink的标准模块上。

实战案例：将一个C函数“翻译”成Simulink模型

让我们以一个经典的嵌入式函数为例，展示完整的转换过程。

原始C代码分析

// 一个用于比较和存储EEPROM密钥的函数
uint16_t CompareEpromKey(uint32_t key, SaveParaInforType* m) {
    // 全局控制字，用于记录状态
    extern EpromCtrlWordType EpromCtrlWord; 
    if (EpromCtrlWord.bit.EpromFindKeyFlg == true) {
        return true; // 如果已找到，直接返回
    }
    // ... 复杂的读写、比较、失败重试逻辑 ...
    // 在逻辑中，会修改 EpromCtrlWord 的各个位
    // 也会修改 m->failCount (一个需要记住的计数器)
    return false;
}

关键状态识别：

1. EpromCtrlWord：一个典型的全局变量，其状态影响函数的主要分支。
2. m->failCount：一个在多次调用间需要递增的计数器，是静态变量的体现。

Simulink建模步骤

第一步：定义数据“蓝图”

在建模前，先用 buseditor 创建所有需要的总线对象，如 SaveParaInforType 和 EpromCtrlWordType，并保存到一个 .m 文件中。

第二步：建立全局状态

EpromCtrlWord 是全局的，我们用 Data Store Memory 来建模。

1. 在模型顶层放置一个 Data Store Memory 模块，命名为 EpromCtrlWord。
2. 设置其 Data type 为 Bus: EpromCtrlWordType。
3. 设置 Initial value，例如所有位均为 false。
   这个模块就像一个全局的“黑板”，我们可以在任何地方读写它。

第三步：构建 CompareEpromKey 子系统

现在，我们来构建核心逻辑。

1. 创建一个子系统，命名为 CompareEpromKey。
2. 设置输入端口：key (uint32), m_in (Bus: SaveParaInforType)。
3. 设置输出端口：return_val (boolean), m_out (Bus: SaveParaInforType)。
   子系统内部逻辑详解：
   下面是子系统内部的模型结构，它精确地复现了C代码的逻辑。
   逻辑分解：
4. 读取全局状态：使用 Data Store Read 模块获取当前的 EpromCtrlWord。
5. 实现 if(EpromCtrlWord.bit.EpromFindKeyFlg == true)：
   • 用 Bus Selector 提取 EpromFindKeyFlg 信号。
   • 用一个 Switch 模块，当 EpromFindKeyFlg 为 true 时，直接输出 true，否则执行后续主逻辑。
6. 实现 m->failCount++：
   • 使用 Unit Delay 模块。它的输出是旧的 failCount，输入是新的 failCount。
   • 设置 Initial conditions 为 0。
7. 实现主逻辑：
   • 在需要修改 m 结构体（如 m->failCount++）的地方，使用 Bus Assignment 模块创建一个新的总线。
   • 在需要修改全局控制字（如 EpromCtrlWord.bit.EpromFindKeyFlg = true;）的地方，先用 Bus Assignment 创建一个修改后的新总线，然后用 Data Store Write 模块将其写回 EpromCtrlWord 数据存储。

总结：拥抱状态，拥抱清晰的未来

通过这个案例，我们完成了从C语言过程式编程到Simulink数据流建模的华丽转身。

• 清晰直观：模型本身就是最好的文档，状态和逻辑一目了然。
• 易于调试：你可以轻松地用Scope模块观察任何状态（如 failCount 或 EpromCtrlWord）随时间的变化。
• 健壮可靠：避免了全局变量带来的副作用，模型逻辑更加可控。
• 无缝代码生成：这些标准状态模块能被高效地转换成高质量的嵌入式C代码。
  下次当你想在Simulink中实现一个带有“记忆”功能的C函数时，请忘记“赋值”，拥抱“状态”，你会发现一个更清晰、更强大的建模世界。