System reliability calculation based on the run-time analysis of ladder program
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.
BibTeX
@inproceedings{Jiang-al:FSE13,
author = {Yu Jiang and
Hehua Zhang and
Han Liu and
Xiaoyu Song and
William N. N. Hung and
Ming Gu and
Jiaguang Sun},
title = {System reliability calculation based on the run-time analysis of ladder program},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {695--698},
publisher = {{ACM}},
year = {2013},
}