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

  title={System reliability calculation based on the run-time analysis of ladder program},
  author={Yu Jiang and Hehua Zhang and Hao Liu and Xiaoyu Song and William N. N. Hung and Ming Gu and Jia-Guang Sun},
  booktitle={ESEC/SIGSOFT FSE},
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… CONTINUE READING


Publications citing this paper.
Showing 1-9 of 9 extracted citations

Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System

2015 IEEE 39th Annual Computer Software and Applications Conference • 2015
View 6 Excerpts
Highly Influenced

Sepsis Patient Detection and Monitor Based on Auto-BN

Journal of Medical Systems • 2016
View 4 Excerpts
Highly Influenced

Weak-Assert: A Weakness-Oriented Assertion Recommendation Toolkit for Program Analysis

2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) • 2018
View 1 Excerpt

An assessment of vulnerability of hardware neural networks to dynamic voltage and temperature variations

2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) • 2017
View 1 Excerpt

SLoT: A supervised learning model to predict dynamic timing errors of functional units

Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 • 2017
View 1 Excerpt

A Self-Adaptively Evolutionary Screening Approach for Sepsis Patient

2016 IEEE 29th International Symposium on Computer-Based Medical Systems (CBMS) • 2016
View 1 Excerpt

WILD: A workload-based learning model to predict dynamic delay of functional units

2016 IEEE 34th International Conference on Computer Design (ICCD) • 2016
View 1 Excerpt


Publications referenced by this paper.
Showing 1-3 of 3 references

Bayesian-Network-Based Reliability Analysis of PLC Systems

IEEE Transactions on Industrial Electronics • 2013
View 8 Excerpts
Highly Influenced