Reliability Analysis of PLC Systems by Bayesian Network

Reliability analysis is important in the life cycle of safety critical Programmable Logic Controller (PLC) system. The complexity of PLC system reliability analysis arises in handling the complex relations between hardware components and embedded software. Different embedded software may lead to different arrangements of hardware execution and different system reliability quantities. In this paper, we propose a novel probabilistic model, named hybrid relation model (HRM), for the reliability analysis of PLC systems. It is constructed based on the distribution of the hardware components and the execution logic of the embedded software. We map the hardware components to the HRM nodes and embed the failure probabilities of them into the well defined conditional probability distribution tables of the HRM nodes. Then, HRM model handles the failure probability of each hardware component as well as the complex relations caused by the execution logic of the embedded software, with the computational mechanism of Bayesian Network. Experiment results demonstrate the accuracy of our model.

[1]  Max Henrion,et al.  Propagating uncertainty in bayesian networks by probabilistic logic sampling , 1986, UAI.

[2]  William Bolton.  Chapter 1 – Programmable Logic Controllers , 2009 .

[3]  MengChu Zhou,et al.  Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system , 1994, IEEE Trans. Ind. Electron..

[4]  Gary Dunning.  Introduction to Programmable Logic Controllers , 1998 .

[5]  Changhe Yuan,et al.  An Importance Sampling Algorithm Based on Evidence Pre-propagation , 2002, UAI.

[6]  Judea Pearl,et al.  Fusion, Propagation, and Structuring in Belief Networks , 1986, Artif. Intell..

[7]  S. Distefano,et al.  A new approach to modeling the system reliability: dynamic reliability block diagrams , 2006, RAMS '06. Annual Reliability and Maintainability Symposium, 2006..

[8]  J. Rupe.  Reliability of Computer Systems and Networks Fault Tolerance, Analysis, and Design , 2003 .

[9]  Joanne Bechta Dugan,et al.  A discrete-time Bayesian network reliability modeling and analysis framework , 2005, Reliab. Eng. Syst. Saf..

[10]  Walter R. Gilks,et al.  A Language and Program for Complex Bayesian Modelling , 1994 .

[11]  Philippe Weber,et al.  Complex system reliability modelling with Dynamic Object Oriented Bayesian Networks (DOOBN) , 2006, Reliab. Eng. Syst. Saf..

[12]  Yu Jiang,et al.  Domain-Driven Probabilistic Analysis of Programmable Logic Controllers , 2011, ICFEM.

[13]  Michael Goldstein,et al.  Bayesian Graphical Models for Software Testing , 2002, IEEE Trans. Software Eng..

[14]  Marc Bouissou,et al.  A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes , 2003, Reliab. Eng. Syst. Saf..

[15]  Luigi Portinale,et al.  Improving the analysis of dependable systems by mapping fault trees into Bayesian networks , 2001, Reliab. Eng. Syst. Saf..

[16]  Kishor S. Trivedi,et al.  A BDD-Based Algorithm for Reliability Evaluation of Phased Mission System , 1999 .

[17]  Kishor S. Trivedi,et al.  A BDD-based algorithm for reliability analysis of phased-mission systems , 1999 .

[18]  C. H. Lie,et al.  Fault Tree Analysis, Methods, and Applications ߝ A Review , 1985, IEEE Transactions on Reliability.

[19]  Chenggang Bai,et al.  Software failure prediction based on a Markov Bayesian network model , 2005, J. Syst. Softw..