A Markov reward model for software reliability

Young Min Kwon; Gul Agha

doi:10.1109/IPDPS.2007.370525

A Markov reward model for software reliability

Young Min Kwon, Gul Agha

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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 probability of transitions between the modules to estimate the reliability of a program in terms of its current state. The reliability of a program is expressed using iLTL, a probabilistic linear temporal logic whose atomic propositions are linear inequalities about transitions of the probability mass function of a Discrete Time Markov Chain. We then use a Markov reward model to estimate software reliability. The technique is illustrated in terms of an example.

Original language	English (US)
Title of host publication	Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM
DOIs	https://doi.org/10.1109/IPDPS.2007.370525
State	Published - 2007
Event	21st International Parallel and Distributed Processing Symposium, IPDPS 2007 - Long Beach, CA, United States Duration: Mar 26 2007 → Mar 30 2007

Publication series

Name	Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM

Other

Other	21st International Parallel and Distributed Processing Symposium, IPDPS 2007
Country/Territory	United States
City	Long Beach, CA
Period	3/26/07 → 3/30/07

ASJC Scopus subject areas

Hardware and Architecture
Software
Mathematics(all)

Online availability

10.1109/IPDPS.2007.370525

Library availability

Discover UIUC Full Text

Cite this

A Markov reward model for software reliability. / Kwon, Young Min; Agha, Gul.

Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM. 2007. 4228253 (Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Kwon, YM & Agha, G 2007, A Markov reward model for software reliability. in Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM., 4228253, Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM, 21st International Parallel and Distributed Processing Symposium, IPDPS 2007, Long Beach, CA, United States, 3/26/07. https://doi.org/10.1109/IPDPS.2007.370525

@inproceedings{bbad38d5eaa645729c03ebba594b2352,

title = "A Markov reward model for software reliability",

abstract = "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 probability of transitions between the modules to estimate the reliability of a program in terms of its current state. The reliability of a program is expressed using iLTL, a probabilistic linear temporal logic whose atomic propositions are linear inequalities about transitions of the probability mass function of a Discrete Time Markov Chain. We then use a Markov reward model to estimate software reliability. The technique is illustrated in terms of an example.",

author = "Kwon, {Young Min} and Gul Agha",

year = "2007",

doi = "10.1109/IPDPS.2007.370525",

language = "English (US)",

isbn = "1424409101",

series = "Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM",

booktitle = "Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM",

note = "21st International Parallel and Distributed Processing Symposium, IPDPS 2007 ; Conference date: 26-03-2007 Through 30-03-2007",

}

TY - GEN

T1 - A Markov reward model for software reliability

AU - Kwon, Young Min

AU - Agha, Gul

PY - 2007

Y1 - 2007

N2 - 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 probability of transitions between the modules to estimate the reliability of a program in terms of its current state. The reliability of a program is expressed using iLTL, a probabilistic linear temporal logic whose atomic propositions are linear inequalities about transitions of the probability mass function of a Discrete Time Markov Chain. We then use a Markov reward model to estimate software reliability. The technique is illustrated in terms of an example.

AB - 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 probability of transitions between the modules to estimate the reliability of a program in terms of its current state. The reliability of a program is expressed using iLTL, a probabilistic linear temporal logic whose atomic propositions are linear inequalities about transitions of the probability mass function of a Discrete Time Markov Chain. We then use a Markov reward model to estimate software reliability. The technique is illustrated in terms of an example.

UR - http://www.scopus.com/inward/record.url?scp=34548788412&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34548788412&partnerID=8YFLogxK

U2 - 10.1109/IPDPS.2007.370525

DO - 10.1109/IPDPS.2007.370525

M3 - Conference contribution

AN - SCOPUS:34548788412

SN - 1424409101

SN - 9781424409105

T3 - Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM

BT - Proceedings - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007; Abstracts and CD-ROM

T2 - 21st International Parallel and Distributed Processing Symposium, IPDPS 2007

Y2 - 26 March 2007 through 30 March 2007

ER -

A Markov reward model for software reliability

Abstract

Publication series

Other

ASJC Scopus subject areas

Online availability

Library availability

Related links

Fingerprint

Cite this