機械工程 畢業(yè)設(shè)計 英文翻譯.doc
約20頁DOC格式手機打開展開
機械工程 畢業(yè)設(shè)計 英文翻譯,visualization of plc programs using xmlm. bani younis and g. freyjuniorprofessorship agentenbased automationuniversity of kaiserslautemp. 0. box 3049, d-67653 k...
內(nèi)容介紹
此文檔由會員 xiao6jun6 發(fā)布
Visualization of PLC Programs using XML
M. Bani Younis and G. Frey
Juniorprofessorship Agentenbased Automation
University of Kaiserslautem
P. 0. Box 3049, D-67653 Kaiserslautem, Germany
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.
M. Bani Younis and G. Frey
Juniorprofessorship Agentenbased Automation
University of Kaiserslautem
P. 0. Box 3049, D-67653 Kaiserslautem, Germany
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.
