附件C：譯文

可視化的PLC程序使用XML

米巴尼尤尼斯和G.弗雷
摘要:由于P LC程序日益復雜,在PLC應用方面有越來越多的興趣愛好者。形式化方法，讓僵化的證明系統(tǒng)屬性被核查和驗證。一個傳統(tǒng)思路的方法就是在PLC編程中設立一個正式的設計方法。不過，現(xiàn)有的軟件已被優(yōu)化，改變，或移植到新系統(tǒng).有需要找到從某一PLC程序開始的方法。因此，規(guī)范PLC程序是一個現(xiàn)在研究的熱點。該文章概述了基于形式化的PLC程序基礎上從新啟動的方法。轉型成為一個獨立的格式和可視化的結構，在這個過程中，PLC程序的確定是作為這項措施的重要中間步驟。這表明如何XML和相應的技術可用于形式化和可視化現(xiàn)有的PLC程序。
一 導言
可編程邏輯控制器（PLC ）是一種特殊類型的計算機，它應用于工業(yè)和安全的關鍵地方。應用PLC的目的是控制某一特定的或可選擇的過程，它是通過產生的電控制信號回應電器中相關的輸出信號來實現(xiàn)的。應用在制造業(yè)和化工過程控制，機械加工，交通，電力分配，以及其他許多領域。PLC控制有著極大的不同，自動化應用范圍的復雜性從一個簡單的小組運作到控制一個會議室的的燈光和自動窗成為一個全自動化的生產線。
隨著他們應用PLC知識的增加，他們把PLC應用到復雜性和品質要求高的地方，特別是對安全性要求特別嚴格的地方。由于在有限的時間里PLCD的發(fā)展應用日益復雜，現(xiàn)有的軟件或PLC的模塊也在迅速發(fā)展，以此，需要一個正式的辦法加以規(guī)范 。為了確保高品質的要求，我們需要檢查和驗證程序，以及分析和模擬現(xiàn)有系統(tǒng)[ 2 ] 。其中一個重要的領域就是已經在最近的時間成長在規(guī)范化的PLC程序是逆向工程[ 3 ] 。逆向工程是通過評估達到了解它的運轉過程，以達到重復或加強的目的。而重用的PLC守則正在建立，作為一種打擊復雜PLC程序的工具，逆向工程在今后幾年將得到越來越多的重要性，特別是如果現(xiàn)有的硬件被適用于各種不同程序環(huán)境的新硬件所取代的情況下。
現(xiàn)有的PLC程序的可視化是逆向工程一個重要的中間步驟。本文章提供了一個方法，使用XML使PLC程序可視化，讓PLC程序工程師更容易把握方向和更好地了解。