1、 毕业设计 (论文 )外文资料翻译 学院（系）： 机械工程学院 专 业： 机械工程及自动化 姓 名： 学 号： 0701010249 外文出处： Visualization of PLC program using XML 附 件： 1.外文资料翻译译文； 2.外文原文 。 指导教师评语： 签名： 年 月 日 附件 1：外文资料翻译译文 可视化的 PLC程序使用 XML 米巴尼尤尼斯和 G.弗雷 摘 要 :由于 P LC 程序日益复杂 ,在 PLC 应用方面有越来越多的兴趣爱好者。形式化方法，让僵化的证明系统属性被核查和验证。一个传统思路的方法就是在 PLC编程中设立一个正式的设计方法。不过，
2、现有的软件已被优化，改变，或移植到新系统 .有需 要找到从某一 PLC 程序开始的方法。因此，规范 PLC 程序是一个现在研究的热点。该文章概述了基于形式化的 PLC 程序基础上从新启动的方法。转型成为一个独立的格式和可视化的结构，在这个过程中， PLC 程序的确定是作为这项措施的重要中间步骤。这表明如何 XML 和相应的技术可用于形式化和可视化现有的 PLC 程序。 一 导言 可编程逻辑控制器（ PLC）是一种特殊类型的计算机，它应用于工业和安全的关键地方。应用 PLC 的目的是控制某一特定的或可选择的过程，它是通过产生的电控制信号回应电器中相关的输出信号来实现的。应用在 制造业和化工过程控
3、制，机械加工，交通，电力分配，以及其他许多领域。 PLC 控制有着极大的不同，自动化应用范围的复杂性从一个简单的小组运作到控制一个会议室的的灯光和自动窗成为一个全自动化的生产线。 随着他们应用 PLC 知识的增加，他们把 PLC 应用到复杂性和品质要求高的地方，特别是对安全性要求特别严格的地方。由于在有限的时间里 PLCD 的发展应用日益复杂，现有的软件或 PLC 的模块也在迅速发展，以此，需要一个正式的办法加以规范 。为了确保高品质的要求，我们需要检查和验证程序，以及分析和模拟现有系统 2 。其中 一个重要的领域就是已经在最近的时间成长在规范化的PLC 程序是逆向工程 3 。逆向工程是通过评
4、估达到了解它的运转过程，以达到重复或加强的目的。而重用的 PLC 守则正在建立，作为一种打击复杂 PLC 程序的工具，逆向工程在今后几年将得到越来越多的重要性，特别是如果现有的硬件被适用于各种不同程序环境的新硬件所取代的情况下。 现有的 PLC 程序的可视化是逆向工程一个重要的中间步骤。本文章提供了一个方法，使用 XML 使 PLC 程序可视化，让 PLC 程序工程师更容易把握方向和更好地了解。 该文件的结构如下。首先，简单的介绍 了 PLC（根据国际电工委员会 61131-3的标准是给予）和相应的编程技巧，。在第 三部分，在现有 基础上用形式化 PLC程序重新设计方法的介绍。 PLC 代码转
5、型成为一个独立的格式被确定为在这个过程中重要的第一步。 XML 和相应的技术，例如 XSL 和 XSLT（第四节可以使用的这种转变）。第五部分提出了应用 XML 的使 PLC 程序可视化的方法并用一个例子做出说明。最后一节总结了结果，并就今后的工作在这方面正在进行的项目做了一个前景的展望。 二 PLC 和 IEC 61131 自从七十年代初期公布于世，由于它的成功的完成目 的，取代了机器上的硬连线控制设备， PLC 日益受到重视，。最终它作为一个独特的应用领域成长起来，它的研究和开发，主要是为控制工程。 IEC61131是为工业自动化第一次真正的努力来规范 PLC的编程语言。在 1993国际电
6、工委员会 4上公布了 IEC 61131 作为可编程控制器标准。在标准化 PLC的编程语言之前，正在制定为了个别 PLC 实用的专有编程语言。为了提高不同产品的兼容性，开放性和互操作性以及为了促进工具和方法的发展 ,国际电工委员会 61131 标准设立固定的一套符号。第三部分，定义了一个适合 5 种编程语 言标准： Originated (IL)语言是一种低层次的文本语言 ,其结构类似于汇编语言。Originated 语言 L 被视为 PLC 的在所有其他 IEC61 131-3 语言都可以翻译语言。 梯形图 (L0)是一种被认为起源于于美国的图形语言。 LDS 符合从电子及电器电路实施控制逻辑的编程风格。 结构化文本（ ST）是一个非常强大的高层次的语言。圣借从帕斯卡尔那里借用了它的语法，充实它的一些特点。圣包含一个现在编程语言多要求的所有要素。 功能块图（ FBD）是一种图形语言，在工业流程里是非常 常见的。在这种语言中，控制器被认为是可在功能块之间流动的信号和数据。 FBD 把换文本编程转变为功能块编程，因而提高了模块化和软件重用性。 顺序功能图（ SFC）是一个图形化的语言。 SFC 要素的定义是为了构建可编
