A fault diagnosis system-PLC design for system reliability improvement

In this paper, a fault diagnosis system-programmable logic controller (FDS-PLC) is developed and discussed, regarding the improvement of reliability of PLC systems. Traditional approaches to improve reliability of the fault diagnose functions of PLC are not conscious of the fact: system developers and programmers are not able to identify every fault that may occur during the system’s lifetime. In order to conquer this problem, a FDS-PLC design that establishes and perfects a specification model of the PLC system is introduced. Firstly, FDS-PLC collects and transmits diagnosis data in surplus kernel time of the embedded processor; therefore, it does not decrease the responding speed of the system. Secondly, a finite state machine (FSM) built on PC is applied to construct the specification model and report faulty states to the system operator. Finally, the system is endowed with learning ability by perfecting the specification model. The application of FDS-PLC is further illustrated by an example on an elevator control system experimental platform.

[1]  Zhi Xu,et al.  An Improved Approach to Passive Testing of FSM-based Systems , 2007, Second International Workshop on Automation of Software Test (AST '07).

[2]  Inmaculada Plaza,et al.  Exceptions in a Programmable Logic Controller implementation based on ADA , 2007, Comput. Ind..

[3]  Santiago Fernández,et al.  Safe PLD-based programmable controllers , 2005, International Conference on Field Programmable Logic and Applications, 2005..

[4]  Bingrong Hong,et al.  Software implemented transient fault detection in space computer , 2007 .

[5]  Gulshan Taneja,et al.  Reliability and Profit Evaluation of a PLC Hot Standby System Based on a Master-Slave Concept and Two Types of Repair Facilities , 2007, IEEE Transactions on Reliability.

[6]  Karl-Erik Årzén,et al.  Implementation Aspects of the PLC Standard IEC 1131-3 , 1997 .

[7]  Wook Hyun Kwon,et al.  Scheduling algorithm for programmable logic controllers with remote I/Os , 1997, Proceedings Fourth International Workshop on Real-Time Computing Systems and Applications.

[8]  Tan Liu,et al.  Study on Intelligent Communication Module for Programmable Logic Controller , 2009, 2009 International Conference on Artificial Intelligence and Computational Intelligence.

[9]  Jin-Shyan Lee,et al.  Development of a Petri net-based fault diagnostic system for industrial processes , 2009, 2009 35th Annual Conference of IEEE Industrial Electronics.

[10]  G Valencia-Palomo,et al.  Programmable logic controller implementation of an auto-tuned predictive control based on minimal plant information. , 2011, ISA transactions.

[11]  Tatsuya Suzuki,et al.  Local/global fault diagnosis of event-driven controlled systems based on probabilistic inference , 2007, 2007 46th IEEE Conference on Decision and Control.

[12]  Dong Yan,et al.  Remote SCADA System Based on 3G VPN Services for Secondary Pressurization Pump Station , 2010, 2010 International Conference on Intelligent System Design and Engineering Application.

[13]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[14]  Junbeom Yoo,et al.  Synthesis of FBD-based PLC design from NuSCR formal specification , 2005, Reliab. Eng. Syst. Saf..

[15]  H. B. Chenoweth Soft failures and reliability , 1990, Annual Proceedings on Reliability and Maintainability Symposium.

[16]  Xiaoyu Song,et al.  Formal modeling and synthesis of programmable logic controllers , 2011, Comput. Ind..

[17]  Giovanni Godena,et al.  Domain specific model-based development of software for programmable logic controllers , 2010, Comput. Ind..

[18]  W. Gharieb,et al.  Software Quality in Ladder Programming , 2006, 2006 International Conference on Computer Engineering and Systems.

[19]  Seyed Ghassem Miremadi,et al.  An FSM-based monitoring technique to differentiate between follow-up and original errors in safety-critical distributed embedded systems , 2011, Microelectron. J..

[20]  S. Manesis,et al.  Automated synthesis of Ladder automation circuits based on state-diagrams , 2005, Adv. Eng. Softw..

[21]  Guowu Yang,et al.  Mathematical analysis of stage-based programmable logic controller , 2011, Comput. Math. Appl..

[22]  Marek Sniezek,et al.  A fail safe programmable logic controller , 2003, Annu. Rev. Control..

[23]  Nordin Saad,et al.  A PLC-based modified-fuzzy controller for PWM-driven induction motor drive with constant V/Hz ratio control , 2012 .

[24]  Doaa Soliman,et al.  Verification and validation of safety applications based on PLCopen safety function blocks , 2011 .

[25]  G. Valencia-Palomo,et al.  Efficient suboptimal parametric solutions to predictive control for PLC applications , 2011 .

[26]  Igor Škrjanc,et al.  Advanced control algorithms embedded in a programmable logic controller , 2006 .

[27]  Jose Roger_Folch,et al.  Graphical Development of Software for Programmable Logic Controllers , 2006, 2006 12th International Power Electronics and Motion Control Conference.

[28]  Yi Yan,et al.  Compiling Ladder Diagram into Instruction List to comply with IEC 61131-3 , 2010, Comput. Ind..

[29]  Ramazan Bayindir,et al.  A water pumping control system with a programmable logic controller (PLC) and industrial wireless modules for industrial plants--an experimental setup. , 2011, ISA transactions.

[30]  M. Dohnal Fuzzy simulation of industrial problems , 1983 .

[31]  Mahmoud Omid,et al.  Design of fuzzy logic control system incorporating human expert knowledge for combine harvester , 2010, Expert Syst. Appl..

[32]  Mohamed Khalgui,et al.  A deployment methodology of real-time industrial control applications in distributed controllers , 2008, Comput. Ind..

[33]  Florentin Ipate Bounded sequence testing from deterministic finite state machines , 2010, Theor. Comput. Sci..