{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T00:03:36Z","timestamp":1778717016622,"version":"3.51.4"},"reference-count":52,"publisher":"Elsevier","isbn-type":[{"value":"9780123965257","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1016\/b978-0-12-396525-7.00001-0","type":"book-chapter","created":{"date-parts":[[2012,4,6]],"date-time":"2012-04-06T14:40:32Z","timestamp":1333723232000},"page":"1-38","source":"Crossref","is-referenced-by-count":20,"title":["Combining Performance and Availability Analysis in Practice"],"prefix":"10.1016","author":[{"given":"Kishor","family":"Trivedi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ermeson","family":"Andrade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fumio","family":"Machida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"10","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0005","doi-asserted-by":"crossref","first-page":"1251","DOI":"10.1109\/12.59855","article-title":"Performability analysis using semi-Markov reward processes","volume":"39","author":"Ciardo","year":"1990","journal-title":"IEEE Trans. Comput."},{"issue":"5","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0010","doi-asserted-by":"crossref","first-page":"1216","DOI":"10.1109\/25.950322","article-title":"Composite performance & availability analysis of wireless communication networks","volume":"50","author":"Ma","year":"2001","journal-title":"IEEE Trans. Veh. Technol."},{"issue":"3\u20134","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0015","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0166-5316(92)90004-Z","article-title":"Composite performance and dependability analysis","volume":"14","author":"Trivedi","year":"1992","journal-title":"Perform. Eval."},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0020","series-title":"Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package","author":"Sahner","year":"1996"},{"issue":"4","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0025","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1109\/12.2184","article-title":"Performability analysis: measures, an algorithm, and a case study","volume":"37","author":"Smith","year":"1988","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0030","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/2.76285","article-title":"Real-time systems performance in the presence of failures","volume":"24","author":"Muppala","year":"1991","journal-title":"IEEE Comput."},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0035","article-title":"Performability analysis of TDMA cellular systems","author":"Cao","year":"2000"},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0040","first-page":"125","article-title":"End-to-end performability analysis for infrastructure-as-a-service cloud: An interacting stochastic models approach","author":"Ghosh","year":"2010"},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0045","doi-asserted-by":"crossref","DOI":"10.1109\/ICECCS.2002.1181495","article-title":"A framework for performability modeling of messaging services in distributed systems","author":"Ramani","year":"2002"},{"issue":"4","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0050","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1109\/24.273586","article-title":"Multiprocessor performability analysis","volume":"42","author":"Lopez-Benitez","year":"1993","journal-title":"IEEE Trans. Reliab."},{"issue":"6","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0055","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1002\/dac.605","article-title":"Performability modeling of wireless communication systems","volume":"16","author":"Trivedi","year":"2003","journal-title":"Int. J. Commun. Syst."},{"issue":"1","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0060","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1109\/TR.2002.805781","article-title":"Hierarchical composition and aggregation of state-based availability and performability models","volume":"52","author":"Lanus","year":"2003","journal-title":"IEEE Trans. Reliab."},{"issue":"3","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0065","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1016\/j.peva.2006.04.002","article-title":"Performability analysis of clustered systems with rejuvenation under varying workload","volume":"64","author":"Wang","year":"2007","journal-title":"Perform. Eval."},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0070","series-title":"Performability Modeling Tools and Techniques","author":"Haverkort","year":"2001"},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0075","doi-asserted-by":"crossref","first-page":"540","DOI":"10.1109\/TC.1978.1675145","article-title":"Performance-related reliability measures for computing systems","volume":"C-27","author":"Beaudry","year":"1978","journal-title":"IEEE Trans. Comput."},{"issue":"8","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0080","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1109\/TC.1980.1675654","article-title":"On evaluating the performability of degradable computing systems","volume":"29","author":"Meyer","year":"1980","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0085","first-page":"323","article-title":"Availability modeling of SIP protocol on IBM WebSphere","author":"Trivedi","year":"2008"},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0090","first-page":"11","article-title":"Computing the number of calls dropped due to failures","author":"Trivedi","year":"2010"},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0095","doi-asserted-by":"crossref","first-page":"1291","DOI":"10.1109\/12.59859","article-title":"Computing cumulative measures of stiff Markov chains using aggregation","volume":"39","author":"Bobbio","year":"1990","journal-title":"IEEE Trans. Comput."},{"issue":"11","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0100","doi-asserted-by":"crossref","first-page":"1825","DOI":"10.1016\/0026-2714(94)90137-6","article-title":"Stiffness-tolerant methods for transient analysis of stiff Markov chains","volume":"34","author":"Malhotra","year":"1994","journal-title":"Microelectron Reliab."},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0105","doi-asserted-by":"crossref","DOI":"10.1109\/DSN.2011.5958247","article-title":"A scalable availability model for Infrastructure-as-a-Service cloud","author":"Longo","year":"2011"},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0110","series-title":"Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications","author":"Bolch","year":"1998"},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0115","series-title":"Probability and Statistics with Reliability, Queuing, and Computer Science Applications","author":"Trivedi","year":"2001"},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0120","first-page":"134","article-title":"Markov regenerative models","author":"Logothesis","year":"1995"},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0125","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0166-5316(93)90027-R","article-title":"Approximate performability and dependability analysing using generalized stochastic Petri nets","volume":"18","author":"Haverkort","year":"1993","journal-title":"Perform. Eval."},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0130","doi-asserted-by":"crossref","DOI":"10.1109\/PNPM.1995.524312","article-title":"Fixed point iteration using stochastic reward nets","author":"Mainkar","year":"1995"},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0135","unstructured":"ITU-T Recommendation E.800. Terms and definitions related to quality of service and network performance including dependability. http:\/\/wapiti.telecom-lille1.eu\/commun\/ens\/peda\/options\/ST\/RIO\/pub\/exposes\/exposesrio2008-ttnfa2009\/Belhachemi-Arab\/files\/IUT-T%20E800.pdf. Accessed 18 May 2011"},{"issue":"2","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0140","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1109\/MC.2007.55","article-title":"Fighting bugs: remove, retry, replicate and rejuvenate","volume":"40","author":"Grottke","year":"2007","journal-title":"IEEE Comput."},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0145","article-title":"Availability models in practice","author":"Sathaye","year":"2000"},{"issue":"12","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0150","doi-asserted-by":"crossref","first-page":"1608","DOI":"10.1109\/TC.2003.1252856","article-title":"A BDD-based algorithm for analysis of multistate systems with multistate components","volume":"52","author":"Zang","year":"2003","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0155","series-title":"A new reliability estimation method for large systems","author":"Wang","year":"2000"},{"issue":"3","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0160","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/24.326452","article-title":"Power-hierarchy of dependability-model types","volume":"43","author":"Malhotra","year":"1994","journal-title":"IEEE Trans. Reliab."},{"issue":"3","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0165","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1023\/B:SQJO.0000034709.63615.8b","article-title":"Analysis of software fault removal policies using a non-homogeneous continuous time Markov chain","volume":"12","author":"Gokhale","year":"2004","journal-title":"Softw. Qual. J."},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0170","series-title":"Probability, Markov Chains, Queues, and Simulation","author":"Stewart","year":"2009"},{"issue":"3","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0175","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1109\/24.406578","article-title":"Dependability modeling using Petri nets","volume":"44","author":"Malhotra","year":"1995","journal-title":"IEEE Trans. Reliab."},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0180","series-title":"Performance Evaluation of Computer and Communication Systems","article-title":"Dependability and performability analysis","author":"Trivedi","year":"1993"},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0185","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0743-7315(92)90007-A","article-title":"Analyzing concurrent and fault-tolerant software using stochastic Petri nets","volume":"15","author":"Ciardo","year":"1992","journal-title":"J. Parallel Distrib. Comput."},{"issue":"3","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0190","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0951-8320(95)00132-8","article-title":"Stochastic Petri nets for the reliability analysis of communication network applications with alternate-routing","volume":"52","author":"Balakrishnan","year":"1996","journal-title":"Reliab. Eng. Syst. Safety"},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0195","article-title":"Extended stochastic Petri nets: applications and analysis","author":"Dugan","year":"1985"},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0200","article-title":"Stochastic Petri nets and their applications to performance analysis of computer networks","author":"Trivedi","year":"1998"},{"issue":"1","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0205","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1109\/24.24588","article-title":"Approximate availability analysis of VAXCluster systems","volume":"38","author":"Ibe","year":"1989","journal-title":"IEEE Trans. Reliab."},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0210","article-title":"Modeling failure dependencies in reliability analysis using stochastic Petri nets","author":"Fricks","year":"1997"},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0215","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0166-5316(95)00010-U","article-title":"TimeNET\u2014a toolkit for evaluating non-Markovian stochastic Petri nets","volume":"24","author":"German","year":"1995","journal-title":"Perform. Eval."},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0220","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0166-5316(95)00008-L","article-title":"GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets","volume":"24","author":"Chiola","year":"1995","journal-title":"Perform. Eval."},{"issue":"4","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0225","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/1530873.1530884","article-title":"SHARPE at the age of twenty two","volume":"36","author":"Trivedi","year":"2009","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0230","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1007\/3-540-46429-8_30","article-title":"SPNP: stochastic Petri nets. Version 6.0","volume":"1786","author":"Hirel","year":"2000","journal-title":"Lect. Notes Comput. Sci."},{"issue":"1","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0235","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1142\/S0218126698000067","article-title":"Recent developments in stochastic Petri nets","volume":"8","author":"Bobbio","year":"1998","journal-title":"J. Circuits Syst. Comp."},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0240","series-title":"Recent Advances in System Reliability: Signature, Multi-state Systems and Statistical Inference","article-title":"Multi-state availability modeling in practice","author":"Trivedi","year":"2011"},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0245","series-title":"Hardware and Software Fault Tolerance in Parallel Computing Systems","first-page":"33","article-title":"Dependability modeling of a heterogeneous VAXcluster system using stochastic reward nets","author":"Muppala","year":"1992"},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0250","first-page":"29","article-title":"Survivability quantification: the analytical modeling approach","author":"Liu","year":"2006","journal-title":"International J. Performability Eng."},{"key":"10.1016\/B978-0-12-396525-7.00001-0_bb0255","first-page":"187","article-title":"A performance-reliability model for computing systems","author":"Castillo","year":"1980"},{"issue":"10","key":"10.1016\/B978-0-12-396525-7.00001-0_bb0260","doi-asserted-by":"crossref","first-page":"1184","DOI":"10.1109\/12.257705","article-title":"The completion time of programs on processors subject to failure and repair","volume":"42","author":"Chimento","year":"1993","journal-title":"IEEE Trans. Comput."}],"container-title":["Advances in Computers","Dependable and Secure Systems Engineering"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,6,27]],"date-time":"2019-06-27T00:52:09Z","timestamp":1561596729000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780123965257000010"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9780123965257"],"references-count":52,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-396525-7.00001-0","relation":{},"ISSN":["0065-2458"],"issn-type":[{"value":"0065-2458","type":"print"}],"subject":[],"published":{"date-parts":[[2012]]}}}