Performability analysis of computer systems: from model specification to solution

DOI10.1016/0166-5316(92)90003-YMaRDI QIDQ4004639zbMATH OpenOpenAlexFDO

Authors Edmundo De Souza E. Silva, H. Richard Gail

Publication date 27 September 1992

Published in Performance Evaluation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0166-5316(92)90003-y

zbMATH Keywords

availability boundsdecompositiondependability toolsMarkov reward modelsrandomization techniquestate space reductiontransient analysisuniformization

Mathematics Subject Classification ID

Applications of Markov renewal processes (reliability, queueing networks, etc.) (60K20) Reliability, testing and fault tolerance of networks and computer systems (68M15) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Reliability, availability, maintenance, inspection in operations research (90B25)

Recommendations

• Performability assessment by model checking of Markov reward models
• Performability analysis for degradable computer systems
• Performability measure for acyclic Markovian models
• Evaluation of Performability for Degradable Computer Systems
• Performability: Asymptotic distribution and moment computation

Cited in

(10)

• Performability analysis for degradable computer systems
• A benchmarking system for MBS simulation software: problem standardization and performance measurement
• scientific article; zbMATH DE number 4172354 (Why is no real title available?)
• scientific article; zbMATH DE number 3909709 (Why is no real title available?)
• scientific article; zbMATH DE number 1194054 (Why is no real title available?)
• scientific article; zbMATH DE number 4128372 (Why is no real title available?)
• Performability analysis: a new algorithm
• Evaluation of Performability for Degradable Computer Systems
• A generic logical-temporal performance analysis method for complex systems
• Specification techniques for Markov reward models

This page was built for publication: Performability analysis of computer systems: from model specification to solution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4004639)