RaPiD: A toolkit for reliability analysis of non-deterministic systems

• المؤلفون الرئيسيون: GUI, Lin, SUN, Jun, LIU, Yang, NGUYEN, Truong Khanh, DONG, Jin Song Dong
• التنسيق: text
• اللغة: English
• منشور في: Institutional Knowledge at Singapore Management University 2014
• الموضوعات: reliability analysis; Markov Decision Process; non-determinism; Software Engineering
• الوصول للمادة أونلاين: https://ink.library.smu.edu.sg/sis_research/4993; https://ink.library.smu.edu.sg/context/sis_research/article/5996/viewcontent/2635868.2661668.pdf

Non-determinism in concurrent or distributed software systems (i.e., various possible execution orders among different distributed components) presents new challenges to the existing reliability analysis methods based on Markov chains. In this work, we present a toolkit RaPiD for the reliability ana...