外文翻译--可视化的plc程序使用xml

《外文翻译--可视化的plc程序使用xml》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、外文翻译：可视化的PLC程序使用XMLM.BaniYounisandG.Frey摘要:由于PLC程序日益复杂,在PLC应用方面有越来越多的兴趣爱好者。形式化方法，让僵化的证明系统属性被核查和验证。一个传统思路的方法就是在PLC编程中设立一个正式的设计方法。不过，现有的软件已被优化，改变，或移植到新系统.有需要找到从某一PLC程序开始的方法。因此，规范PLC程序是一个现在研究的热点。该文章概述了基于形式化的PLC程序基础上从新启动的方法。转型成为一个独立的格式和可视化的结构，在这个过程中，PLC程序的确定是作为这项措施的重要中间步骤。这表明如何XML和相应的技术可用

2、于形式化和可视化现有的PLC程序。1、导言可编程逻辑控制器（PLC）是一种特殊类型的计算机，它应用于工业和安全的关键地方。应用PLC的目的是控制某一特定的或可选择的过程，它是通过产生的电控制信号回应电器中相关的输出信号来实现的。应用在制造业和化工过程控制，机械加工，交通，电力分配，以及其他许多领域。PLC控制有着极大的不同，自动化应用范围的复杂性从一个简单的小组运作到控制一个会议室的的灯光和自动窗成为一个全自动化的生产线。随着他们应用PLC知识的增加，他们把PLC应用到复杂性和品质要求高的地方，特别是对安全性要求特别严格的地方。由于在有限的时间里PLCD的发展应用

3、日益复杂，现有的软件或PLC的模块也在迅速发展，以此，需要一个正式的办法加以规范。为了确保高品质的要求，我们需要检查和验证程序，以及分析和模拟现有系统[2]。其中一个重要的领域就是已经在最近的时间成长在规范化的PLC程序是逆向工程[3]。逆向工程是通过评估达到了解它的运转过程，以达到重复或加强的目的。而重用的PLC守则正在建立，作为一种打击复杂PLC程序的工具，逆向工程在今后几年将得到越来越多关注，特别是如果现有的硬件被适用于各种不同程序环境的新硬件所取代的情况下。现有的PLC程序的可视化是逆向工程一个重要的中间步骤。本文章提供了一个方法，使用XML使PLC程序可

4、视化，让PLC程序工程师更容易把握方向和更好地了解。该文件的结构如下。首先，简单的介绍了PLC（根据国际电工委员会61131-3的标准是给予）和相应的编程技巧，。在第三部分，在现有基础上用形式化PLC程序重新设计方法的介绍。PLC代码转型成为一个独立的格式被确定为在这个过程中重要的第一步。XML和相应的技术，例如XSL和XSLT（第四节可以使用的这种转变）。第五部分提出了应用XML的使PLC程序可视化的方法并用一个例子做出说明。最后一节总结了结果，并就今后的工作在这方面正在进行的项目做了一个前景的展望。2、PLC和IEC61131自从七十年代初期公布于世，由于它的

5、成功的完成目的，取代了机器上的硬连线控制设备，PLC日益受到重视，。最终它作为一个独特的应用领域成长起来，它的研究和开发，主要是为控制工程。IEC61131是为工业自动化第一次真正的努力来规范PLC的编程语言。在1993国际电工委员会[4]上公布了IEC61131作为可编程控制器标准。在标准化PLC的编程语言之前，正在制定为了个别PLC实用的专有编程语言。为了提高不同产品的兼容性，开放性和互操作性以及为了促进工具和方法的发展,国际电工委员会61131标准设立固定的一套符号。第三部分，定义了一个适合5种编程语言标准：Originated(IL)语言是一种低层次的文本

6、语言,其结构类似于汇编语言。Originated语言L被视为PLC的在所有其他IEC61131-3语言都可以翻译语言。梯形图(L0)是一种被认为起源于于美国的图形语言。LDS符合从电子及电器电路实施控制逻辑的编程风格。结构化文本（ST）是一个非常强大的高层次的语言。圣借从帕斯卡尔那里借用了它的语法，充实它的一些特点。圣包含一个现在编程语言多要求的所有要素。功能块图（FBD）是一种图形语言，在工业流程里是非常常见的。在这种语言中，控制器被认为是可在功能块之间流动的信号和数据。FBD把换文本编程转变为功能块编程，因而提高了模块化和软件重用性。顺序功能图（SFC）是一个

7、图形化的语言。SFC要素的定义是为了构建可编程序控制器程序的组织。其中在IEC61131-3中出现的一个问题就是在PLC的编程工具的工程信息中没有一个标准化的格式。目前，每个厂商都在运用他们各自的具体的不同格式。这亦是其中一个原因就是被限制了的形式化的做法，以单一的程序或算法。不过，最近的PLC用户组织PLCopen阻止了一个技术委员会，以确定一个基于格式accordingto的IEC61131-3的XML项目。这种新格式将缓解形式化的工具，使之成为PLC项目的所有相关的信息。3、重新设计的方法对于重新设计所提出的态度，（参见图1）是基于认为XML可作为一种中间媒

8、体语言用来