Proceedings of the 2016 7th International Conference on Education, Management, Computer and Medicine (EMCM 2016)

Review of Verification Methodologies for Dynamic Reliability Block Diagram

Authors
Jiacong Zhao, Dongzhao Zhou, Shuang Gao, Yao Li
Corresponding Author
Jiacong Zhao
Available Online February 2017.
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)

Volume Title
Proceedings of the 2016 7th International Conference on Education, Management, Computer and Medicine (EMCM 2016)
Series
Advances in Computer Science Research
Publication Date
February 2017
ISBN
978-94-6252-297-8
ISSN
2352-538X
DOI
10.2991/emcm-16.2017.269How to use a DOI?
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/).

Cite this article

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  -