PLC (Programmable Logic Controller) [1] has been widely used to implement real-time Software in PRSs (Reactor Protection Systems). Recently, there have been attempts to implement software in RPSs by using FPGA (Field-Programmable Gate Array) [2]. In PLC-based Software development, the design programs are translated into implementation programs, and behavioral equivalence between the design and ...

We present a new type of attack termed denial of engineering operations in which an attacker can interfere with the normal cycle of an engineering operation leading to a loss of situational awareness. Speci cally, the attacker can deceive the engineering software during attempts to retrieve the ladder logic program from a programmable logic controller (PLC) by manipulating the ladder logic on t...

KNICS (Korea Nuclear Instrumentation and Control System) is a national promoted project to develop a safety-critical level embedded system for nuclear plant protection system. PLC(Programmable Logic Controller) is a typical embedded system to instrument and control plant system, and KNICS has been developing a PLC for controlling a reactor of nuclear power plant system. The PLC micro-kernel is ...

The programmable logic controller (PLC) system is a type of the hybrid systems, which is a widely used safety-critical system in industry. It is regarded that the formal method is a valuable and indispensable way of analyzing and validating the PLC systems. However, which formal methods and how to use the methods are challenges. In this article, we propose a specific formal method of the PLC sy...

In this paper we present a remotely accessed experiment on industrial automation. Using this remote access, students may verify the correctness of their previous work and increase the productivity of laboratory classes. The experiment provides a web page for interfacing with a Programmable Logic Controller (PLC) which controls an electro-pneumatic process. Students may remotely download the pro...

According to the technology requirements of measurement for animal casing, in this paper, we use PLC and touch screen as the control core, the electromechanical integration design ideas to research the methods and principles for casing measure, and analyze the mechanical structures and mechanical characteristics of casing machine. As the control core, the programmable logic controller (PLC) ens...

Abstract: A successful application of a hybrid (mixed Petri net/automaton) approach for the real-time supervisory control of an experimental manufacturing system was reported recently. The hybrid approach includes a Ramadge– Wonham (RW) supervisor in the form of an automaton. The reduced RW supervisor offers fewer states for the programmable logic controller (PLC) implementation of the hybrid c...

This paper investigates a modified modeling of networked control systems (NCSs) with programmable logic controller (PLC). First, the controller-to-actuator and sensor-to-controller network-induced delays are investigated by tactics based on hierarchical coloured petri net (HCPN) in structure-conserving way. Comparing recent result, signal transmission delay is set random interval instead fixed ...

Many types of robot arms have been developed in the market. Whenever a arm broke down, it is challenge to do reverse engineer and repair arm. This project has successfully reused existing 5 degrees freedom structure electronic components while replacing controller with new Programmable Logic Controller (PLC) LLD model. The uses DC servo motor, encoder, sensors, power supply, interface board. Si...

This paper is a design and implementation of a monitoring and control system for industrial mixer using PLC .This mixer used for an effective, reliable and highly flexible method for the control of processes within an Industrial environment. The objective of this study is to simulate the control an industrial mixer and by doing this we can develop a program that can be used for the actual imple...