Review of Verification Methodologies for Dynamic Reliability Block Diagram

DOI

10.2991/emcm-16.2017.269How to use a DOI?

Keywords

Dynamic reliability block diagrams; Markov chain; Object-Z; Colored petri nets; Verification methodology

Abstract

Reliability modeling tool Dynamic Reliability Block Diagrams (DRBD) is widely used in modeling reliability of large and complex system. It gains highly achievement of dynamic behaviors like dynamics, dependencies, redundancy and load sharing. In order to guarantee the modeling results of DRBD are correct, widely used verification methodologies like Markov chain, Binary Decision Diagrams (BDD), Object-Z and Colored Petri Nets (CPN) are introduced to verify the DRBD model. The achievement of behavioral properties of DRBD, states and events modeling, whether the method is user-friendly to all kinds of system, whether the modeling process is productive, formal and automatic, whether there are formal tools to check the verification result of DRBD are picked as criteria to evaluate and compare these verification methods. The evaluation shows CPN is the best method.

Copyright

© 2017, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Jiacong Zhao
AU  - Dongzhao Zhou
AU  - Shuang Gao
AU  - Yao Li
PY  - 2017/02
DA  - 2017/02
TI  - Review of Verification Methodologies for Dynamic Reliability Block Diagram
BT  - Proceedings of the 2016 7th International Conference on Education, Management, Computer and Medicine (EMCM 2016)
PB  - Atlantis Press
SP  - 587
EP  - 592
SN  - 2352-538X
UR  - https://doi.org/10.2991/emcm-16.2017.269
DO  - 10.2991/emcm-16.2017.269
ID  - Zhao2017/02
ER  -