Programming Of PLC Research Articles

Remote training of programming of PLC with embedded web server

The paper considers a system for remote teaching of PLC programming using virtual controlled objects and controllerembedded web server. The study describes the architecture and capacities of the system and demonstrates examples of virtual lab workbenches. The system can be used to train students and staff.

Automatic control model of water filling system with Allen Bradley Micrologix 1400 PLC

Programmable Logic Controller or PLC today plays an important role in most industrial control systems. PLC usage can be encountered in almost all fields of industry, not only in the manufacturing world but also on many other things such as elevators in office buildings, hotels hospitals, and others. PLC is an electronic control tool that operates in logic that its programming can be modified with relative ease. As with any controller in general, the PLC processes input signals to further discharge output according to the desired program. PLC usage is very broad because of its high reliability, can be reprogrammed or modified with relative ease, and very helpful in the tracking troubleshooting. One type of existing PLC is Allen Bradley PLC. Allen Bradley PLC program is commonly used in various industries. PLC Allen Bradley (AB) has several types, and one of them is the type of Micrologic 1400. In this study we design a system as a comparison with the conventional system. For that to explore the use of a PLC program which will be supported by a simulator tool, including a program to RSLogic 500, how to programming, monitoring via RSView32, and modification. It is expected to understand the application aspect of operation and programming of this specific PLC and its potential. The purpose of this research is to design water filling automation system by using Allen Bradley Micrologic 1400 type 1766-L32BXB PLC, empowering the use of Allen Bradley Micrologic 1400 PLC and to regulate the desired process to obtain efficiency and effectiveness compared with conventional system arrangement using Relay.

Modeling, Specification and Construction of PLC-programs

A new approach to construction of reliable discrete PLC-programs with timers — programming based on specification and verification — is proposed. Timers are modelled in a discrete way. For the specification of a program behavior we use the linear-time temporal logic LTL. Programming is carried out in the ST-language according to a LTLspecification. A new approach to programming of PLC is shown by an example. The proposed programming approach provides an ability of a correctness analysis of PLC-programs using the model checking method. The programming requires fulfillment of the following two conditions: 1) a value of each variable should be changed not more than once per one full PLC-program implementation (per one full working cycle of PLC); 2) a value of each variable should only be changed in one place of a PLC-program. Under the proposed approach the change of the value of each program variable is described by a pair of LTL-formulas. The first LTL-formula describes situations that increase the value of the corresponding variable, the second LTL-formula specifies conditions leading to a decrease of the variable value. The LTL-formulas (used for specification of the corresponding variable behavior) are constructive in the sense that they construct the PLC-program, which satisfies temporal properties expressed by these formulas. Thus, the programming of PLC is reduced to the construction of LTL-specification of the behavior of each program variable.

Construction and Verification of PLC-programs by LTL-specification

An approach to construction and verification of PLC-programs for discrete tasks is proposed. For the specification of a program behavior we use the linear-time temporal logic LTL. Programming is carried out in the ST-language according to an LTL-specification. The correctness analysis of an LTL-specification is carried out by the symbolic model checking tool Cadence SMV. A new approach to programming and verification of PLCprograms is shown by an example. For a discrete problem we give a ST-program, its LTL-specification and an SMV-model. A purpose of the article is to describe an approach to programming PLC, which would provide a possibility of PLC-program correctness analysis by the model checking method. Under the proposed approach the change of the value of each program variable is described by a pair of LTL-formulas. The first LTL-formula describes situations that increase the value of the corresponding variable, the second LTL-formula specifies conditions leading to a decrease of the variable value. The LTL-formulas (used for specification of the corresponding variable behavior) are constructive in the sense that they construct the PLC-program, which satisfies temporal properties expressed by these formulas. Thus, the programming of PLC is reduced to the construction of LTL-specification of the behavior of each program variable. In addition, an SMV-model of a PLC-program is constructed according to LTL-specification. Then, the SMV-model is analysed by the symbolic model checking tool Cadence SMV.

Construction and Verification of PLC LD-programs by LTL-specification

An approach to construction and verification of PLC LD-programs for discrete problems is proposed. For the specification of the program behavior, we use the linear-time temporal logic LTL. Programming is carried out in the LD-language (Ladder Diagram) according to an LTL-specification. The correctness analysis of an LTL-specification is carried out by the symbolic model checking tool Cadence SMV. A new approach to programming and verification of PLC LD-programs is shown by an example. For a discrete problem, we give a LD-program, its LTL-specification and an SMV-model. The purpose of the article is to describe an approach to programming PLC, which would provide a possibility of LD-program correctness analysis by the model checking method. Under the proposed approach, the change of the value of each program variable is described by a pair of LTL-formulas. The first LTL-formula describes situations which increase the value of the corresponding variable, the second LTL-formula specifies conditions leading to a decrease of the variable value. The LTL-formulas (used for speci- fication of the corresponding variable behavior) are constructive in the sense that they construct the PLC-program (LD-program), which satisfies temporal properties expressed by these formulas. Thus, the programming of PLC is reduced to the construction of LTLspecification of the behavior of each program variable. In addition, an SMV-model of a PLC LD-program is constructed according to LTL-specification. Then, the SMV-model is analysed by the symbolic model checking tool Cadence SMV.

On Construction and Verification of PLC-Programs

We review some methods and approaches to programming discrete problems for Programmable Logic Controllers on the example of constructing PLC-programs for controling a code lock. For these approaches we evaluate the usability of the model checking method for the analysis of program correctness with respect to the automatic verification tool Cadence SMV. Some possible PLC-program vulnerabilities arising at a number approaches to programming of PLC are revealed.

Modeling, specification and construction of PLC-programs

A new approach to constructing reliable discrete PLC-programs with timers-programming based on specification and verification-is proposed. Timers are modelled in a discrete way. For the specification of the program behavior we use the linear-time temporal logic LTL. Programming is carried out in the ST-language according to an LTL-specification. A new approach to programming PLC is shown by an example. The proposed programming approach provides an ability of a correctness analysis of PLC-programs using the model checking method. The programming requires fulfillment of the following two conditions: (1) the value of each variable should be changed not more than once per one full PLC-program implementation (per one full working cycle of PLC); (2) the value of each variable should only be changed in one place of a PLC-program. Under the proposed approach the change of the value of each program variable is described by a pair of LTL-formulas. The first LTL-formula describes situations that increase the value of the corresponding variable, the second LTL-formula specifies conditions leading to a decrease of the variable value. The LTL-formulas (used for specification of the corresponding variable behavior) are constructive in the sense that they construct the PLC-program, which satisfies temporal properties expressed by these formulas. Thus, the programming of PLC is reduced to the construction of LTL-specification of the behavior of each program variable.

ROBOTIC ARM CONTROLLED IN MISSILE LAUNCHERS USING PLC AND IMAGE AUTHENTICATION TECHNIQUE

As of now, the missile launchers which use Robotic Hand for holding and releasing of missiles in defense organizations are being controlled by the microcontroller. As a result of this there are many problems associated. One is that the controlling of the whole process is not perfect. Therefore we have proposed a paper where the robotic hand which controls the missile launcher will be controlled by a PLC and secured image authentication technique. In our project, the hand which is holding the missile that to be launch is controlled by the PLC. The robotic hand is operated by with the help of DC motor. The PLC controls the two kind of position of robotic hand. One is holding the missile and another one is releasing the missile. Actually the PLC is controlling the DC motor in two conditions which is holding and releasing. In the Space research center, applying the missile is very important and secure process also. So, operating with the missile launching process, secured by image authentication technique is highly required. PLC controls the robotic hand by means of ladder diagram which is nothing but programming of PLC. In that programming only our secure technique will be used. The pass code and image synchronizations are needed to execute the programming of PLC. Until the authorization the robotic hand it will not release or hold the missile.

Construction of PLC IL-Programs by LTL-Specification

An approach to the construction and verification of PLC IL-programs for discrete problems is proposed. For the specification of the program behavior, we use the linear-time temporal logic LTL. Programming is carried out in the IL-language (Instruction List) according to an LTL-specification. The correctness analysis of an LTL-specification is carried out by the symbolic model checking tool Cadence SMV. A new approach to programming and verification of PLC IL-programs is shown by an example. For a discrete problem, we give an IL-program and its LTL-specification. The purpose of the article is to describe an approach to programming PLC, which would provide a possibility of IL-program correctness analysis by the model checking method. Under the proposed approach, the change of the value of each program variable is described by a pair of LTL-formulas. The first LTL-formula describes situations which increase the value of the corresponding variable, the second LTL-formula specifies conditions leading to a decrease of the variable value. The LTL-formulas (used for speci- fication of the corresponding variable behavior) are constructive in the sense that they construct the PLC-program (IL-program), which satisfies temporal properties expressed by these formulas. Thus, the programming of PLC is reduced to the construction of LTLspecification of the behavior of each program variable. In addition, an SMV-model of a PLC IL-program is constructed according to LTL-specification. Then, the SMV-model is analysed by the symbolic model checking tool Cadence SMV.

Easy Programming of an Electropneumatic Walking Robot

In this paper a programming for the walking of an electropneumatic biped robot is reported in terms of walking strategy and Grafcet instructions by using the capabilities of the electropneumatic facilities. A suitable mechanical design with low-cost components has been useful for an easy programming of a commercial PLC in a digital environment. The electropneumatic actuation has been obtained by commercial linear and rotative pneumatic cylinders and the ground contact of a foot has been ensured by suction-cups. The elementary actions for the walking in straight and turn modules have been analyzed to obtain useful subroutines for PLC programming in form of Grafcet flowcharts and then Ladder Diagram instructions. Any walking path can be easily programmed by assembling the proposed straight and turn modules in a suitable sequence