可视化的PLC程序使用XML-外文翻译.docxVIP

Visualization of PLC Programs using XMLM. Bani Younis and G. FreyJuniorprofessorship Agentenbased AutomationUniversity of KaiserslautemP. 0. Box 3049, D-67653 Kaiserslautem, GermanyAbstract- Due to the growing complexity of PLC programsthere is an increasing interest in the application of formalmethods in this area. Formal methods allow rigid proving ofsystem properties in verification and validation. One way to apply formal methods is to utilize a formal design approach inPLC programming. However, for existing software that has tobe optimized, changed, or ported to new systems .There is theneed for an approach that can start from a given PLC program.Therefore, formalization ofPLC programs is a topic of current research. The paper outlines a re-engineering approach based on the formalization of PLC programs. Thetransformation 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 shownhow XML and corresponding technologies can be used for the formalization and visualization of an existing PLC program.I. INTRODUCTIONProgrammable Logic Controllers (PLCs) are a specialtype of computers that are used in industrial and safetycritical applications. The purpose of a PLC is to control a particular process, or a collection of processes, by producing electrical control signals in response to electrical process- related inputs signals. The systems controlled by PLCs vary tremendously, with applications in manufacturing,chemical process control, machining, transportation, power distribution, and many other fields. Automation applications can range in complexity froma simple panel to operate the lights and motorized window shades in a conference room to completely automated manufacturing lines.With the widening of their application horizon， PLC programs are being subject to increased complexity and highquality demands especially for safety-critical applications.The growing com