29 search results - page 1 / 6 » A Markov Reward Model for Software Reliability |
IPPS
2007
IEEE
13 years 11 months ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
SIGCOMM
1998
ACM
13 years 9 months ago
1998
ACM
Recently, a parametric State Reward Markov Model SRMM p has been developed for the reliability and availability analysis of self-healing SONET mesh networks 2 . In this paper, w...
VALUETOOLS
2006
ACM
13 years 10 months ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
TSE
2002
13 years 4 months ago
2002
QEST
2009
IEEE
13 years 11 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....