Review of Verification Methodologies for Dynamic Reliability Block Diagram
Jiacong Zhao, Dongzhao Zhou, Shuang Gao, Yao Li
Available Online February 2017.
- https://doi.org/10.2991/emcm-16.2017.269How to use a DOI?
- Dynamic reliability block diagrams; Markov chain; Object-Z; Colored petri nets; Verification methodology
- 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.
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 -