实时控制软件设计第二周作业-停车场门禁控制系统状态机设计

门禁控制系统的输入信号包括：

• 起落杆位置传感器：有两个位置值信号（升起/落下）
• 汽车入闸传感器：有两个值（True/False）
• 汽车出闸传感器：有两个值（True/False）

门禁控制系统的输出信号包括：

• 起落杆电机控制信号：（上升/下降）
• 通行灯信号：（红灯/绿灯）

一辆汽车的通过流程为：

• 起落杆处于落下状态，通行灯为红灯。
• 汽车进入门禁系统，入闸传感器值变为True。
• 控制起落杆上升，直到起落杆位置传感器到达升起位置。
• 通行灯为绿灯。
• 汽车离开门禁，触发汽车出闸传感器值为True。
• 控制起落杆下降，直到起落杆位置传感器到达落下位置。
• 通行灯变为红灯。

所描述的控制系统的状态机包括：

• 状态机的所有状态:1.起落杆落下，通行灯为红灯;2.起落杆升起，通行灯为绿灯。
• 状态机所接收到的外部事件:1.汽车入闸;2.汽车出闸。
• 状态机所产生的动作:1.升起起落杆，通行灯变绿;2.降下起落杆，通行灯变红。

#include  <includes.h>

uint8_t State = 0;

void Sensor_GetValue(uint8_t Car_In,uint8_t Car_Out)
{
    if(Car_In == true)State = 1;
    if(Car_Out == true)State = 2;
}

void main()
{
    while{1}
    {
        Sensor_GetValue(Car_In,Car_Out);
        switch(State)
        {
            case 1:{while(Bar_Sensor != Bar_Up){Motor = Up;Light = Green;}break;}
            case 2:{while(Bar_Sensor != Bar_Down){Motor = Down;Light = Red;}break;}
            default:break;
        }
    }

}