R.W. Lewis. Programming industrial control systems using IEC 1131-3. IEE, 1998.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....of production lines and manufacturing processes will lead to the development of the manless factory where there is no longer any significant requirement for production workers or operators. Suchlevels of automation will not be achievable without developmentofcontrol systems, particularly PLCs [11]. As automation systems progress, works that the PLC carries out become more complex. To treat them effiem tly, it has retained more than a hundred kinds of instructions. Of the instructions, the proportion of special instructions such as PID and floating pointoperations has been increased with ....

R.W. Lewis, Programming Industrial Control Systems using IEC 1131-3

....area that provide the tools to move away from the traditional centralised, scan based programmable logic controller (PLC) architecture towards a new architecture for real time distributed intelligent control. In particular, there have been a number of advances recently in programming languages [23], models for distributed control [21] and software methodologies [26] that are relevant. Several authors, particularly those associated with the Holonic Manufacturing Systems (HMS) consortium, have carried out a considerable volume of relevant research. This includes Sieverding [34] and Bussmann ....

.... standard The International Electro technical Commission (IEC) 61499 standard addresses the need for modular software that can be used for distributed industrial process control [21,24] In particular, this standard builds on the function block portion of the IEC 61131 3 standard for PLC languages [23] and extends the function block (FB) language to more adequately meet the requirements of distributed control in a format that is independent of implementation. IEC, with the help of several HMS consortium members, have developed the Function Block Architecture as a new standard to model ....

R. Lewis, Programming Industrial Control Systems Using IEC 1131-3, IEE, London, 1996.

....[b; e] Time the observable OA is at time point t 2 I equal to (SA (t) except for single points. 6 Implementing PLC Automata on PLCs In this section we want to describe how the PLC Automata can easily be implemented in PLCs. To this end we use the standardised language ST (structured text [19,24,20]) that provides all usual basic constructs of imperative languages and that is used in practise for programming PLCs. We illustrate its usage by means of an example. Let A = Q; Sigma; ffi; q 0 ; S e ; S t ; be a PLC Automaton. Without loss of generality we assume Q = f1; ng, ....

R.W. Lewis. Programming industrial control systems using IEC 1131-3. The institution of Electrical Engineers, 1995.

.... (result i ) claimed resources i) 26) Towards the programmable logic controller In the last design step we take the special technology into account on which the control program will be executed: a Programmable Logic Controller with the programming language Sequential Function Charts [10, 18]. This language allows to express that processes are excuted in parallel, and for each process there is a system de ned variable that indicates whether the process is active or not. This last design step includes also a reformulation of the previous speci cation and a change in the point of view: ....

....program itself. After that we will discuss the veri cation of the design. 4 The implementation of the control program Before explaining the actual implementation of the control program, we brie y introduce PLC languages and the PLC execution mechanism. For a detailed introduction see, e.g. [18]. 4.1 PLC languages and execution mechanism Sequential Function Charts (SFC) is one of the languages from the standard IEC 61131 3 [10] describing a set of programming languages for PLCs. In fact, SFC is a graphical language that allows to impose structure upon any of the other languages: a ....

R. W. Lewis. Programming Industrial Control Systems Using IEC 1131-3. Control Engineering Series. The Institution of Electrical Engineers, London, 1999.

....in Ladder Diagram (LD) While LD resembles relay logic, FBD is a graphical mimicking of the wiring of simple logic gates, like AND, OR, NOT, or FLIP FLOP. Both languages (LD as well as FBD) are still part of the IEC61131 3 the current international standard for PLC programming languages [4] [6]. However, they are not well suited for the description of sequential and concurrent algorithms because they have no means for the visual description of the control flow in a program. The IEC61131 3 standard also contains a language that is intended for the graphical description of sequential and ....

R. W. Lewis. Programming industrial control systems using IEC 1131-3. IEE Publishing, London, 1998.

....is interpreted as simultaneous. After a new stable marking is reached, the output signals are UHFDOFXODWHG E DSSO LQJ # WR WKH PDUking. 2. 4 Relation to Sequential Function Chart There is a close relation of SIPN to Sequential Function Chart (SFC) according to IEC 1131 standard [IEC 1992] [LEWIS 1998] There is one big difference in the dynamic behavior: In SFC there are, by definition, no transient states. The activity of a step is always held up for at least one PLC cycle. However, the cycle time of a PLC is very short resulting in quasi transient states of the controller. The relation of ....

Lewis, R. W.: `Programming industrial control systems using IEC 1131-3'. IEE Publishing, London, 1998.

....controller, and verified using Theorem 3, the next step is to implement the logic controller. 6.2.1 Implementation bySFC Currently, PLCs are the most popular devices for implementing logic controllers. As an international standard, the IEC 1131 3 programming languages were developed for PLCs [38]. Since the first revision of the IEC 1131 3 standard published in 1993, the PLCs from major PLC manufacturers can be programmed using some of the programming languages provided from IEC 1131 3 standard. One of the IEC 1131 3 standard languages is SFC (Sequential Function Chart) It is based on ....

R. W. Lewis, Programming Industrial Control Systems using IEC 1131-3, The Institution of Electrical Engineers, London, United Kingdom, 1995.

....introduced by the application of the rule and TooFast represents the error state of the rule. The implementation of the PLC Automaton is very easy because in [4] a compilation schema for PLC Automata is given. The output of this compilation is runnable PLC code using ST ( structured text ,[13, 11]) a pascal like programming language for PLCs. Due to the simplicity of the automaton in Fig. 17 the code is very short: PROGRAM GRC VAR CONSTANT NoTr : INT : 0; AppTr : INT : 1; SlowTr : INT : 2; TooFast : INT : 3; VAR state : INT : NoTr; timer : TP; time up : BOOL : FALSE; END ....

R.W. Lewis. Programming industrial control systems using IEC 1131-3. The institution of Electrical Engineers, 1995.

....logic controller In the last approximation step towards the control program we take the special environment into account in which the control program will be executed, which is a Programmable Logic Controller. The programming language that will be used is that of Sequential Function Charts [7] [12]. For the time being we make use of two features of this language: rst, it allows to express that processes are excuted in parallel; and second, for each process there is a system de ned variable that indicates whether the process is active or not. This last approximation step includes also a ....

....de nitive theorem: the control speci cation and implication 19 4 The implementation of the control program Before explaining the actual implementation of the control program, it is necessary to brie y introduce PLC languages and the PLC execution mechanism. For a detailed introduction see, e.g. [12]. 4.1 PLC languages and execution mechanism Sequential Function Charts (SFC) is one of the languages from the standard IEC 1131 3 [7] describing a set of programming languages for PLCs. In fact, SFC is a graphical language that allows to impose structure upon any the languages: a Petri net like ....

R. W. Lewis. Programming Industrial Control Systems Using IEC 1131-3. Control Engineering Series. The Institution of Electrical Engineers, London, 1999.

....embedded control software. This commonly occurring class of systems spans many di#erent domains (e.g. automotive, process control, ASIC design, mobile telephony) and is a very common component of critical systems. We have formalised various sub languages of Programmable Logic Controllers (PLC s [14, 17]) and concentrate here on the PLC sub language of Sequential Function Charts (SFCs) which present a control flow view of an embedded controller. The diagrammatic representation of SFCs is illustrated in Figure 1 and consists of elements of two distinct kinds: rectangular boxes called steps and ....

....no elements of the same kind may be linked directly. Each step is labelled by an identifier and may have an associated action, and each transition carries a boolean condition. The SFC of Figure 1 is a simplified lift controller 1 , adapted from a teaching example of good SFC design from [17]. SFCs exhibit a rich control flow behaviour. At any given time, each step can be either active or inactive and the set of all active steps defines the current state of the system. A step remains active until one of its successor 1 elevator controller, for American readers transition ....

[Article contains additional citation context not shown here]

R. W. Lewis. Programming Industrial Control Systems Using IEC 1131-3. Control Engineering. The Institution of Electrical Engineers (IEE), London, 1995.

....embedded control software. This commonly occurring class of systems spans many different domains (e.g. automotive, process control, ASIC design, mobile telephony) and is a very common component of critical systems. We have formalised various sub languages of Programmable Logic Controllers (PLC s [4, 6]) and concentrate here on the PLC sub language of Sequential Function Charts (SFCs) which present a control flow view of an embedded controller. The diagrammatic representation of SFCs is illustrated in Figure 1 and consists of a net comprising elements of two distinct kinds: rectangular boxes ....

....step(s) targeted by the links emanating from that transition. The double horizontal lines introduce and conclude sections of the diagram which execute concurrently with each other. The SFC of Figure 1 is a simplified lift controller 1 , adapted from a teaching example of good SFC design from [6]. While Figure 1 is a simplified version of the SFC from [6] nevertheless we have retained the layout of that original SFC, and note that it carries important information concerning the domain being represented. The main body of the SFC of Figure 1 is conceptually partitioned into the three ....

[Article contains additional citation context not shown here]

R. W. Lewis. Programming industrial control systems using IEC 1131-3. Control Engineering Series. The Institution of Electrical Engineers (IEE), London, 1995.

....future. Programmable logic controllers (PLCs) are the backbone of most automation projects and their market is expected to increase in even greater portion. Among the industries where they are used for controlling purposes are power generation, steel production, water, chemical and petrochemical [4]. Although PLCs are widely used, hardly any verification tools are available for them. This contri This work has been partially supported by the European Community in the Esprit Long Term Research Project 23498 VIRES (Verifying Industrially Relevant Systems) bution aims at providing one ....

R.W. Lewis. Programming industrial control systems using IEC 1131-3, volume 50 of Control Engineering Series. The Institution of Electrical Engineers, revised edition, 1998.

....are zero and that all internal components compute in constant time. This view presents the control engineer with a greatly simplified, yet adequate, model of computation. 2.3 The IEC 1131 3 standard In 1993, PLCs became the subject of IEC International Standard 1131. Part 3 of this standard [23, 86], defines a suite of four domain specific languages which have become known collectively as IEC 1131 3. Programs in these languages may be represented either diagrammatically or textually and the two forms of 21 Programmable Logic Controller Actuators Sensors Plant (process) Control Software ....

....As far as we know there are few results of this kind. Milner s result on the correspondence between flowgraphs and CCS terms [103, 102] is a notable exception. Here we present an exploration of the correspondence between diagrams and their textual form for an idealisation of IEC 1131 3 [23, 86] function blocks. Users of the function block diagrams are encouraged to think in a circuit paradigm [111, 135] but the diagrams are internally translated into a textual form and are interpreted by microprocessors. The potential for divergence of the expected behaviour of diagrammatic ....

[Article contains additional citation context not shown here]

R. W. Lewis. Programming industrial control systems using IEC 1131-3. Control Engineering Series. The Institution of Electrical Engineers (IEE), London, 1995.

....machine assembler. The International Electro technical Commission (IEC) has embraced IL [8] because it is simple, easy to learn [and] ideal for solving small straight forward problems where there are few decision points and where there is a limited number of changes in program execution flow [9]. Furthermore it is sometimes regarded as the base language of an IEC compliant PLC, in which all other languages [defined in the standard] can be converted [9] A small program written in IL is given in figure 2. LD Cycle ( Load Cycle and ) ADD 1 ( increase by 1 ) ST Cycle ( Store Cycle ....

.... straight forward problems where there are few decision points and where there is a limited number of changes in program execution flow [9] Furthermore it is sometimes regarded as the base language of an IEC compliant PLC, in which all other languages [defined in the standard] can be converted [9]. A small program written in IL is given in figure 2. LD Cycle ( Load Cycle and ) ADD 1 ( increase by 1 ) ST Cycle ( Store Cycle ) LD Speed ( Load Speed and ) GT 1000 ( test if 1000 ) JMPNC VOLTS OK ( Jump if not ) LD Volts ( Load Volts and ) SUB 10 ( reduce by 10 ) ST ....

[Article contains additional citation context not shown here]

R. W. Lewis. Programming industrial control systems using IEC 1131-3, volume 50 of IEEE Control Engineering Series. The Institution of Electrical Engineers, London, UK, 1995.

....an open system. At IEC they say, the industrial instrumentation and control systems need an open systems approach to build large systems using equipment from different manufacturers. In an open system manufacturers can exchange software, by all using a standard language for programming PLCs [1]. Not everyone agrees with the idea of defining a standard for programming PLCs. In his article [6] Kenneth C. Crater states that the entire concept of a standardized suite of languages, presumably to become the accepted PLC programming languages, is flawed and works against the interest of the ....

....Sequential function chart Sequential function chart is a graphical language for depicting sequential behaviour of a control system. It is used for defining control sequences that are time and event driven. This language will be discussed more later on. 2. 2 IEC 1131 3 concepts The IEC standard [1] allows programs to be decomposed in small manageable parts. The IEC software model is layered. Each layer hides many of the features of the layers beneath it. We will now look at how these layers are used to build software. At the highest level, the software for a particular control problem is ....

R.W. Lewis, Programming industrial control systems using IEC 1131-3, The Institution of Electrical Engineers, London, 1995.

....the product means that a lot of data and software in different systems have to be changed, without there being some standardised way of doing it. These demands for flexibility have initiated work on standardisation. There are a lot of examples of these kinds of standardisation. IEC 1131 3 [Lewis 95] standardises the software in the DPCS, manufacturing message specification [Huras Bourbonnais 90] specifies the message interchange between production machines, MAP [Valenzano et al. 92] and PROFIBUS [Bender 93] standardise the communication in and between DPCSs. There are also ongoing ....

. R.W. Lewis, Programming industrial control systems using IEC 1131-3, The Institution of Electrical Engineers, London, 1995.

....Finally, the relation between the observables state and output is established by 2(d e = d ( e) 12) 6 Implementing PLC Automata on PLCs In this section we want to describe how the PLC automata can easily be implemented in PLCs. To this end we use the language ST (structured text [8, 6]) that provides all usual basic constructs of imperative languages and that is used in reality for programming PLCs. We illustrate its usage by means of an example. Let A = Q; Sigma ; ffi; 0 ; S e ; S t ; Omega ; be a PLC automaton . Without loss of generality we assume Q = f1; ....

R.W. Lewis. Programming industrial control systems using IEC 1131-3. The institution of Electrical Engineers, 1995.

....is hierarchically organised, with each layer of the model hiding features of the layers beneath it. The different parts of this model will be shortly discussed to see how they are used to build PLC programs. Figure 2: The IEC 1131 Software Model 3.1. 1 Configurations A configuration is defined in [1] as a language element that corresponds to the programmable controller system, and generally equates with all the software required for one PLC. It has communications interfaces to communicate with other IEC configurations. 3.1.2 Resources A configuration can contain one ore more resources, that ....

....with all the software required for one PLC. It has communications interfaces to communicate with other IEC configurations. 3.1. 2 Resources A configuration can contain one ore more resources, that provides support for all of the features needed for the execution of a program, as mentioned in [1]. In software engineering terms, the resource may be regarded as the interface between the hardware of the PLC and a virtual machine that is able to execute an IEC 1131 3 compliant program. It consists of tasks and the POUs programs, function blocks and functions. Note that a resource will ....

[Article contains additional citation context not shown here]

R.W. Lewis. Programming industrial control systems using IEC 1131-3. The Institution of Electrical Engineers, London, 1995.

No context found.

R.W. Lewis. Programming industrial control systems using IEC 1131-3. IEE, 1998.

No context found.

R. Lewis, Programming industrial control systems using IEC 11313, revised ed., ser. Control Engineering Series. Stevenage, United Kingdom: The Institution of Electrical Engineers, 1998, vol. 50.

No context found.

R.W. Lewis. Programming industrial control systems using IEC 1131-3, volume 50 of Control Engineering Series. The Institution of Electrical Engineers, Stevenage, United Kingdom, revised edition, 1998.

No context found.

R. W. Lewis. Programming industrial control systems using IEC 1131-3, volume 50 of IEEE Control Engineering Series. The Institution of Electrical Engineers, London, UK, 1995.

No context found.

R. W. Lewis. Programming Industrial Control Systems Using IEC 1131-3. Control Engineering Series. The Institution of Electrical Engineers, London, 1997.

No context found.

R.W. Lewis. Programming Industrial Control Systems using IEC 1131-3.

No context found.

R.W. Lewis. Programming industrial control systems using IEC 1131-3. The Institution of Electrical Engineers, London, 1995.

First 50 documents

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC