In the recent years the development in communication systems requires the data transmission to be performed faster and faster. To meet this demand the paper presents a high speed multi channel UART controller based on FIFO (First In First Out) technique . An Asynchronous FIFO is designed with dual port ram array and with read and right pointers. The structure of controller is designed with UART...

Automated production systems are usually driven by Programmable Logic Controllers (PLCs). These systems are long-living – yet have to adapt to changing requirements over time. This paper presents a novel method for regression verification of PLC code, which allows one to prove that a new revision of the plant’s software does not break existing intended behavior. Our main contribution is the des...

1 Sheng-Jen Hsieh, 3367 TAMU, Texas A&M University, College Station, TX 77843, [email protected] 2 Patricia Yee Hsieh, Texas A&M University System Administrative and General Offices, College Station, TX 77840, [email protected] This material is based upon work supported by the National Science Foundation under Grant No. 0088873 Any opinions, findings, and conclusions or recommendations expressed in ...

To architecturally support the programming of safety related control applications in the graphical language function block diagram and the verification of such software meeting the requirements of Safety Integrity Level SIL 3, a dedicated, low complexity execution platform is presented. Its hardware is fault detecting to immediately initiate emergency shut-downs in case of malfunctions. With th...

One of the main challenges in the design of hardware accelerators is the efficient access of data from the external memory. Improving and optimizing the functionality of the memory controller between the external memory and the accelerators is therefore critical. In this paper, we advance toward this goal by proposing PPMC, the Programmable Pattern-based Memory Controller. This controller suppo...

An FPGA-based execution platform for PLC controllers with capability to run multiple control tasks is presented. The platform, called multi-CPCore, uses hardware virtual machines to execute control tasks defined in CPDev engineering environment. The tasks consist of one or more programs written in IEC 61131-3 languages, such as ST, IL or FBD. They may run with different cycles and communicate v...

Programmable Logic Controller (PLC) has been widely used in the industrial control. Inherently, the PLCbased system is a class of Hybrid Dynamical System (HDS) in which continuous state of the plant is controlled by the discrete logic-based controller. This paper firstly presents the formal algebraic model of the PLC-based control systems which enable the designer to formulate the various kinds...

This paper presents the hardware implementation of a neural network controller for a nonlinear system with a micro-controller unit (MCU) and a field programmable gate array (FPGA) chip. As an on-line learning algorithm of a neural network, the reference compensation technique has been implemented on an MCU, while PID controllers with other functions such as counters and PWM generators are imple...

Learning Programmable Logic Controller (PLC) programming is influenced by several factors, that is: lecturer competence in PLC programming, adequacy of information technology infrastructure learning, availability learning media, vocational guidance procedures, and motivation. The purpose this study: (a) to describe the factors contribute (b) formulate a competency model, (c) examine determinant...