基于IEC61131-3的控制得法编辑器实现

分析了可编程控制器的编程标准IEC61131-3的软件模型,设计并实现了基于IEC61131-3标准的控制算法编辑器,给出其系统架构、数据交换机制以及实现方法。该控制算法编辑器实现了IEC61131-3的5种编程语言FBD、SFC、LD、STL、IL,支持子程序及自定义功能块,集编辑、编译、下载和调试功能于一体,实现在线下装和实时控制,已大量应用于工业现场。     

基于IEC61131-3的控制算法编辑器实现

分析了可编程控制器的编程标准IEC61131-3的软件模型，设计并实现了基于IEC61131-3标准的控制算法编辑器，给出其系统架构、数据交换机制以及实现方法。该控制算法编辑器实现了IEC61131-3的5种编程语言FBD、SFC、LD、STL、IL，支持子程序及自定义功能块，集编辑、编译、下载和调试功能于一体，实现在线下装和实时控制，已大量应用于工业现场。     

解析工业编程语言国际标准IEC 61131-3

IEC61131-3是第一个为工业控制系统提供标准化编程语言的国际标准。该标准针对工业控制系统所阐述的软件设计的概念和软件模型等适应了当今世界软件、工业控制系统的发展方向，是一种非常先进的设计技术。符合IEC61131—3的软件系统是一个结构完美、可重复使用、可维护的工业控制系统软件，不但能被应用在PLC（可编程控制器），而且还能被应用在运动控制系统、分散型控制系统和软逻辑／PC，SCADA等。本专题包括六章，第一、二、三、四、六章是对IEC61131—3国际标准的介绍，第五章是对IEC61131国际标准通信部分的介绍。 第一章主要对IEC61131—3国际标准的一些主要特点、PLCopen国际组织及其在国内外的发展情况作了简单介绍； 第二章通过IEC国际标准的两个模型的介绍，从理论角度对IEC国际标准所具备的诸多优点作了理论剖析和阐述； 第三、四章主要对IEC61131—3国际标准的两种文本化语言IL和ST及三种图形语言FBD，LD和SFC做了简单介绍，使读者对IEC61131—3程序语言及其编程有一基本认识； 第五章从理论上对IEC61131-3编程系统如何与其它的工业自动化系统进行通信和集成作了简介，以让读者了解到IEC61131国际标准所具有的开放性和先进性。 第六章包括两部分： 第一部分主要介绍了一个IEC61131—3编程系统所应具有的一些主要特征； 第二部分举例说明了如何用IEC61131—3编程系统解决一个实际的问题。[编者按]     

履带车辆电驱动系统协同仿真与控制策略研究

为了准确分析电传动履带车辆的驱动特性,建立了基于多体动力学软件RecurDyn/ Track-HM的履带车辆整车行走系统的三维多体动力学虚拟样机模型,利用RecurDyn/ Track-HM和控制系统软件Matlab/Simulink的接口技术建立了协同仿真模型.对驾驶员操纵信号进行了全新定义,并在此基础上提出并在综合控制器中用标准IEC61131-3功能块图程序语言实现了转矩控制策略.通过对0～32km/h的加速时间、最高车速以及转向特性等驱动特性的协同仿真和实车试验结果的分析和比较,从而验证了仿真模型及转矩控制策略的正确性.第一台电传动履带车辆原理样车的成功研制为进一步深入研究其它驱动特性提供了移动式试验平台,对提高国内电传动研究水平具有重要指导意义.     

一种用功能块构建分布式IPMCS的策略

介绍了用于分布式控制系统的IEC61499功能块模型。叙述了功能块产生的背景，IEC61499功能块模型的特点、对象特性，并与IEC61131中的模型进行了比较。提出了一种基于功能块模型、结合软件工程方法构建分布式硎CS的策略并作了分析。最后指出了IEC61499功能块需要改进的地方。     

基于IEC61131-3中FBD的编辑软件设计

基于IEC61131-3《可编程序控制器的编程软件标准》在工业自动化领域中的应用,为减小功能块图语言编辑的复杂性,降低其编辑过程中的错误率,对适合于连续量控制的功能块图(FBD)语言作了研究和分析。并在此基础上,使用JAVA语言对工业控制组合软件中控制算法的图形化编辑软件进行开发。多功能嵌入式控制器的实际应用表明,该软件操作简单、易实现编辑、纠错能力好,为继续深入功能块语言在这方面的研究与应用提供了良好的基础。     

德国科维软件：真正的IEC 61131编程软件

德国科维软件有限公司（KW-Software GmbH）以其IEC 61131 PLC编程工具MULTIPROG，IEC 61131 PLC控制引擎ProConOS，以及易于使用的机器可视化系统ProVisIT等产品，而成为全球自动化领域具有领导地位的创新立异的公司。德国科维软件通过向自动化解决方案供应商提供自动化软件产品和技术，而成为他们的系统合作伙伴。25年以来，德国科维软件的上百个合作伙伴将无数的基于德国科维软件的解决方案应用于全球自动化生产线的各个角落，每天都证明着德国科维软件的高效与可靠。德国科维软件带领着众多的合作伙伴锐意进取、不断创新，永远是第一个将最先进的信息技术应用于工业控制领域，常常为未来的应用提供前瞻性的解决方案：如符合IEC 61508 SIL3的安全PLC编程工具SafePROG和控制引擎SafeOS以及用于对安全自动控制设备（驱动器、传感器、继电器）进行参数化的SAFEGRID，集成了IEC 61131编程、机器可视化、现场总现配置和运动控制功能块的综合平台MUL TIPROG SUITE，基于．NET技术的可以集成客户特有软件组件的Automation Framework，可以用C#语言和IEC 61131语言编程的ProConOS embedded CLR……     

具有安全属性图编程组件的设计研究

研究和实现了具有安全属性的可编程逻辑控制器(Programmable Logic Controller,PLC)编程组件。组件采用IEC61131-3标准功能块模型,既满足了IEC61131-3标准编程语言规范,也实现了组件在标准PLC编程软件的复用。组件在PLC编程中可按需求改变接口,其封装接口满足TC6 XML schema属性定义,增加的安全属性实现了组件的安全复用。最后,在Microsoft Visual Studio(VS)2012中运用.NET组件技术和C#编程语言实现了组件,并对组件进行了相关验证。     

基于PLCopen的六轴工业机器人运动控制功能块设计

针对工业机器人控制系统的开放性要求,设计符合PLCopen规范的六轴工业机器人运动控制功能块。基于CodeSys软件开发环境,结合SMC_CNC库中数组、结构体和功能块,采用IEC61131-3编程语言开发了六轴工业机器人运动控制功能块,包含：坐标变换、正逆运动变换、直线与圆弧插补运动等;在此基础上,开发了一系列机器人运动控制指令和可视化编程界面。最后,以埃夫特ER50六轴工业机器人为实验对象,采用研制的机器人运动控制器,实施机器人编程控制实验,结果表明所开发的机器人运动控制功能块及其指令达到了设计要求。     

加压泵站自动化系统程序的模块化设计

以某区给水加压泵站控制系统为例,针对系统PLC程序的合理化设计,分析了程序模块化设计方法,并根据IEC 61131-3标准,将程序模块化设计应用于自动化项目中.该方法利用编程系统原有功能块和根据控制要求定义的功能块,对自动化系统PLC程序进行模块化编程.与传统的PLC编程方法相比较,模块化设计使程序结构化清晰,编写简单,各功能相互独立.程序的模块化设计降低了控制系统的开发和维护成本,提高了系统运行效率.     

IEC61131-3标准控制逻辑组态跨平台仿真研究

为解决IEC61131-3控制逻辑跨平台仿真的问题,提出了一种基于语法转换的IEC61131-3标准控制逻辑组态仿真机制。首先介绍IEC61131-3的基本概念;然后描述整个机制的原理,给出基于ANTLR和文本模块的语法转换器的细节,讨论通信的方案;最后在3KeyMaster平台上验证了整个机制的可行性和正确性。     

An architecture to integrate IEC 61131-3 systems in an IEC 61499 distributed solution

The IEC 61499 standard has been developed to allow the modeling and design of distributed control systems, providing advanced concepts of software engineering (such as abstraction and encapsulation) to the world of control engineering. The introduction of this standard in already existing control environments poses challenges, since programs written using the widespread IEC 61131-3 programming standard cannot be directly executed in a fully IEC 61499 environment without reengineering effort. In order to solve this problem, this paper presents an architecture to integrate modules of the two standards, allowing the exploitation of the benefits of both. The proposed architecture is based on the coexistence of control software of the two standards. Modules written in one standard interact with some particular interfaces that encapsulate functionalities and information to be exchanged with the other standard. In particular, the architecture permits to utilize available run-times without modification, it allows the reuse of software modules, and it utilizes existing features of the standards. A methodology to integrate IEC 61131-3 modules in an IEC 61499 distributed solution based on such architecture is also developed, and it is described via a case study to prove feasibility and benefits. Experimental results demonstrate that the proposed solution does not add substantial load or delays to the system when compared to an IEC 61131-3 based solution. By acting on task period, it can achieve performances similar to an IEC 61499 solution.     

基于AT91M55800A和IEC 61131-3标准的嵌入式控制系统

介绍了嵌入式TCP／IP协议LwIP、IEC 61131-3国际标准,设计了基于AT91M55800A微处理器和IEC 61131-3标准的嵌入式实时控制系统,并实现了对三溶液位的控制。     

基于IEC标准的嵌入式控制器的MODBUS通信

首先介绍ARM控制系统的组成,并简略介绍控制器所用到的MODBUS通信协议、IEC61131-3标准和ARM微处理器,然后结合实际工程,对过程映像进行介绍,详细描述在ADS编程环境下实现设备地址、功能代码、数据以及CRC校验的分配过程,并利用MODBUS通信协议实现组态软件对基于IEC 61131-3标准的ARM控制器的监测和控制.     

IEC 61131-3编程语言的现状与趋势

介绍了IEC61131-3标准的产生、现状和发展,描述了国际对该标准的使用情况以及在国内推广、实施该标准的意义。以SunyTech工控软件为背景,对标准的具体内容作了详细阐述,同时通过与传统编程语言比较,展现该标准的特点和优势。结合一个实际的应用实例,体现了符合IEC61131．3标准的编程系统的优势。     

PLC通用编程软件的设计与实现

基于IEC61131-3国际标准,采用面向对象的思想,使用统一建模语言(UML),设计了一款支持五种标准语言的PLC通用编程软件,并在Visual C 开发平台上实现了梯形图和指令表两种语言的编程功能.对该软件进行了单元、集成和系统测试,测试结果表明,该软件不但具有较强的可扩充性.而且界面友好、工作稳定、检查和转换准确且高效,具有很强的使用价值.     

一种基于软PLC技术的通用可编程软件系统设计及实现

针对传统PLC难以构建开放硬件体系结构及性价比增长缓慢的缺点,提出了一种基于软PLC技术的通用可编程软件系统。该系统不仅符合IEC61131-3标准,支持标准定义的5种编程语言,而且用软件实现le 传统硬件PLC的控制功能。     

Verification and validation of safety applications based on PLCopen safety function blocks

Functional Safety is a major concern in the design of automation systems today. Many of those systems are realized using Programmable Logic Controllers (PLCs) programmed according to IEC 61131-3. PLCopen - as IEC 61131 user organization - semi-formally specified a set of software function blocks to be used in safety applications according to IEC 61508. In the presented work, formal models in the form of timed automata for the safety function blocks (SFBs) are constructed from the semi-formal specifications. The accordance of the formalized blocks to the specification is verified using model checking. Furthermore, their behaviour is validated against specified test cases by simulation. The resulting verified and validated library of formal models is used to build a formal model of a given safety application - built from SFBs - and to verify and validate its properties.