System reliability calculation based on the run-time analysis of ladder program

Authors:
Yu Jiang;Hehua Zhang;Han Liu;Xiaoyu Song;William N. N. Hung;Ming Gu;Jiaguang Sun
Affiliations:
Tsinghua University, China;Tsinghua University, China;Tsinghua University, China;Portland State University, USA;Portland State University, USA;Tsinghua University, China;Tsinghua University, China
Venue:
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Year:
2013

Citing 3
Cited 0

Software failure prediction based on a Markov Bayesian network model

Journal of Systems and Software
A new approach to modeling the system reliability: dynamic reliability block diagrams

RAMS '06 Proceedings of the RAMS '06. Annual Reliability and Maintainability Symposium, 2006.
Reliability Analysis of PLC Systems by Bayesian Network

SERE '12 Proceedings of the 2012 IEEE Sixth International Conference on Software Security and Reliability

Quantified Score

Hi-index	0.00

Visualization

Abstract

Programmable logic controller (PLC) system is a typical kind of embedded system that is widely used in industry. The complexity of reliability analysis of safety critical PLC systems arises in handling the temporal correlations among the system components caused by the run-time execution logic of the embedded ladder program. In this paper, we propose a novel probabilistic model for the reliability analysis of PLC systems, called run-time reliability model (RRM). It is constructed based on the structure and run-time execution of the embedded ladder program, automatically. Then, we present some custom-made conditional probability distribution (CPD) tables according to the execution semantics of the RRM nodes, and insert the reliability probability of each system component referenced by the node into the corresponding CPD table. The proposed model is accurate and fast compared to previous work as described in the experiment results.