蓝桥杯嵌入式竞赛：用状态机重构电梯控制系统的实战指南

在嵌入式系统开发中，状态机（Finite State Machine，FSM）是一种强大的设计模式，尤其适合处理具有明确状态转换逻辑的系统。本文将带你深入探讨如何运用状态机思维重构蓝桥杯第八届省赛的电梯控制项目，从理论基础到Keil5工程实现，提供一套完整的优化方案。

1. 状态机设计基础与电梯系统分析

1.1 为什么状态机适合电梯控制系统

电梯控制系统本质上是一个典型的状态驱动系统，具有以下特征：

• 离散的状态集合 ：空闲、上行、下行、开门、关门等
• 明确的状态转移条件 ：按键触发、定时器到达、楼层到达等
• 非并行处理需求 ：同一时间只处于一种主要状态

传统标志位+大循环的实现方式存在几个明显缺陷：

1. 代码臃肿 ：主循环内堆积大量条件判断
2. 可维护性差 ：新增功能时需要修改多处逻辑
3. 状态冲突风险 ：多个标志位可能产生矛盾

状态机实现则通过将系统分解为离散状态和转移规则，使代码结构更清晰。以下是两种实现的对比：

特性	传统标志位实现	状态机实现
代码结构	线性复杂	模块化清晰
状态转换可见性	隐式	显式状态转移图
新增功能难度	高	低
调试便利性	差	良好
资源占用	变量多	结构清晰

1.2 电梯系统的状态建模

基于题目要求，我们可以抽象出以下核心状态：

typedef enum {
    STATE_IDLE,          // 空闲状态
    STATE_WAIT_COMMAND,  // 等待指令
    STATE_MOVING_UP,     // 上行中
    STATE_MOVING_DOWN,   // 下行中
    STATE_DOOR_OPENING,  // 开门中
    STATE_DOOR_OPEN,     // 门已开
    STATE_DOOR_CLOSING,  // 关门中
    STATE_EMERGENCY      // 紧急状态
} ElevatorState;

每个状态对应特定的行为和转移条件。例如， STATE_MOVING_UP 状态下，系统需要：

• 启动电机PWM输出
• 控制上行指示灯
• 每6秒增加当前楼层值
• 检测是否到达目标楼层

2. 状态机实现的关键技术

2.1 状态转移表的构建

状态机的核心是明确定义状态之间的转换关系。我们采用状态转移表来实现这一逻辑：

typedef struct {
    ElevatorState currentState;
    EventType event;
    ElevatorState nextState;
    void (*action)(void);
} StateTransition;

const StateTransition transitionTable[] = {
    // 当前状态       事件                下一状态          执行动作
    {STATE_IDLE,      EVENT_FLOOR_BUTTON, STATE_WAIT_COMMAND, processCommand},
    {STATE_WAIT_COMMAND, EVENT_TIMEOUT_1S, STATE_MOVING_UP,   startMovingUp},
    {STATE_WAIT_COMMAND, EVENT_TIMEOUT_1S, STATE_MOVING_DOWN, startMovingDown},
    {STATE_MOVING_UP,  EVENT_REACH_FLOOR,  STATE_DOOR_OPENING, stopElevator},
    // 更多转移规则...
};

这种表格化表示使得状态转移逻辑一目了然，新增规则只需添加表格条目，无需修改现有代码。

2.2 事件处理机制

嵌入式系统中，事件可能来自多个源：

• 硬件中断（按键、定时器）
• 软件标志（超时、条件满足）
• 外部通信（预留接口）

推荐采用事件队列处理机制：

#define MAX_EVENTS 10

typedef struct {
    EventType type;
    uint32_t  data;
} SystemEvent;

SystemEvent eventQueue[MAX_EVENTS];
uint8_t eventHead = 0;
uint8_t eventTail = 0;

void postEvent(EventType type, uint32_t data) {
    // 将事件加入队列，中断安全实现
}

bool getEvent(SystemEvent *event) {
    // 从队列获取事件
}

注意：事件队列的实现需要考虑多线程/中断环境下的安全性，通常需要关闭中断或使用原子操作保护共享变量。

2.3 定时器管理策略

电梯控制涉及多种定时需求：

• 1秒后开始移动（按键响应）
• 6秒楼层变化（移动速度）
• 2秒开门保持时间

建议使用一个基础定时器，配合软件计数器实现多定时需求：

void HAL_TIM_PeriodElapsedCallback(TIM_HandleTypeDef *htim) {
    if (htim->Instance == TIM3) {  // 假设TIM3为10ms基础定时器
        static uint16_t count10ms = 0;
        
        count10ms++;
        if (count10ms % 100 == 0) {  // 1秒
            postEvent(EVENT_TIMEOUT_1S, 0);
        }
        if (count10ms % 600 == 0) {  // 6秒
            postEvent(EVENT_TIMEOUT_6S, 0);
            count10ms = 0;  // 复位避免溢出
        }
    }
}

3. 具体状态处理实现

3.1 移动状态处理

上行和下行状态具有相似的处理逻辑，主要区别在于方向。我们可以抽象出通用移动处理函数：

void handleMovingState(ElevatorState direction) {
    // 设置电机方向
    setMotorDirection(direction == STATE_MOVING_UP ? DIR_UP : DIR_DOWN);
    
    // 启动PWM
    HAL_TIM_PWM_Start(&htim4, TIM_CHANNEL_1);
    
    // 设置指示灯
    setIndicatorLights(direction);
    
    // 等待6秒或到达目标楼层
    SystemEvent event;
    while (1) {
        if (getEvent(&event)) {
            if (event.type == EVENT_TIMEOUT_6S) {
                updateCurrentFloor(direction);
                checkArrival(direction);
                break;
            } else if (event.type == EVENT_REACH_FLOOR) {
                transitionToState(STATE_DOOR_OPENING);
                return;
            }
        }
    }
}

3.2 多目标楼层调度算法

电梯系统需要高效处理多个楼层请求。我们采用经典的"扫描算法"（SCAN）：

1. 收集所有上行请求，按从低到高排序
2. 收集所有下行请求，按从高到低排序
3. 先处理所有上行请求，再处理下行请求

实现代码框架：

typedef struct {
    uint8_t floor;
    uint8_t direction;  // 1=up, 2=down
} FloorRequest;

FloorRequest requests[MAX_REQUESTS];
uint8_t requestCount = 0;

void processRequests(void) {
    // 分离上下行请求
    FloorRequest upRequests[MAX_REQUESTS];
    FloorRequest downRequests[MAX_REQUESTS];
    uint8_t upCount = 0, downCount = 0;
    
    for (int i = 0; i < requestCount; i++) {
        if (requests[i].direction == 1) {
            upRequests[upCount++] = requests[i];
        } else {
            downRequests[downCount++] = requests[i];
        }
    }
    
    // 排序上行请求（升序）
    sortRequests(upRequests, upCount, 1);
    
    // 排序下行请求（降序）
    sortRequests(downRequests, downCount, 0);
    
    // 执行上行
    for (int i = 0; i < upCount; i++) {
        setTargetFloor(upRequests[i].floor);
        transitionToState(STATE_MOVING_UP);
    }
    
    // 执行下行
    for (int i = 0; i < downCount; i++) {
        setTargetFloor(downRequests[i].floor);
        transitionToState(STATE_MOVING_DOWN);
    }
}

4. 状态机实现的工程优化技巧

4.1 内存与性能考量

嵌入式系统资源有限，状态机实现应注意：

• 使用枚举而非字符串表示状态，节省空间
• 状态转移表使用 const 修饰，放入Flash而非RAM
• 避免在状态处理函数中使用动态内存分配
• 合理设计事件数据结构，减少内存占用

4.2 调试与日志记录

为方便调试，建议添加状态跟踪机制：

const char *stateNames[] = {
    [STATE_IDLE] = "IDLE",
    [STATE_WAIT_COMMAND] = "WAIT_CMD",
    // 其他状态...
};

void printCurrentState(void) {
    printf("[FSM] Current state: %s\n", stateNames[currentState]);
}

void stateMachineStep(void) {
    printCurrentState();
    // 正常状态处理...
}

可以配合LCD显示当前状态，或在调试端口输出状态变化信息。

4.3 测试用例设计

为确保状态机正确性，应设计全面的测试场景：

1. 单楼层正常上下行
2. 多楼层连续请求
3. 同楼层重复按键
4. 紧急停止情况
5. 电源中断恢复

例如，测试多楼层上行的用例可能如下：

void testMultiFloorUp(void) {
    // 初始在1楼
    setCurrentFloor(1);
    transitionToState(STATE_IDLE);
    
    // 模拟按下3楼
    postEvent(EVENT_FLOOR_BUTTON, 3);
    runStateMachine();
    assert(currentState == STATE_WAIT_COMMAND);
    
    // 1秒后应开始上行
    postEvent(EVENT_TIMEOUT_1S, 0);
    runStateMachine();
    assert(currentState == STATE_MOVING_UP);
    
    // 模拟到达3楼
    setCurrentFloor(3);
    postEvent(EVENT_REACH_FLOOR, 0);
    runStateMachine();
    assert(currentState == STATE_DOOR_OPENING);
}

5. 状态机模式在嵌入式竞赛中的优势

采用状态机模式重构后的电梯控制系统，在蓝桥杯等竞赛中展现出多方面优势：

1. 代码结构清晰 ：评委可以快速理解系统设计
2. 功能扩展方便 ：新增状态或转移规则不影响现有代码
3. 调试效率高 ：状态明确，问题定位快速
4. 文档对应性好 ：状态转移图与代码高度一致
5. 稳定性提升 ：避免了标志位冲突等常见问题

实际工程中，状态机的LCD显示实现可能如下：

void updateLCDDisplay(void) {
    char buf[20];
    
    // 显示当前楼层
    sprintf(buf, "Floor: %d", getCurrentFloor());
    LCD_DisplayStringLine(LINE1, buf);
    
    // 显示当前状态
    sprintf(buf, "State: %s", stateNames[currentState]);
    LCD_DisplayStringLine(LINE2, buf);
    
    // 显示目标楼层
    if (hasTargetFloor()) {
        sprintf(buf, "Target: %d", getTargetFloor());
        LCD_DisplayStringLine(LINE3, buf);
    }
}

在Keil工程中组织代码时，建议按功能模块划分：

• fsm_core.c - 状态机引擎实现
• elevator_states.c - 具体状态处理
• events.c - 事件队列管理
• hardware.c - 硬件抽象层

这种结构既保持了模块化，又便于团队协作开发。