即時控制軟體設計第二周作業-停車場門禁控制系統狀態機器設計

標籤：汽車   狀態   動作   log   als   div   輸入   false   switch   

門禁控制系統的輸入訊號包括：

• 起落杆定位感應器：有兩個位置值訊號（升起/落下）
• 汽車入閘感應器：有兩個值（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;        }    }}

　　

即時控制軟體設計第二周作業-停車場門禁控制系統狀態機器設計