4. 灯光状态机建模：定义灯光状态与迁移条件

好，咱们进入灯光模块最核心的部分——状态机建模。

说实话，AUTOSAR里很多模块的难点不在代码本身，而在状态机的设计。灯光控制更是如此。你想想看，车灯要是乱跳，那可不是闹着玩的。我在一个项目中就遇到过，因为状态迁移条件没定义清楚，远光灯在颠簸路段自己闪起来了……嗯，那段时间真是被测试部追着改。

4.1 灯光状态定义：Off / Position / Low / High

咱们先定义四个基础状态。这是最常见的乘用车灯光状态划分：

我个人习惯在枚举定义里加一个 LIGHT_INVALID 作为初始值。为什么？因为ECU上电后，硬件状态是不确定的。你直接给个Off，万一硬件还在亮着呢？先标记为无效，等状态机初始化完成再切到Off，这样更安全。

// 灯光状态枚举
typedef enum {
    LIGHT_INVALID   = 0x00,
    LIGHT_OFF       = 0x01,
    LIGHT_POSITION  = 0x02,
    LIGHT_LOW       = 0x03,
    LIGHT_HIGH      = 0x04
} LightStateType;

4.2 状态迁移条件

状态怎么跳？不是你想跳就能跳的。每个迁移都要有明确的触发条件。我把它分成三类：

• 用户输入：灯光开关、拨杆信号
• 系统条件：车速、环境光、点火状态
• 故障事件：过流、过热、通信超时

下面这张表，是我在项目里实际用过的迁移矩阵。你直接拿去用，基本不会出大问题：

4.3 使用State Manager实现状态机

AUTOSAR里有个现成的模块叫 State Manager（Sm），专门干这个事。但说实话，很多工程师觉得它太重了，喜欢自己写个轻量级的状态机。我个人建议：如果项目里已经用了BswM（Basic Software Mode Manager），那就直接用它的状态机框架，别自己造轮子。

下面是一个用BswM实现的灯光状态机配置思路：

// 伪代码：BswM中灯光状态机规则配置
BswM_Rule_LightOff:
    Condition: (LightSwitch == OFF) OR (Ignition == OFF)
    Action:    SetLightState(LIGHT_OFF)

BswM_Rule_LightPosition:
    Condition: (LightSwitch == POSITION) AND (Ignition == ON)
    Action:    SetLightState(LIGHT_POSITION)

BswM_Rule_LightLow:
    Condition: (LightSwitch == LOW) AND (Ignition == ON)
    Action:    SetLightState(LIGHT_LOW)

BswM_Rule_LightHigh:
    Condition: (LightSwitch == HIGH) AND (LowBeam == ON)
    Action:    SetLightState(LIGHT_HIGH)

如果你不想用BswM，自己写一个状态机也不难。核心就三个东西：

• 当前状态变量：保存当前灯光状态
• 迁移表：一个二维数组，存着每个状态下的合法迁移
• 状态处理函数：进入每个状态时执行的逻辑

// 状态处理函数指针数组
typedef void (*StateHandler)(void);

StateHandler lightStateHandlers[] = {
    [LIGHT_OFF]      = LightOffHandler,
    [LIGHT_POSITION] = LightPositionHandler,
    [LIGHT_LOW]      = LightLowHandler,
    [LIGHT_HIGH]     = LightHighHandler
};

// 状态迁移函数
void LightStateMachine_Run(void) {
    LightStateType nextState;
    
    // 检查迁移条件
    nextState = CheckTransitionConditions(currentState);
    
    if (nextState != currentState) {
        // 执行状态退出动作（如果需要）
        // 更新状态
        currentState = nextState;
        // 执行状态进入动作
        lightStateHandlers[currentState]();
    }
}

4.4 避坑指南：状态机常见问题

做灯光状态机，有几个坑我踩过，你注意一下：

1. 状态迁移死循环：比如Off→Position→Off→Position……检查一下条件是否互斥。
2. 状态跳变太快：用户旋钮从Off直接拧到Low，中间要不要经过Position？我建议要，哪怕只有10ms，也要让Position状态执行一次。否则硬件可能来不及响应。
3. 故障状态处理：灯光模块出故障了怎么办？比如过流保护触发了，是切到Off还是保持当前状态？我一般会定义一个 LIGHT_FAULT 状态，所有故障都先切过去，等故障恢复再回到之前的状态。

嗯，状态机这块就讲这么多。下一章咱们聊聊灯光模块的硬件抽象层配置，那个更贴近底层，也挺有意思的。