{"title":"Markov reward approach to performability and reliability analysis","authors":"Kishor S. Trivedi, M. Malhotra, R. M. Fricks","doi":"10.1109/MASCOT.1994.284455","DOIUrl":null,"url":null,"abstract":"Performability and reliability modeling techniques and tools have been an area of intensive research activity in the last ten years. We present a unified mathematical framework for performability and reliability models in terms of Markov reward models. The framework presented is not the only one available for performability analysis, but it is the most commonly used one. To complete our exposition, we describe two modeling software packages: SHARPE (Symbolic Hierarchical Automated Reliability/Performance Evaluator) and SPNP (Stochastic Petri Net Package).<<ETX>>","PeriodicalId":288344,"journal":{"name":"Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems","volume":"152 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"31","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MASCOT.1994.284455","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 31
Abstract
Performability and reliability modeling techniques and tools have been an area of intensive research activity in the last ten years. We present a unified mathematical framework for performability and reliability models in terms of Markov reward models. The framework presented is not the only one available for performability analysis, but it is the most commonly used one. To complete our exposition, we describe two modeling software packages: SHARPE (Symbolic Hierarchical Automated Reliability/Performance Evaluator) and SPNP (Stochastic Petri Net Package).<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
