确保可靠性的PLC程序的形式.docVIP

PAGE  PAGE 7 确保可靠性的PLC程序的形式 摘要──现存的PLC程序的复杂性决定了他们很难被处理或修改。为了克服这一困难近年来人们对PLC程序的形式越来越感兴趣。正式的方法能够提供给PLC程序的发展，原因在于人们对安全意识和质量意识的增强，这些方法就作为中间环节来分析和核实这些程序。这个可以通过核实和证实来获得。而且正式方法也支持已经生效的PLC程序的再使用来适应新的产品需求。本章尝试了不同的可能性为的就是使PLC程序正式化。解释了不同选择对象的预置和合并。本章根据达到标准的选择对象概括了使用在PLC程序中的定时器和计数器。 关键词：PLC程序；正规化；IEC；定时器和计数器 Ⅰ.介绍 可编程序逻辑控制器是工业微型控制系统,其内部的硬件和软件很适应于工业环境。由于工业开始认识到质量提高的需求和生产力的提高，70年代早期提出的PLC已经受到很多关注。其灵活性也是关注的焦点，它包括了为了满足消费者需求而迅速改变过程的可能性。 PLC的目的是通过产生与电气过程相关的输入信号响应的电气输出信号来控制一种特殊的程序或程序的采集，由PLC控制的系统随着在生产，化学过程控制，机械，运输，电力分配和其他各领域中的应用而改变。PLC用来控制简单的设备。在内部逻辑的基础上，他们用来连接输入，例如开关，数字传感器等，和用来打开或关断输出设备。尽管如此PLC的使用已经将其运用到控制复杂的生产应用领域中。 对于PLC程序的正式化有两大原因。一是对现存系统正式的核实和证实模拟和分析，原因在于安全意识和质量意识的增强。二是涉及产品和自动化体系的恒定进程。这意味着为了适应新的产品需求，不得不改变现存的程序，或不得不将其移置到新的控制器硬件中。由于没有对能够使用到这些任务的程序变量的正式描述，所以只能通过存在的密码才能对其进行描述。这个唯一的其它方法是设计一个安全新的设备 本章的结构如下。首先给出了对PLC的简要介绍和对根据西门子step-5的特殊程序技术的简单描述。第Ⅲ部分主要讨论了对PLC程序的转变到正式表示的不同调查。由于这些调查，在第Ⅳ部分我们阐述了我们已经发现的最可能和最紧密的定时器和计数器。 Ⅱ. PLC 在带有PLC工作下的一个缺点是有很多卖主和发明者，这很难综合提高不同的场合应用。IEC61131，国际统一标准的用来在不同产品中增强兼容性对外适应性和共同使用性的可编程序控制器。这个在不同产品中标准的第三部分定义了一套五种程序语言。其中之一是指令集，一种形状类似于装配线的低水平测试语言。IL起源于欧洲，被认为是PLC语言，在其中所有的其它IEC61131-3语言都能被翻译。 这种呈现出的方法不是基于由IEC提出的IL的标准形式，而是基于卖主特殊的step5 IL（用于西门子PLC最后一代）。这种语言多年来在德国一直被认为是标准的，相关的硬件现在已经不再生产。这意味着在工程应用方面将有一种好的方案。 step5 PLC的软件应用在半控制形式下，主要有下面四种模块： OB：组织模块，为以一列程序模块的形式出现的用户程序的管理服务。 PB：程序模块，在这一模块下用户程序被定位在结构组。它只包括二进制运行。 DB：数据模块，这个模块包括数据，用户程序在这些数据下工作。 FB：函数模块，这个经常用来测试频率或非常复杂的函数。FBS中的PLC是一种混合形式，也就是数字和二进制操作。 除了这些普通的模块外，step5还拥有像定时器和计数器这样特殊的模块，这些模型的形式将在本章阐述。 PLC在精确的执行周期下的点模型下运行。这些过程包括三步，（图1）依次执行。在“读入信号”这一步，PLC读入所有输入值而且将他们拷贝到内部的输入映像寄存器PAE（图2）。在执行用户程序阶段，PLC执行已经进入PLC寄存器中的用户程序。在step5中，用户程序的运行随着OB1而开始，OB1在整个PLC中可以影响其它模块。规则系统将执行结果输入到输出映像寄存器（PAA）。而且他们可以到输入映像寄存器中去读取或数据或将数据写入输入映像寄存器。在“输出信号”这一步，PLC将输入映像寄存器中的数字拷贝到输出模块。要注意到程序也能从PAA中读入。 PLC程序编写的最重要一步是对状态定义的理智性选择，这里，需要审查不同可能性状态变量程序中PLC运行的影响。除了PAE，PAA和外部寄存器中的这些操作的影响，其还影响和状态字一样的执行算法的程序计数器。状态字是八位的。每一位代表一个结果。这可能是一位或一个字节。这些显示通过运行而改变。表Ⅰ[3]给出了状态字的目录。表Ⅱ表明了显示结果。 假设设有考虑二进制操作，那么只有CR是重要的，但是假设数字操作或定时器和计数器是有效的，那么检查PLC其它部分是重要的，如AKKU1和 AKKU2。 Ⅲ. PLC程序的改进 二进制程序的变革