摘要

由于P LC程序日益復(fù)雜,在PLC應(yīng)用方面有越來越多的興趣愛好者。形式化方法，讓僵化的證明系統(tǒng)屬性被核查和驗證。一個傳統(tǒng)思路的方法就是在PLC編程中設(shè)立一個正式的設(shè)計方法。不過，現(xiàn)有的軟件已被優(yōu)化，改變，或移植到新系統(tǒng).有需要找到從某一PLC程序開始的方法。因此，規(guī)范PLC程序是一個現(xiàn)在研究的熱點。該文章概述了基于形式化的PLC程序基礎(chǔ)上從新啟動的方法。轉(zhuǎn)型成為一個獨立的格式和可視化的結(jié)構(gòu)，在這個過程中，PLC程序的確定是作為這項措施的重要中間步驟。這表明如何XML和相應(yīng)的技術(shù)可用于形式化和可視化現(xiàn)有的PLC程序。

Abstract

Due to the growing complexity of PLC programs there is an increasing interest in the application of formal methods in this area. Formal methods allow rigid proving of system properties in verification and validation. One way to apply formal methods is to utilize a formal design approach in PLC programming. However, for existing software that has to be optimized, changed, or ported to new systems .There is the need for an approach that can start from a given PLC program. Therefore, formalization of PLC programs is a topic of current research. The paper outlines a re-engineering approach based on the formalization of PLC programs. The transformation into a vendor independent format and the visualization of the structure of PLC programs is identified as an important intermediate step in this process. It is shown how XML and corresponding technologies can be used for the formalization and visualization of an existing PLC program.