{"title":"性能和可靠性分析的马尔可夫奖励方法","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":"{\"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}","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}
Markov reward approach to performability and reliability analysis
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).<>