創(chuàng)新自化成

問題|一組PLC程序的邏輯錯誤分析（1）

時間：2012-06-17 10:13:54 第一對焦：PLC

時間：2012年6月17日來源：網(wǎng)絡(luò) 關(guān)鍵詞：PLC 邏輯錯誤工業(yè)自動控制

　　1 引言　　可編程序控制器(簡稱plc)是一種工業(yè)自動控制中使用的計算裝置。它廣泛應(yīng)用于鋼鐵、石油、化工、電力、建材、機(jī)械制造、汽車、輕紡、交通運(yùn)輸、航天、環(huán)保及文化娛樂等各個行業(yè)。小到家用設(shè)備，大到航天器材，都有plc的應(yīng)用。典型的plc由一個專用的cpu，一個存儲器和一組輸入輸出端口構(gòu)成，如圖1所示。它通過輸入端口接收來自傳感器的信號，并通過輸出端口發(fā)出控制信號驅(qū)動同它連接的外部設(shè)備。存儲器中安放控制程序，系統(tǒng)的活動由控制程序所驅(qū)動。　　plc系統(tǒng)每隔一定的時間間隔(比如5毫秒)從輸入端口讀入信號，執(zhí)行計算，然后向輸出端口發(fā)送輸出信號。每一“輸入-計算-輸出”周期稱為一個掃描周期。plc程序在每個掃描周期中重復(fù)執(zhí)行一遍。plc的簡單應(yīng)用有洗衣機(jī)控制，電梯控制。復(fù)雜的應(yīng)用有自動機(jī)床控制，自動化工程控制。　　plc程序設(shè)計具有不尋常的軟件編程模式。設(shè)計中需要考慮多個并行線程，它們之間的交互作用，以及在時間域上的行為。在plc的五種主要的編程語言當(dāng)中，源自繼電器控制系統(tǒng)的梯形圖語言采用了一種簡單的方式巧妙地處理了并行程序設(shè)計問題，然而，由于plc編程問題的固有復(fù)雜性，以及測試手段的缺乏，許多plc程序中依然存在大量的錯誤?！　榱私鉀Q這一問題，靈芯實(shí)驗(yàn)室正在開發(fā)plc測試系統(tǒng)，為plc程序的調(diào)試提供解決方案。在這一系統(tǒng)的試用過程中，在兩本plc入門教科書的6個簡單程序例子中發(fā)現(xiàn)其中的4個程序里面至少包含8個錯誤?！　　褚粋€搶答器程序在兩個參賽者同時按下?lián)尨鸢粹o時，只有其中一個人的警報器能夠發(fā)出警報;　　●一個噴泉程序中，噴水組在幾個指定時間上沒有按要求停止噴水，或開始噴水;　　●一個交通燈控制程序中，綠燈閃爍控制不正常;系統(tǒng)啟動的時候，一個方向綠燈亮，另一個方向的紅燈卻不亮;強(qiáng)通結(jié)束之后，交通燈沒有立即恢復(fù)正常運(yùn)行;　　●在另一個交通燈程序中，按下停止按鈕之后，所有的燈熄滅，但兩個方向人行道上卻亮紅燈。　　我們認(rèn)為這一發(fā)現(xiàn)是不同尋常的。雖然每個程序員和教師都會犯編程錯誤，但是我們還從未在任何一本程序設(shè)計的教科書中發(fā)現(xiàn)如此高比例的程序錯。這一現(xiàn)象初步證實(shí)了plc程序錯誤的廣泛性和嚴(yán)重性?！　”疚膶⒅鹨环治錾鲜雒恳粋€程序的錯誤，指出錯誤原因。其中大部分程序，我們給出糾正了錯誤的新程序。期望這一分析能夠幫助plc程序員和教師提高plc程序設(shè)計的正確性。plc程序的執(zhí)行原理以及梯形圖的語義將在例子的介紹中同時給予解釋。我們相信，通過分析錯誤來學(xué)習(xí)是掌握遍程技巧的好方法?！　?

　　2 搶答器程序　　題目：搶答器程序　　來源：plc應(yīng)用技術(shù)開發(fā)與實(shí)踐　　編程平臺：西門子公司 s7-200　　問題描述：　　(1)主持人控制開始按鈕;　　(2)3個搶答者每人控制自己的搶答按鈕;　　(3)開始按鈕按下之后所有警報器斷電;　　(4)之后每個搶答按鈕按下將使自己的警報器得電，并鎖住其他搶答者輸入信號的有效性。　　變量分配：　　i0.0 主持人按鈕;　　i0.1，i0.2，i0.3 分別為三個搶答者按鈕;　　q0.0，q0.1，q0.2 分別為對應(yīng)于搶答者的警報器輸出;　　原書給出的搶答器梯形圖程序(見圖2)?！　?

　　plc程序語義：　　上述梯形圖程序的語義可以用比較簡短的方式表達(dá)出來：　　q0.0 ：= (i0.1 or q0.0) and ~i0.0 and ~q0.1 and ~q0.2;　　q0.1 ：= (i0.2 or q0.1) and ~i0.0 and ~q0.0 and ~q0.2;　　q0.2 ：= (i0.3 or q0.2) and ~i0.0 and ~q0.0 and ~q0.1;　　其中~i0.0表示i0.0的邏輯非?！　lc的程序周期性地重復(fù)執(zhí)行，每個周期時間很短。在一個周期中，plc將讀入輸入值(這里是i0.1，i0.2和i0.3)，經(jīng)過對上述程序的計算之后，把輸出變量(這里是q0.0，q0.1和q0.2)的值送到外部。注意上述程序在每個周期中都重復(fù)執(zhí)行。在每個周期中，程序的執(zhí)行由上往下由左至右?！　‘?dāng)一個搶答按鈕按下之后(比如i0.1=1)，對應(yīng)的輸出(q0.0)馬上變成1。在下一周期中，即使該按鈕方開(i0.1=0)程序的輸出依然會保持為0，原因是程序依靠自反饋?zhàn)饔?or q0.0)。同時，由于在另外兩個程序段中含有~q0.1，因此它們的輸出都無法變成1，直到主持人按鈕i0.0把q0.0重新置0為止?！　　癯绦騿栴}　　如果兩個搶答者在同一時刻按下按鈕，在程序中處于前面的搶答者的警報器輸出正常，另一個搶答者的警報器沒有輸出?！　　癯绦蚍治觥　”締栴}分成三個程序段，它們本應(yīng)并行執(zhí)行方能達(dá)到公平的效果。但plc的cpu只能順序執(zhí)行程序，因此在程序中位置處于前面的搶答者的輸出產(chǎn)生之后，后面的程序輸出就被立即阻斷。因此兩個按鈕同時按下時，只有其中的一個得到響應(yīng)?！　lc的編程模式來源于繼電器電路控制系統(tǒng)，在那些系統(tǒng)中，上述三個程序段對于三個并行運(yùn)行的電路，但是轉(zhuǎn)到cpu中之后，這些程序就不得不順序執(zhí)行。并行模型與順序執(zhí)行的沖突是許多程序錯誤的原因。在作者先前的論文中就對這一問題進(jìn)行了分析[1]?！　≡陧樞驁?zhí)行的機(jī)器上面實(shí)現(xiàn)plc并行語義是可能的。但是依然需要小心各種陷阱。下面的第一次嘗試存在一個錯誤，再后面一個程序改正了這個錯誤，通過了程序測試。　　●程序修正嘗試　　克服上面問題的一個自然的想法是使用中間變量保存每個程序段的輸出。這一思路導(dǎo)致下面的程序?qū)崿F(xiàn)(見圖3)：　　