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

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

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...

Full description

Saved in:
Bibliographic Details
Main Authors: GUI, Lin, SUN, Jun, LIU, Yang, NGUYEN, Truong Khanh, DONG, Jin Song Dong
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2014
Subjects:
reliability analysis
Markov Decision Process
non-determinism
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/4993
https://ink.library.smu.edu.sg/context/sis_research/article/5996/viewcontent/2635868.2661668.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/4993
https://ink.library.smu.edu.sg/context/sis_research/article/5996/viewcontent/2635868.2661668.pdf

Similar Items