2022年毕业设计方案外文翻译 .pdf
《2022年毕业设计方案外文翻译 .pdf》由会员分享,可在线阅读,更多相关《2022年毕业设计方案外文翻译 .pdf(20页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、1 / 20 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 programsthere is an increasing interest in the application o
2、f 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 .Th
3、ere 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 visualiza
4、tion 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 specialtyp
5、e 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 tr
6、emendously, 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 autom
7、ated 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 complexity of the applications within the compliance of limited development time as well a
8、s the reusability of existing software orPLC modules requires a formal approach to be developed I. Ensuring the highquality demands requires verification and validation procedures as well as analysis and simulation of existing systems to be carried out 2. One of the important fields for the formaliz
9、ation of PLC programs that have been growing up in recent time is Reverse-engineering 3. Reverse Engineering is a process of evaluating something to understand how it works in order to duplicate or enhance it. While the reuse of PLC codes is being established as a tool for combating the complexity o
10、f PLC programs, Reverse Engineering is supposed to receive increased importance in the coming years especially if exiting hardware has to be replaced by new hardware with different programming environments Visualization of existing PLC programs is an important intermediate step of Reverse Engineerin
11、g. The paper provides an approach towards the visualization of 精选学习资料 - - - - - - - - - 名师归纳总结 - - - - - - -第 1 页,共 20 页2 / 20 PLC programs using XML which is an important approach for the orientation and better understanding for engineers working with PLC programs. The paper is structured as follow
12、s. First, a short introduction to PLCs and the corresponding programming techniques according to the IEC 61131-3 standard is given. In Section an approach for Re-engineering based on formalization of PLC programs is introduced. The transformation of the PLC code into a vendor independent format is i
13、dentified as an important first step in this process. XMLand corresponding technologies such as XSL and XSLT that can be used in this transformation are presented in Section IV. Section V presents the application of XML for the visualization of PLC programs and illustrates the approach with an examp
14、le. The final Section summarizes the resultsand gives an outlook on future work in this ongoing project. PLC AND IEC61131Since its inception in the early 70s the PLC received increasing attention due to its success in fulfilling the objective of replacing hard-wired control equipments at machines. E
15、ventually it grew up as a distinct field of application, research and development, mainly for Control Engineering. IEC 61 131 is the first real endeavour to standardize PLC programming languages for industrial automation. In I993 the International Electrotechnical Commission 4 published the IEC 6113
16、1 Intemational Standard for Programmable Controllers. Before the standardization PLC programminglanguages were being developed as proprietary programming languages usable to PLCs of a special vendor.But in order to enhance compatibility, openness and interoperability among different products as well
17、 asto promote the development of tools and methodologies with respect to a fixed set of notations the IEC 61131standard evolved. The third part of this standard defines a suit offive programming languages: Instruction List (IL is a low-level textual language with a structure similar to assembler. Or
18、iginated in Europe IL is considered to be the PLC language in which all other IEC61 131-3 languages can be translated. Ladder Diagram (LO is a graphical language that has its roots in the USA. LDs conform to a programming style borrowed from electronic and electrical circuits for implementing contro
19、l logics. Structured Text (STJ is a very powerful high-level language. ST borrows its syntax from Pascal, augmenting it with some features from Ada. ST contains all the essential elements of a modem programming language. Function Block Diagram (FBD is a graphical languageand it is very common to the
20、 process industry. In this language controllers are modelled assignal and data flows through function blocks. FBD transforms textual programming into connecting function blocks and thus improvesmodularity and software reuse. Sequential Function Chart (SFC is a graphical language. SFC elements are de
21、fined for structuring the organization of programmable controller programs. One problem with IEC 61 131-3 is that there is no standardized format for the project information in a PLC programming tool. At the moment there are only vendor specificformats. This is also one reason for the restriction of
22、 formalization approaches 精选学习资料 - - - - - - - - - 名师归纳总结 - - - - - - -第 2 页,共 20 页3 / 20 to single programs or algorithms.However, recently the PLC users organization PLCopen(see http:/www.plcopen.org started a Technical Committeeto define an XML based format for projects accordingto IEC 61131-3. T
23、his new format will ease the access offormalization tools to all relevant information of a PLC project. . RE-ENGINEERING APPROACH The presented approach towards re-engineering (cf. Fig.1 is based upon the conception that XML can be used as amedium in which PLC codes will be transformed. This transfo
24、rmation offers the advantage of obtaining avendor independent specification code. (Even if the PLCopen succeeds in defining a standardized format for PLC applications, there will remain a lot of existing programsthat do not conform to this standard. Based on this code a step-wise transformation to a
25、 formalmodel (automata is planned. This model can then beused for analysis, simulation, formal verification and validation,and finally for the re-implementation of the optimizedalgorithm on the same or another PLC. Since re-engineering of complete programs will, in mostcases, be only a semi-automati
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 2022年毕业设计方案外文翻译 2022 毕业设计 方案 外文 翻译
限制150内