PLC Software Research Articles

PENINGKATAN KOMPETENSI GURU SEKOLAH MENENGAH KEJURUAN MELALUI PELATIHAN SOFTWARE ENGINEERING

Increasing teacher competency is a process that cannot be done instantly. Teachers must always be provided with new knowledge that can be applied to their own needs and institutions. Computer-based learning will greatly help educators in the current era of Information and Communication Technology, especially vocational teachers who teach in productive fields (engineering subjects). The problem faced is the inability of teachers to use computers as learning media. Teachers only use computers to present powerpoint media, even in practical subjects. The teacher has not been able to utilize software engineering that will assist in the practical learning process, such as AutoCAD software in learning Drawing Engineering and PLC software in learning control systems. Therefore, it is necessary to conduct integrated and comprehensive training for teachers in utilizing computers as learning media especially in the use of software engineering. All Muhammadiyah 1 Padang Vocational Middle School teachers and SMK Dhuafa Nusantara Padang were invited to take part in engineering training. In the implementation of the activity there were 15 teacher participants. The training material consisted of the introduction and use of AutoCAD software, and PLC software. The results of this training show that more than 90% of participants have been able to use AutoCAD and PLC software. Besides that, there was an increase in motivation and enthusiasm from the teacher to show performance, both in the use of software for classroom learning and in daily life as a professional who always tried to improve his competence.

Leveraging Horn clause solving for compositional verification of PLC software

Real-world PLC software is modular and composed of many different function blocks. Nevertheless, common approaches to PLC software verification do not leverage this but resort to inlining, or analyse instances of the same function block type independently. With the advent of constrained Horn clauses as the basis for automated program verification, many state-of-the-art verification procedures build upon them. We illustrate how this formalism allows for a uniform characterisation of PLC program semantics and safety goals, derived from reactive systems safety foundations. Furthermore, we give a natural extension of the resulting encoding which enables compositional reasoning about modular software. Due to the cyclic execution of PLCs, an engineer’s mental model of a single function block often exhibits state machine semantics – partitioning a block’s behaviour into different modes of operation. We illustrate how such a mode space, and similar high-level knowledge, can be integrated with our compositional characterisation. We investigate the impact of each technique on the model checking performance by characterising PLC software verification problems, both in a non-compositional and a compositional way that may incorporate mode transitions, and solving them with an SMT solver. Evaluation of our prototypical implementation on examples from the PLCopen Safety library shows the effectiveness of both the chosen formalism and using high-level summaries.

Research on Configurability of Software Definition Intelligent Controller

PLC control system and related control technology have developed relatively mature after years of industry development. Different needs need to develop PCL products of different systems. Specific PLC products need to develop different software to control. The development of customized PLC hardware and software greatly improves the difficulty and cost of development. This paper presents a flexible configuration method of software definition, which enables PLC system to make flexible software definition according to application requirements in order to adapt to different types of hardware environment, such as the number and types of ports between different types. It will effectively reduce the difficulty of system development, reduce the long development cycle, and enhance software stability and consistency.

Design of Control System for Electrolytic Deburring Machine Based on PLC and Touch Screen

In the process of machining parts, burrs are hard to avoid. Electrolytic deburring method can obtain high homogeneity and surface quality, which is suitable for metal burrs in complex inner chambers. Therefore, it is widely used in automotive engine, aerospace, pneumatic and hydraulic industries. Electrolytic deburring process is affected by many factors, and its control system design is particularly important. Based on the principle of electrochemical deburring processing and PLC control technology, designs a set of electrochemical deburring machine tool control system, through the analysis of the processing technology and design the PLC closed-loop design idea algorithm and software running flow, through the configuration software design the control system of the human-computer interaction interface, in combination with the RS - 422 bus technology to realize processing parameters and data transmission and processing. According to the characteristics of the deburring machine, an adaptive control system is developed. Specific work includes: machine tool control system requirements analysis; hardware circuit design and communication design; PLC program design and man-machine page design; anti-interference design from both hardware and software aspects; field debugging of the control cabinet to improve the system function. The test results show that the machine tool is stable and reliable, and the deburring effect is very good.

Change analysis on evolving PLC software in automated production systems

Abstract Control software for automated Production Systems (aPSs) becomes increasingly complex. Respective systems undergo constant evolution. Yet, proper documentation may not always be present, entailing maintenance issues in the long run. While manual examination of software for aPSs is an error-prone task, static analysis can improve system quality. However, it has not been applied to describe software evolution by means of changed systems artifacts. The authors address this issue and perform change analyses on IEC61131-3 projects, identifying introduced and removed systems artifacts as well as existing ones affected. By that, the authors aim to support sustainable evolution. Two feasibility studies, implemented independently, but for the same evolution scenarios for an automation plant, are used for evaluation. The technique is shown to be efficient and highly precise.

Automatic query reformulations for feature location in a model-based family of software products

No maintenance activity can be completed without Feature Location (FL), which is finding the set of software artifacts that realize a particular functionally. Despite the importance of FL, the vast majority of work has been focused on retrieving code, whereas other software artifacts such as the models have been neglected. Furthermore, locating a piece of information from a query in a large repository is a challenging task as it requires knowledge of the vocabulary used in the software artifacts. This can be alleviated by automatically reformulating the query (adding or removing terms). In this paper, we test four existing query reformulation techniques, which perform the best for FL in code but have never been used for FL in models. Specifically, we test these techniques in two industrial domains: a model-based family of firmwares for induction hobs, and a model-based family of PLC software to control trains. We compare the results provided by our FL approach using the query and the reformulated queries by means of statistical analysis. Our results show that reformulated queries do not improve the performance in models, which could lead towards a new direction in the creation or reconsideration of these techniques to be applied in models.

Compositional Verification of PLC Software using Horn Clauses and Mode Abstraction

Real-world PLC software is modular and composed of many different function blocks. Due to its cyclic execution, an engineer’s mental model of a single function block often exhibits state machine semantics – partitioning a block’s behaviours into different modes of operation. We propose a technique called mode abstraction for automatic computation of such high-level models from program semantics and investigate its impact on the overall model checking performance. To this end, we use constrained horn clauses to characterise the program semantics, mode transitions and safety goals in a compositional way. The resulting verification conditions are discharged using an SMT solver.Evaluation of our prototypical implementation on examples from the PLCopen Safety library shows the effectiveness of both the chosen formalism and mode abstraction.

The Design of Control System of No-load Test Bed for Truck Transmission

In this paper, I mainly introduce a control system used on the test bed, to test the function of the truck transmission by LABVIEW software. The control system exchanges data between PLC and host computer software mainly by the OPC technology. The client of the OPC running on IPC is programmed with LABVIEW. The functions of the control system mainly include exchanging varieties automatically, testing the functions automatically, acquiring the data to deal with and storage, generating reports and others. The truck transmission test bed is successfully used to produce the transmission in the Fast Auto Drive company in Thailand, which ensures the quality of products and improves the competitiveness of them.

Improving feature location in long-living model-based product families designed with sustainability goals

Abstract The benefits of Software Product Lines (SPL) are very appealing: software development becomes better, faster, and cheaper. Unfortunately, these benefits come at the expense of a migration from a family of products to a SPL. Feature Location could be useful in achieving the transition to SPLs. This work presents our FeLLaCaM approach for Feature Location. Our approach calculates similarity to a description of the feature to locate, occurrences where the candidate features remain unchanged, and changes performed to the candidate features throughout the retrospective of the product family. We evaluated our approach in two long-living industrial domains: a model-based family of firmwares for induction hobs that was developed over more than 15 years, and a model-based family of PLC software to control trains that was developed over more than 25 years. In our evaluation, we compare our FeLLaCaM approach with two other approaches for Feature Location: (1) FLL (Feature Location through Latent Semantic Analysis) and (2) FLC (Feature Location through Comparisons). We measure the performance of FeLLaCaM, FLL, and FLC in terms of recall, precision, Matthews Correlation Coefficient, and Area Under the Receiver Operating Characteristics curve. The results show that FeLLaCaM outperforms FLL and FLC.

The Research of Full Automatic Intelligent Oil Filtering System Based on Flow Totalizer Control

Transformer oil quality has a great impact on the production of UHV; The traditional single tank type or inverted tank type oil filter can be used for transformer oil filter in UHV Substation. The disadvantage of this method is the low degree of automation, high labor costs, error prone and low efficiency. Therefore, the research and application of the automatic intelligent oil filter system has broad prospects. This paper introduces a kind of intelligent oil filtering system based on PLC and configuration software designed to liberate workers on site, reduce error rate and improve production efficiency.

Design of Production Line Automatic Control System Based on PLC and WinCC

According to the design requirement of the production line, this paper designs the automatic control system based on PLC and WinCC software platform. According to the requirement of the four sets process, the configuration of the upper and PLC and the scheduling of multi process parallel operation is designed. It would remote control the equipment. The IPC can reflect the operation status of the equipment and the serial data acquisition of the16 sets temperature instrument, as well as the four sets of process set up interface and monitoring work, what’s more, the data record and print interface is also in the IPC. The test and operation show that the control system can meet the production line automation requirement .It has the characteristics of high real-time, reliable and convenient operation and so on.

APPLICATION OF OMRON PLC TRAINER AS A LEARNING MEDIA ON ELECTRIC MOTOR INSTALLATION COURSE

The purpose of the study was to find the improving of student learning outcomes in applying learning media Trainer PLC OMRON and software CX-Programmer on the Electric Motor Installation Course (PLC) in Class XII TIPTL SMK Negeri 1 Bukittinggi. The design was quasi-experiment with one group pretest-posttest time series design. The subject were the student of class XII TIPTL SMK Negeri 1 Bukittinggi. The data were analyzed by using Gain score. In this study, the pretest and posttest were conducted twice, with the averages score of pretest 1 = 38,75, pretest 2 = 45,5, posttest 1 = 64,5 and posttest 2 = 85,8. These result indicate that the learning outcomes increase with the averages Gain score 1 = 0,407 categorized as medium, and Gain score 2 = 0,7625 categorized as high.

The Influence of Cultural Organization on the Application of Social Networks Based on New Technologies in Astara Customs Organization

In the world of scientific communication, social networks can be considered as effective platforms in the production of science, sharing ideas, personal and social development. The goal of social network is to promote the level of science by providing communication possibility between individual capital and forming social capital. The general goal of every social network is to create social capital and facilitate communication between experts, artists and different professionals etc. Therefore, this research tries to consider “The influence of cultural organization on the application of social networks based on new technologies in Astara customs organization”. Since we have detailed information about the number of experts in Astara customs organization, the statistical population considered limited that includes 138 persons, according to Morgan table; the statistical sample consists of 103 persons. In this research, both library and field methods are used for data collection. By using library method and studying books, articles, other researches and the existing information on the internet that are in the area of research interest, used for background and research literature and definition of indices. In this research, by using experts and professors’ view, the factors associated with the subject are identified and preliminary questionnaire is provided using Likert rating scale. After determining its validation by identifying validity and for assessing reliability of questionnaire, Cronbach’s Alpha for using Likert is used and final questionaries and required information are collected. Descriptive and inferential statistics used for analysis the data, descriptive statistics including the average frequency distribution table, standard deviation and etc. to answer to research questionaries’ and conclusion of inferential statistics methods different tests by using SPSS22 and Smart Plc software: for normality of data, from the pearson correlation coefficient, MultiMate regression analysis, confirmatory factor analysis, to confirm the identification of questions and keywords of each component and structural equation modeling technique to study collected data mode Kolmogorov -Smirnoff test been used. DOI: 10.5901/mjss.2016.v7n4S1p171

A Simplified CNC System Based on PLC and Position Controller

In this paper, a simplified CNC system based on PLC and position controller is introduced. The position controller FX2N-20GM, is a pulse chain output unit, which can control motors to accomplish linear interpolation and circular interpolation. PLC,with the mode of FX2N-16MR, the logic control unit of system, reads position data from the position controller and determines the operation of the system. Labwindows/CVI,the configuration software on PC, is the upper monitoring system, showing the motors position in real time by monitoring PLC. The system, combined PLC , position controller and configuration software, can draw any kinds of two dimensional graphics and show the trajectory of motors on PC in real time, the linear interpolation and circular interpolation had been perfectly implemented by a series of experiments. Compared with classic CNC system, it did not contain tedious hardware wring or complex software programming, which makes the whole structure a simplified CNC system.

The Research of Monitoring System for Coal Bunker Based on a New Material Level Meter

Problems of coal level measuring device, such as low accuracy and big error, make it difficult to monitor the real level of the coal in mugua mine, LvLiang, Shanxi. An automatic monitoring system consists of the SITRANS LR 460 radar coal level meter, S7-300 series PLC and configuration software is designed in this paper. By displaying the information of coal with the WinCC configuration management software in real time, functions such as automatic detection of the bunker level, overrun alarm are realized. The experimental results show that the SITRANS LR 460 has higher accuracy and stability under the high dust environment.

Research on Accelerated Life Test System for Water Quality Analyzer

This research proposes an Accelerated Life Test System and has realized the reliability test of water quality analyzer. ALT (Accelerated Life Test) system is based on the principle of step stress accelerated life test and takes temperature as the accelerated stress. The system includes lower computer PLC and upper computer software of MCGS. In this research, Upper computer using configuration software to connect with the SIEMENS S7-300 PLC, in order to realize data acquisition and system control. This system improves the reliability test efficiency of the water quality analyzer, reduces the cost of test and has good economic efficiency.

Communication Module Design of Offshore Drilling Platform Cleaning Robot

Communication module design is one of the key technologies in offshore drilling platform cleaning robot, through overall design and analysis of communication systems, the communication module is selected and technology roadmap is analyzed. thus communication module hardware architecture (PC, PLC and multi-sensor ) is designed, multi-sensor (Sonar, infrared, camera, SINS, pressure sensors and fiber optic gyrocompass) underwater monitor is designed and selected, the system software is programmed (PC configuration software, PLC software and communication protocol software); Finally, control structure and running track is designed. The research ensures the operation accurately and improves the cleaning efficiency.

Siemens PLC Software Redundancy in the Design and Implementation of Biomass Pellet Fuel Gasification Test of Strength

Scientific and technological research for improving raw material gas quality test conducted using redundant control technology, build a platform-based control system hardware and software redundancy Siemens S7-300PLC soft environment, including system design, working principle, hardware and software design. Realization of loading and unloading, gasification combustion, feeding, excessive combustible gas containing oxygen treatment, processing and gas shutdown emptying, composition and temperature computing gasification process control, equipment control, remote centralized monitoring, data processing and management data communications and surveillance and other important parts of pellet fuel from biomass gasification to purify the whole process automation and control, equipment design and process design for a living material gas industrialization process system provides a strong basis.

Based on PLC and WinCC Monitoring Software Material Sorting Station System Design

By using Siemens series S7-300 PLC on the material sorting station sorting control, PLC control and sensor acquisition combination of technology are adopted in the control process. In addition, With the aid of the WinCC software simulation module to the sorting process real-time simulation analysis. The experimental results show that this system has high precision and good stability, and can simulate industrial automation production process effectively.

Design of Monitoring System to Marine Diesel Engine Supply Units Based on Forcecontrol Monitoring Software

In order to understand the working position of the status of marine diesel oil unit in time, reducing the failure rate and improving fuel supply efficiency, Forcecontrol monitoring system based on PLC and Configuration Software is designed. The lower computer S7-200Smart PLC is collected the signal of the system such as temperature, pressure, viscosity and flow rate sensor periodically, by means of analyzing data, outputting a control signal to control the corresponding valves opening or closing as well as various types of motor start or stop status. A Forcecontrol monitoring configuration software is used as upper computer, to execute remote control and monitoring of the system.The system can realize video surveillance of field apparatus via the Forcecontrol configuration software without adding external devices and keeping high system integration, and achieve application innovation of Forcecontrol monitoring configuration software.