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
https://doi.org/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.
Open Access
This is an open access article distributed under the CC BY-NC license.

Download article (PDF)

Proceedings
2016 7th International Conference on Education, Management, Computer and Medicine (EMCM 2016)
Part of series
Advances in Computer Science Research
Publication Date
February 2017
ISBN
978-94-6252-297-8
ISSN
2352-538X
DOI
https://doi.org/10.2991/emcm-16.2017.269How to use a DOI?
Open Access
This is an open access article distributed under the CC BY-NC license.

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  - 2016 7th International Conference on Education, Management, Computer and Medicine (EMCM 2016)
PB  - Atlantis Press
SN  - 2352-538X
UR  - https://doi.org/10.2991/emcm-16.2017.269
DO  - https://doi.org/10.2991/emcm-16.2017.269
ID  - Zhao2017/02
ER  -