附件C：譯文

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