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

1可视化的PLC程序使用XML米巴尼尤尼斯和G弗雷摘要由于PLC程序日益复杂,在PLC应用方面有越来越多的兴趣爱好者。形式化方法，让僵化的证明系统属性被核查和验证。一个传统思路的方法就是在PLC编程中设立一个正式的设计方法。不过，现有的软件已被优化，改变，或移植到新系统有需要找到从某一PLC程序开始的方法。因此，规范PLC程序是一个现在研究的热点。该文章概述了基于形式化的PLC程序基础上从新启动的方法。转型成为一个独立的格式和可视化的结构，在这个过程中，PLC程序的确定是作为这项措施的重要中间步骤。这表明如何XML和相应的技术可用于形式化和可视化现有的PLC程序。I导言可编程逻辑控制器（PLC）是一种特殊类型的计算机，它应用于工业和安全的关键地方。应用PLC的目的是控制某一特定的或可选择的过程，它是通过产生的电控制信号回应电器中相关的输出信号来实现的。应用在制造业和化工过程控制，机械加工，交通，电力分配，以及其他许多领域。PLC控制有着极大的不同，自动化应用范围的复杂性从一个简单的小组运作到控制一个会议室的的灯光和自动窗成为一个全自动化的生产线。随着他们应用PLC知识的增加，他们把PLC应用到复杂性和品质要求高的地方，特别是对安全性要求特别严格的地方。由于在有限的时间里PLCD的发展应用日益复杂，现有的软件或PLC的模块也在迅速发展，以此，需要一个正式的办法加以规范。为了确保高品质的要求，我们需要检查和验证程序，以及分析和模拟现有系统。其中一个重要的领域就是已经在最近的时间成长在规范化的PLC程序是逆向工程。逆向工程是通过评估达到了解它的运转过程，以达到重复或加强的目的。而重用的PLC守则正在建立，作为一种打击复杂PLC程序的工具，逆向工程在今后几年将得到越来越多的重要性，特别是如果现有的硬件被适用于各种不同程序环境的新硬件所取代的情况下。现有的PLC程序的可视化是逆向工程一个重要的中间步骤。本文章提供了一个方法，使用XML使PLC程序可视化，让PLC程序工程师更容易把握方向和更好地了解。该文件的结构如下。首先，简单的介绍了PLC（根据国际电工委员会611313的标准给予）和相应的编程技巧。在第三部分，在现有基础上用形式化PLC程序重新设计方法的介绍。PLC代码转型成为一个独立的格式被确定为在这个过程中重要的第一步。XML和相应的技术，例如XSL和XSLT（第四节可