基于IEC61131-3标准的PLC编程环境

针对目前PLC编程环境存在的问题,设计一种基于IEC61131-3标准的新型PLC编程开发环境,给出开发环境的模块构成,介绍各个模块实现时用到的数据结构和算法,分析其中较难实现的梯形图语言向指令表语言翻译的算法思想和实现步骤。实验结果表明,该系统用户界面友好、操作简单、功能全面,可支持多种PLC语言开发,方便用户对PLC的开发和使用,具有广阔的应用前景。     

PLC国际标准编程语言探析

本文根据传统PLC编程语言的不足和局限,阐述了IEC 61131-3国际标准的5种编程语言的结构、编程以及转换,利用IEC 61131-3国际标准编程语言,可以解决PLC应用中出现的诸多问题,为全球PLC制造商和客户所接受。     

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

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

基于IEC61131-3标准的电梯控制系统设计

IEC61131-3是工业控制系统编程语言的第一套国际标准。介绍了IEC61131-3国际标准的产生、发展和特点,从程序组织单位组成及内容、编程语言等方面详细地阐述了IEC61131-3的软件开发平台,讨论了使用该标准构建控制系统的语言模式。最后以电梯控制为例阐述了使用IEC61131-3控制系统的组态和编程步骤。通过运行证明,系统较好地模拟了电梯的实际运行过程,体现了IEC61131-3标准的特点和优势。     

基于IEC61131-3的IL编译器的设计与实现

为解决目前国内各厂PLC(programmable logic controller)产品的编程语言互不兼容,使得不同系列产品的PLC编译器可重用性很低的问题,设计实现了基于IEC61131-3标准的IL(instruction list)语言编译器.首先设计了编译器的逻辑结构,借助Flex和GNU Bison工具,按照标准IL语言的词法,语法要求,设计并实现了词法、语法分析器,简述了生成目标代码具体实现方法,然后在数控系统中进行了测试运行,实验结果表明,该编译器能正确解释标准IL语言的用户程序,且运行可靠.     

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

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

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

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

PLC梯形图向结构文本转换的算法及实现

通过分析IEC61131-3标准规定的PLC梯形图语言及结构文本语言,提出对梯形图不同图元分类处理实现梯形图向结构文本转换的算法.该算法引入了虚节点,通过对虚节点的合并建立AOV图,按AOV图拓扑排序的顺序对不同类型节点分类处理,实现梯形图向结构文本的转换,并给出转换实例.该算法具有通用性,能转换任何复杂逻辑梯形图,已成功应用到高档数控国家工程研究中心的蓝天系列数控系统.     

IEC61131-3标准及其在聚丙烯风送控制系统模块化编程中的应用

IEC61131-3是可编程序控制器编程语言的国际标准,本文阐述了该标准的主要内容和应用优势,以及在具体工程项目实施中如何将IEC61131-3标准用于聚丙烯风送控制系统的模块化设计与模块化编程。     

软PLC的转换中间语言模型的建立与研究

本文介绍了传统PLC的一些弊端，构建了一种基于嵌入式系统符合IEC61131－3标准的软PLC系统．并分析了目标代码产生的机制。着重介绍了转换各种符合IEC61131－3标准编程语言的模型以及基于本嵌入式系统目标代码的具体实现过程，最后阐述了本系统的特点和应用前景。     

基于ARM和IEC61131-3标准的软逻辑控制系统

介绍了基于S3C44B0X和IEC 61131-3标准的软逻辑控制系统原理;给出了在uClinux系统下如何实现IEC 61131-3标准的软逻辑控制的方法;提出了一种I/O映射机制,解决了编程系统定义的I/O变量和实际物理I/O口的关联问题.     

基于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,支持子程序及自定义功能块,集编辑、编译、下载和调试功能于一体,实现在线下装和实时控制,已大量应用于工业现场。     

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

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

基于XML的嵌入式异构域图编程数据的描述方法

针对目前图编程设计软件对界面的形式化描述不规范而导致的数据交互能力不强的问题,提出了一种基于XML的嵌入式异构域图编程数据标准描述方法。以IEC61131-3和IEC61499标准为基础,将图元表示为表现型和执行型部分,抽象出图编程数据标准描述模型及图元构件关系。通过对其形式化定义与描述,为图编程数据描述文件的交互提供转换基础,提高图编程数据的交互能力。可行性和有效性得到了实验验证。     

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

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

基于工业PC的软PLC的设计与实现

选取软PLC作为研究对象,在理解软PLC系统的功能、组成和编程方法基础上,基于IEC61131—3国际标准的编程规则。采用面向对象的思想,设计出了一套完整易用的数据结构,给出了一种基于工业PC的软PLC设计方案并在VC6．0环境下实现。最后,通过实验室被控对象验证了方案的可行性。     

Matlab代码在PLC控制系统中的实现方法研究

在控制系统设计与工程实现中,控制律的理论仿真和仿真成果的工程实现具有重要的理论研究意义和工程实现价值。如何将仿真的算法更快更方便工程实现,基于此目的提出了一种将Matlab仿真控制律代码应用于PLC控制系统的实现方法,通过采用Simulink PLC Coder技术自动生成符合IEC61131-3标准的结构化文本,进而编译成PLC能通过的SCL语言,来达到Matlab/Simulink中的复杂高级算法在PLC中的实现。为PLC更复杂的算法的编写提供了参考,缩短系统设计与调试时间,对控制律的理论仿真和仿真成果的工程实现具有一定的指导作用。     

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.     

Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application

The trip computers for the two reactor shutdown systems of the Ontario Power Generation (OPG) Darlington Nuclear Power Generating Station are being refurbished due to hardware obsolescence. For one of the systems, the general purpose computer originally used is being replaced by a programmable logic controller (PLC). The trip computer application software has been rewritten using function block diagrams (FBDs), a commonly used PLC programming language defined in the IEC 61131-3 standard. The replacement project’s quality assurance program requires that formal verification be performed to compare the FBDs against a formal software requirements specification written using tabular expressions (TEs). The PVS theorem proving tool is used in formal verification. Custom tools developed for OPG are used to translate TEs and FBDs into PVS code. In this paper, we present a method to rigorously translate the graphical FBD language to a mathematical model in PVS using an abstract syntax to represent the FBD constructs. We use an example from the replacement project to demonstrate the use of the model to translate a FBD module into a PVS specification. We then extend that example to demonstrate the method’s applicability to a Simulink-based design.