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...

Programmable Logic Controllers (PLCs), as specialized task-oriented embedded field devices, play a vital role in current industrial control systems (ICSs), which are composed of critical infrastructure. In order to meet increasing demands on cost-effectiveness while improving production efficiency, commercial-off-the-shelf software and hardware, external networks such the Internet, integrated i...

This paper emphasize on controlling the process variable parameters such as level and flow with real time implementation of gate control of hydroelectric power plant using Programmable Logic Controller. In this work, a programmable logic controller is used as an industrial computer playing the role of a control device and push buttons, level and flow sensors provide incoming signals to the cont...