{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:37:11Z","timestamp":1759333031528,"version":"3.30.2"},"reference-count":163,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1990,7,1]],"date-time":"1990-07-01T00:00:00Z","timestamp":646790400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Microprocessing and Microprogramming"],"published-print":{"date-parts":[[1990,7]]},"DOI":"10.1016\/0165-6074(90)90007-v","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T17:14:48Z","timestamp":1062609288000},"page":"1-13","source":"Crossref","is-referenced-by-count":11,"title":["Dependability analysis of fault-tolerant systems: a literature survey"],"prefix":"10.1016","volume":"29","author":[{"given":"Andrea","family":"Bobbio","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0165-6074(90)90007-V_BIB1","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1109\/MC.1979.1658580","article-title":"Putting Petri nets to work","author":"Agerwala","year":"1979","journal-title":"Computer"},{"key":"10.1016\/0165-6074(90)90007-V_BIB2","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1109\/32.29483","article-title":"The effect of execution policies on the semantics and analysis of stochastic Petri nets","volume":"SE-15","author":"Ajmone Marsan","year":"1989","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0165-6074(90)90007-V_BIB3","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","article-title":"A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems","volume":"2","author":"Ajmone Marsan","year":"1984","journal-title":"ACM Trans. Computer Systems"},{"issue":"SI-1","key":"10.1016\/0165-6074(90)90007-V_BIB4","first-page":"47","article-title":"Performance analysis of degradable multiprocessor systems using generalized stochastic Petri nets","volume":"6","author":"Ajmone Marsan","year":"1984","journal-title":"IEEE Computer Society Newsletters"},{"key":"10.1016\/0165-6074(90)90007-V_BIB5","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1109\/TR.1987.5222338","article-title":"Calculation of coverage parameters","volume":"R-36","author":"Amer","year":"1987","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB6","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1109\/TCS.1987.1086189","article-title":"Hierarchical models for system reliability, maintainability and availability","volume":"CAS-34","author":"Ammar","year":"1987","journal-title":"IEEE Trans. Circuits and Systems"},{"key":"10.1016\/0165-6074(90)90007-V_BIB7","doi-asserted-by":"crossref","first-page":"809","DOI":"10.1109\/32.24734","article-title":"Time scale decomposition of a class of generalized stochastic Petri net models","volume":"SE-15","author":"Ammar","year":"1989","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0165-6074(90)90007-V_BIB8","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1109\/TR.1981.5221004","article-title":"Computer oriented formulation of transition rate matrices via Kronecker algebra","volume":"R-30","author":"Amoia","year":"1981","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB9","series-title":"Proc. 13-th Internat. Symp. Fault-Tolerant Computing","first-page":"276","article-title":"Performance-related dependability evaluation of supercomputer systems","author":"Arlat","year":"1983"},{"key":"10.1016\/0165-6074(90)90007-V_BIB10","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1109\/T-C.1973.223703","article-title":"The concept of coverage and its effect on the reliability model of a repairable system","volume":"C-22","author":"Arnold","year":"1973","journal-title":"IEEE Trans. Computers"},{"key":"10.1016\/0165-6074(90)90007-V_BIB11","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1214\/aop\/1176993932","article-title":"Closure of phase type distributions under operations arising in reliability theory","volume":"10","author":"Assaf","year":"1982","journal-title":"Ann. Probab."},{"key":"10.1016\/0165-6074(90)90007-V_BIB12","first-page":"1109","article-title":"Fault-tolerance, the survival attribute of digital systems","volume":"66","author":"Avizienis","year":"1978"},{"key":"10.1016\/0165-6074(90)90007-V_BIB13","first-page":"629","article-title":"Dependable computing: from concepts to design diversity","volume":"74","author":"Avizienis","year":"1986"},{"key":"10.1016\/0165-6074(90)90007-V_BIB14","series-title":"Proc. 1-st European Workshop Theory and Application of Petri Nets","article-title":"Towards fault-tolerant real-time systems using Petri nets","author":"Ayache","year":"1980"},{"year":"1975","series-title":"Statistical Theory of Reliability and Life Testing","author":"Barlow","key":"10.1016\/0165-6074(90)90007-V_BIB15"},{"key":"10.1016\/0165-6074(90)90007-V_BIB16","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1109\/TR.1987.5222335","article-title":"Analysis of typical fault-tolerant architectures using HARP","volume":"R-36","author":"Bavuso","year":"1987","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB17","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. Computers"},{"key":"10.1016\/0165-6074(90)90007-V_BIB18","series-title":"Proc. 7-th Symp. Reliability in Electronics (RELECTRONIC '88)","first-page":"314","article-title":"Step-by-step state space generation for the reliability of complex markovian systems","author":"Begain","year":"1988"},{"key":"10.1016\/0165-6074(90)90007-V_BIB19","series-title":"Proc. 11-th Internat. Symp. Fault-Tolerant Computing","first-page":"79","article-title":"Evaluation of computer systems dependability using stochastic Petri nets","author":"Beyaert","year":"1981"},{"key":"10.1016\/0165-6074(90)90007-V_BIB20","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1109\/TR.1974.5215243","article-title":"Some applications of regenerative stochastic processes to reliability theory, Part I: tutorial introduction","volume":"R-23","author":"Birolini","year":"1974","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB21","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1109\/TR.1975.5214925","article-title":"Some applications of regenerative stochastic processes to reliability theory, Part II: reliability and availability of 2-item redundant systems","volume":"R-24","author":"Birolini","year":"1975","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB22","series-title":"Proc. RELIABILITY '87","article-title":"The effect of an imperfect coverage on the optimum degree of redundancy of a degradable multiprocessor system","author":"Bobbio","year":"1987"},{"article-title":"System modelling with Petri nets","year":"1988","author":"Bobbio","key":"10.1016\/0165-6074(90)90007-V_BIB23"},{"key":"10.1016\/0165-6074(90)90007-V_BIB24","series-title":"Proc. AMSE Internat. Conf. Modelling and Simulation","first-page":"173","article-title":"Discrete state stochastic systems with phase-type distributed transition times","author":"Bobbio","year":"1984"},{"key":"10.1016\/0165-6074(90)90007-V_BIB25","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0026-2714(83)91373-2","article-title":"A Markov approach to wear-out modelling","volume":"23","author":"Bobbio","year":"1983","journal-title":"Microelectron. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB26","series-title":"Reliability Data Collection and Use in Risk and Availability Assesment (Proceedings of 6-th EUREDATA Conference)","first-page":"682","article-title":"Computing cumulative measures in reward stochastic processes a phase type approximation","author":"Bobbio","year":"1989"},{"key":"10.1016\/0165-6074(90)90007-V_BIB27","doi-asserted-by":"crossref","first-page":"803","DOI":"10.1109\/TC.1986.1676840","article-title":"An aggregation technique for the transient analysis of stiff Markov chains","volume":"C-35","author":"Bobbio","year":"1986","journal-title":"IEEE Trans. Computers"},{"year":"1990","series-title":"Computation of the distribution of the completion time when the work requirement is a PH random variable","author":"Bobbio","key":"10.1016\/0165-6074(90)90007-V_BIB28"},{"key":"10.1016\/0165-6074(90)90007-V_BIB29","series-title":"IEEE Trans. Computers","article-title":"Computing cumulative measures of stiff Markov chains using aggregation","author":"Bobbio","year":"1990"},{"key":"10.1016\/0165-6074(90)90007-V_BIB30","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1109\/T-C.1975.224255","article-title":"A reliability model for gracefully degrading and standby-sparing systems","volume":"C-24","author":"Borgerson","year":"1975","journal-title":"IEEE Trans. Computers"},{"key":"10.1016\/0165-6074(90)90007-V_BIB31","doi-asserted-by":"crossref","first-page":"1306","DOI":"10.1109\/T-C.1971.223132","article-title":"Reliability modeling for fault-tolerant computers","volume":"C-20","author":"Bouricius","year":"1971","journal-title":"IEEE Trans. Computers"},{"key":"10.1016\/0165-6074(90)90007-V_BIB32","series-title":"Proc. 24th Nat. Conf. ACM","first-page":"295","article-title":"Reliability modeling techniques for self-repairing computer systems","author":"Bouricius","year":"1969"},{"key":"10.1016\/0165-6074(90)90007-V_BIB33","doi-asserted-by":"crossref","first-page":"772","DOI":"10.1109\/TCS.1978.1084534","article-title":"Kronecker products and matrix calculus in system theory","volume":"CAS-25","author":"Brewer","year":"1978","journal-title":"IEEE Trans. Circuits and Systems"},{"key":"10.1016\/0165-6074(90)90007-V_BIB34","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1109\/TR.1986.4335402","article-title":"Multistate Markov models and structural properties of the transition-rate matrix","volume":"R-35","author":"Cafaro","year":"1986","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB35","series-title":"Proc. IASTED Internat. Symp. Identification Modelling and Simulation","first-page":"437","article-title":"Analysis of sparse numerical methods for dependability evaluation","author":"Carrasco","year":"1985"},{"key":"10.1016\/0165-6074(90)90007-V_BIB36","series-title":"Proc. 10th Internat. Symp. Fault-Tolerant Computing","first-page":"187","article-title":"A performance reliability model for computing systems","author":"Castillo","year":"1980"},{"key":"10.1016\/0165-6074(90)90007-V_BIB37","series-title":"Proc. 11th Internat. Symp. Fault-Tolerant Computing","first-page":"84","article-title":"Workload, performance and reliability of digital computing systems","author":"Castillo","year":"1981"},{"key":"10.1016\/0165-6074(90)90007-V_BIB38","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/BF01720284","article-title":"Reliability analysis of a parallel system with exponential life-times and Phase type repairs","volume":"5","author":"Chakravarthy","year":"1983","journal-title":"OR Spektrum"},{"key":"10.1016\/0165-6074(90)90007-V_BIB39","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1137\/0907027","article-title":"The use of iterative linear equations solver for large systems of stiff IVPs for ODEs","volume":"7","author":"Chan","year":"1986","journal-title":"SIAM J. Statist. Comput."},{"key":"10.1016\/0165-6074(90)90007-V_BIB40","series-title":"Mathematical Computer Performance and Reliability","first-page":"403","article-title":"Iterative aggregation\/disaggregation methods","author":"Chatelin","year":"1984"},{"key":"10.1016\/0165-6074(90)90007-V_BIB41","doi-asserted-by":"crossref","first-page":"123","DOI":"10.2307\/1426216","article-title":"Markov renewal theory","volume":"1","author":"Cinlar","year":"1969","journal-title":"Adv. in Appl. Probab."},{"key":"10.1016\/0165-6074(90)90007-V_BIB42","series-title":"Proc. 4th EUREDATA Conf.","first-page":"12.2","article-title":"MARKAN - an ad hoc designed code for integrading Markov-stiff equations","author":"Clarotti","year":"1983"},{"key":"10.1016\/0165-6074(90)90007-V_BIB43","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1080\/17442508308833242","article-title":"Hierarchical aggregation of singularity perturbed finite state Markov processes","volume":"8","author":"Coderch","year":"1983","journal-title":"Stochastics"},{"key":"10.1016\/0165-6074(90)90007-V_BIB44","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1109\/TR.1980.5220750","article-title":"A powerful numerical method to combine random variables","volume":"R-29","author":"Colombo","year":"1980","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB45","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0165-6074(89)90278-0","article-title":"Effect of transient faults on gracefully degrading processor arrays","volume":"26","author":"Constantinescu","year":"1989","journal-title":"Microproc. Microprogram."},{"key":"10.1016\/0165-6074(90)90007-V_BIB46","series-title":"Proc. 11th Internat. Symp. Fault-Tolerant Computing","first-page":"72","article-title":"SURF - a program for dependability evaluation of complex fault-tolerant computing systems","author":"Costes","year":"1981"},{"year":"1977","series-title":"Decomposability: Queueing and Computer System Applications","author":"Courtois","key":"10.1016\/0165-6074(90)90007-V_BIB47"},{"key":"10.1016\/0165-6074(90)90007-V_BIB48","doi-asserted-by":"crossref","first-page":"804","DOI":"10.1145\/1634.1637","article-title":"Bounds for the positive eigenvectors of nonnegative matrices and for their approximations","volume":"31","author":"Courtois","year":"1984","journal-title":"J. ACM"},{"year":"1962","series-title":"Renewal Theory","author":"Cox","key":"10.1016\/0165-6074(90)90007-V_BIB49"},{"key":"10.1016\/0165-6074(90)90007-V_BIB50","first-page":"313","article-title":"A use of complex probabilities in the theory of stochastic processes","volume":"51","author":"Cox","year":"1955"},{"key":"10.1016\/0165-6074(90)90007-V_BIB51","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1145\/321921.321931","article-title":"Numerical inversion of Laplace transforms using a Fourier series approximation","volume":"23","author":"Crump","year":"1976","journal-title":"J. ACM"},{"key":"10.1016\/0165-6074(90)90007-V_BIB52","series-title":"Proc. Internat. Workshop Timed Petri Nets","first-page":"144","article-title":"Esp - A package for the evaluation of stochastic Petri nets with phase-type distributed transition times","author":"Cumani","year":"1985"},{"key":"10.1016\/0165-6074(90)90007-V_BIB53","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1016\/0026-2714(82)90033-6","article-title":"On the canonical representation of homogeneous Markov processes modelling failure-time distributions","volume":"22","author":"Cumani","year":"1982","journal-title":"Microelectron. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB54","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/TC.1981.6312174","article-title":"Kronecker products and shuffle algebra","volume":"C-30","author":"Davio","year":"1981","journal-title":"IEEE Trans. Computers"},{"key":"10.1016\/0165-6074(90)90007-V_BIB55","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1137\/0903022","article-title":"An improved method for numerical inversion of Laplace transform","volume":"3","author":"De Hoog","year":"1982","journal-title":"SIAM J. Scientific Statistical Computing"},{"key":"10.1016\/0165-6074(90)90007-V_BIB56","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/7531.7536","article-title":"Analysis of a composite performance reliability measure for fault tolerant systems","volume":"34","author":"Donatiello","year":"1987","journal-title":"J. ACM"},{"key":"10.1016\/0165-6074(90)90007-V_BIB57","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1109\/TR.1987.5222291","article-title":"Closed-form solution for system availability distribution","volume":"R-36","author":"Donatiello","year":"1987","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB58","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1109\/24.31102","article-title":"Fault tree and imperfect coverage","volume":"38","author":"Bechta Dugan","year":"1989","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB59","series-title":"Proc. PERFORMANCE '84","article-title":"Extended stochastic Petri nets: applications and analysis","author":"Bechta Dugan","year":"1984"},{"key":"10.1016\/0165-6074(90)90007-V_BIB60","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1109\/12.24286","article-title":"Coverage modeling for dependability analysis of fault-tolerant systems","volume":"38","author":"Bechta Dugan","year":"1989","journal-title":"IEEE Trans. Computers"},{"key":"10.1016\/0165-6074(90)90007-V_BIB61","doi-asserted-by":"crossref","first-page":"319","DOI":"10.2514\/3.20109","article-title":"The Hybrid Automated Reliability Predictor (HARP)","volume":"9","author":"Bechta Dugan","year":"1986","journal-title":"AIAA J. Guidance, Control Dynamics"},{"key":"10.1016\/0165-6074(90)90007-V_BIB62","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/58562.59307","article-title":"Calculating availability and performability measures of repairable computer systems using randomization","volume":"36","author":"De Souza e Silva","year":"1989","journal-title":"J. ACM"},{"key":"10.1016\/0165-6074(90)90007-V_BIB63","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1109\/TC.1986.1676765","article-title":"Calculating cumulative operational time distributions of repairable computer systems","volume":"C-35","author":"De Souza e Silva","year":"1986","journal-title":"IEEE Trans. Computers"},{"key":"10.1016\/0165-6074(90)90007-V_BIB64","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1287\/opre.14.5.835","article-title":"The probability of an excessive non-functioning interval","volume":"14","author":"Von Ellenrieder","year":"1966","journal-title":"Oper. Res."},{"key":"10.1016\/0165-6074(90)90007-V_BIB65","doi-asserted-by":"crossref","first-page":"282","DOI":"10.1287\/opre.35.2.282","article-title":"A method to calculate steady-state distributions of large Markov chains by aggregating states","volume":"35","author":"Feinberg","year":"1987","journal-title":"Oper. Res."},{"key":"10.1016\/0165-6074(90)90007-V_BIB66","first-page":"143","article-title":"Les reseaux de Petri stochastiques","volume":"4","author":"Florin","year":"1985","journal-title":"Technique Science Informatique"},{"key":"10.1016\/0165-6074(90)90007-V_BIB67","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1287\/opre.14.3.444","article-title":"Observing stochastic processes and approximate transform inversion","volume":"14","author":"Gaver","year":"1966","journal-title":"Oper. Res."},{"key":"10.1016\/0165-6074(90)90007-V_BIB68","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1111\/j.2517-6161.1962.tb00438.x","article-title":"A waiting line with interrupted service, including priorities","volume":"B24","author":"Gaver","year":"1962","journal-title":"J. Royal Stat. Soc."},{"key":"10.1016\/0165-6074(90)90007-V_BIB69","series-title":"Proc. 9th Internat. Symp. Fault-Tolerant Computing","first-page":"51","article-title":"Performance evaluation for gracefully degrading systems","author":"Gay","year":"1979"},{"key":"10.1016\/0165-6074(90)90007-V_BIB70","doi-asserted-by":"crossref","first-page":"1118","DOI":"10.1109\/TC.1983.1676172","article-title":"Ultrahigh reliability prediction for fault-tolerant computer systems","volume":"C-32","author":"Geist","year":"1983","journal-title":"IEEE Trans. Computers"},{"year":"1983","series-title":"Matrix Computation","author":"Golub","key":"10.1016\/0165-6074(90)90007-V_BIB71"},{"key":"10.1016\/0165-6074(90)90007-V_BIB72","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1147\/rd.316.0651","article-title":"Modeling and analysis of computer system availability","volume":"31","author":"Goyal","year":"1987","journal-title":"IBM J. Res. Develop."},{"key":"10.1016\/0165-6074(90)90007-V_BIB73","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/BF02187098","article-title":"Probabilistic modeling of computer system availability","volume":"8","author":"Goyal","year":"1987","journal-title":"Ann. Oper. Res."},{"key":"10.1016\/0165-6074(90)90007-V_BIB74","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1109\/TR.1987.5222341","article-title":"Reliability of systems with limited repair","volume":"R-36","author":"Goyal","year":"1987","journal-title":"IEEE Trans. Reliability"},{"article-title":"Evaluation of performability for degradable computer systems","year":"1984","author":"Goyal","key":"10.1016\/0165-6074(90)90007-V_BIB75"},{"key":"10.1016\/0165-6074(90)90007-V_BIB76","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/12.75148","article-title":"A measure of guaranteed availability and its numerical evaluation","volume":"C-37","author":"Goyal","year":"1988","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0165-6074(90)90007-V_BIB77","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1109\/24.3744","article-title":"Performability evaluation of multicomponent fault-tolerant systems","volume":"R-37","author":"Grassi","year":"1988","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB78","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1016\/0377-2217(87)90147-0","article-title":"Means and variances of time averages in markovian environment","volume":"31","author":"Grassman","year":"1987","journal-title":"Europ. J. Oper. Res."},{"key":"10.1016\/0165-6074(90)90007-V_BIB79","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0305-0548(77)90007-7","article-title":"Transient solution in markovian queueing systems","volume":"4","author":"Grassmann","year":"1977","journal-title":"Comput. Oper. Res."},{"key":"10.1016\/0165-6074(90)90007-V_BIB80","doi-asserted-by":"crossref","first-page":"1107","DOI":"10.1287\/opre.33.5.1107","article-title":"Regenerative analysis and steady state distributions for Markov chains","volume":"33","author":"Grassmann","year":"1985","journal-title":"Oper. Res."},{"key":"10.1016\/0165-6074(90)90007-V_BIB81","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1287\/opre.32.2.343","article-title":"The randomization technique as a modeling tool and solution procedure for transient Markov processes","volume":"32","author":"Gross","year":"1984","journal-title":"Oper. Res."},{"key":"10.1016\/0165-6074(90)90007-V_BIB82","series-title":"Reliability in Electrical and Electronic Components and Systems","first-page":"64","article-title":"RELAN: a computer program for reliability analysis of complex systems","author":"Gubian","year":"1982"},{"key":"10.1016\/0165-6074(90)90007-V_BIB83","doi-asserted-by":"crossref","first-page":"1195","DOI":"10.1109\/TC.1984.1676394","article-title":"Computer performance evaluation methodology","volume":"C-33","author":"Heidelberger","year":"1984","journal-title":"IEEE Trans. Computers"},{"year":"1971","author":"Howard","key":"10.1016\/0165-6074(90)90007-V_BIB84"},{"key":"10.1016\/0165-6074(90)90007-V_BIB85","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1109\/24.9864","article-title":"The use of Petri nets to analyze coherent fault-trees","volume":"37","author":"Hura","year":"1988","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB86","first-page":"157","article-title":"A combined evaluation of performance and reliability for degradable systems","author":"Huslende","year":"1981"},{"key":"10.1016\/0165-6074(90)90007-V_BIB87","doi-asserted-by":"crossref","first-page":"902","DOI":"10.1109\/TC.1986.1676681","article-title":"Analysis of performability for stochastic models of fault-tolerant systems","volume":"C-35","author":"Iyer","year":"1986","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0165-6074(90)90007-V_BIB88","article-title":"The Gaver-Stehfest algorithm for approximate inversion of Laplace transforms","volume":"4\u20138","author":"Jacqout","year":"1983","journal-title":"IEEE Circuit System Mag."},{"key":"10.1016\/0165-6074(90)90007-V_BIB89","doi-asserted-by":"crossref","first-page":"1995","DOI":"10.1002\/j.1538-7305.1982.tb03096.x","article-title":"An inversion technique for the Laplace transform","volume":"61","author":"Jagerman","year":"1982","journal-title":"Bell System Tech. J."},{"key":"10.1016\/0165-6074(90)90007-V_BIB90","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1145\/50020.50062","article-title":"Survey of software tools for evaluating reliability, availability and serviceability","volume":"20","author":"Johnson","year":"1988","journal-title":"ACM Comput. Surveys"},{"year":"1979","series-title":"Markov Chain Models - Rarity and Exponentiality","author":"Keilson","key":"10.1016\/0165-6074(90)90007-V_BIB91"},{"key":"10.1016\/0165-6074(90)90007-V_BIB92","doi-asserted-by":"crossref","first-page":"699","DOI":"10.2307\/3211947","article-title":"A process with chain dependent growth rate","volume":"7","author":"Keilson","year":"1970","journal-title":"J. Applied Probab."},{"key":"10.1016\/0165-6074(90)90007-V_BIB93","doi-asserted-by":"crossref","first-page":"315","DOI":"10.2307\/1426174","article-title":"A process with chain dependent growth rate, Part II: the ruin and ergodic problems","volume":"3","author":"Keilson","year":"1971","journal-title":"Adv. Applied Probab."},{"key":"10.1016\/0165-6074(90)90007-V_BIB94","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/TC.1984.5009312","article-title":"On area and yield considerations for fault-tolerant VLSI processor arrays","volume":"C-33","author":"Koren","year":"1984","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0165-6074(90)90007-V_BIB95","doi-asserted-by":"crossref","first-page":"932","DOI":"10.2307\/1427109","article-title":"The completion time of a job on a multi-mode system","volume":"19","author":"Kulkarni","year":"1987","journal-title":"Adv. Applied Probab."},{"key":"10.1016\/0165-6074(90)90007-V_BIB96","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0164-1212(86)90038-5","article-title":"On modeling the performance and reliability of multi-mode computer systems","volume":"6","author":"Kulkarni","year":"1986","journal-title":"J. Systems Software"},{"key":"10.1016\/0165-6074(90)90007-V_BIB97","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/TR.1987.5222295","article-title":"A stable algorithm to calculate steady-state probability & frequency of a Markov system","volume":"R-36","author":"Kumar","year":"1987","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB98","series-title":"Proc. 15th Internat. Symp. Fault-Tolerant Computing","first-page":"2","article-title":"Dependable computing and fault-tolerance: concepts and terminology","author":"Laprie","year":"1985"},{"key":"10.1016\/0165-6074(90)90007-V_BIB99","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1109\/TR.1976.5219985","article-title":"On reliability prediction of repairable redundant digital structures","volume":"R-25","author":"Laprie","year":"1976","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB100","series-title":"Proc. 10th Internat. Symp. Fault-Tolerant Computing","first-page":"245","article-title":"Dependability modelling of safety systems","author":"Laprie","year":"1980"},{"key":"10.1016\/0165-6074(90)90007-V_BIB101","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1109\/TR.1985.5222114","article-title":"Fault tree analysis, methods and applications - A review","volume":"R-34","author":"Lee","year":"1985","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB102","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1109\/24.9872","article-title":"Multistate Markov models for systems with dependent units","volume":"R-37","author":"Lesanovski","year":"1988","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB103","series-title":"Proc. 12th Internat. Symp. Fault-Tolerant Computing","first-page":"267","article-title":"ARIES 81: a reliability and life-cycle evaluation tool for fault-tolerant systems","author":"Makam","year":"1982"},{"key":"10.1016\/0165-6074(90)90007-V_BIB104","series-title":"Proc. 20th ISATA Symp.","first-page":"255","article-title":"Transient numerical solutions of stiff Markov chains","author":"Marie","year":"1989"},{"key":"10.1016\/0165-6074(90)90007-V_BIB105","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1109\/TR.1987.5222319","article-title":"Uncertainty propagation in fault tree analyses using lognormal distributions","volume":"R-36","author":"Masera","year":"1987","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB106","doi-asserted-by":"crossref","first-page":"726","DOI":"10.1137\/0115062","article-title":"The integral of a step function defined on a Semi-Markov process","volume":"15","author":"McLean","year":"1967","journal-title":"SIAM J. Appl. Math."},{"key":"10.1016\/0165-6074(90)90007-V_BIB107","doi-asserted-by":"crossref","first-page":"926","DOI":"10.1287\/opre.32.4.926","article-title":"Randomization procedure in the computation of cumulative-time distributions over discrete state Markov processes","volume":"32","author":"Melamed","year":"1984","journal-title":"Oper. Res."},{"key":"10.1016\/0165-6074(90)90007-V_BIB108","doi-asserted-by":"crossref","first-page":"648","DOI":"10.1109\/TC.1982.1676062","article-title":"Closed form solution of performability","volume":"C-31","author":"Meyer","year":"1982","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0165-6074(90)90007-V_BIB109","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1109\/TC.1980.1675654","article-title":"On evaluating the performability of degradable systems","volume":"C-29","author":"Meyer","year":"1980","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0165-6074(90)90007-V_BIB110","series-title":"Proc. Internat. Workshop Timed Petri Nets","first-page":"106","article-title":"Stochastic activity networks: structure, behavior and application","author":"Meyer","year":"1985"},{"key":"10.1016\/0165-6074(90)90007-V_BIB111","series-title":"Proc. 13th Internat. Symp. Fault-Tolerant Computing","first-page":"284","article-title":"Reliability calculation using randomization for fault-tolerant computing systems","author":"Miller","year":"1983"},{"year":"1981","series-title":"Numerical Methods for Stiff Equations","author":"Miranker","key":"10.1016\/0165-6074(90)90007-V_BIB112"},{"key":"10.1016\/0165-6074(90)90007-V_BIB113","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1109\/TR.1984.5221845","article-title":"A truncation methodology for evaluating large fault trees","volume":"R-33","author":"Modarres","year":"1984","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB114","doi-asserted-by":"crossref","first-page":"801","DOI":"10.1137\/1020098","article-title":"Nineteen dubious ways to compute the exponential of a matrix","volume":"20","author":"Moler","year":"1978","journal-title":"SIAM Rev."},{"key":"10.1016\/0165-6074(90)90007-V_BIB115","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","article-title":"Performance analysis using stochastic Petri nets","volume":"C-31","author":"Molloy","year":"1982","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0165-6074(90)90007-V_BIB116","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1109\/TR.1984.5221879","article-title":"Boolean difference techniques for time-sequence and common-cause analysis of fault-trees","volume":"R-33","author":"Moret","year":"1984","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB117","first-page":"29","article-title":"Bounding availability of repairable computer systems","volume":"17","author":"Muntz","year":"1989"},{"key":"10.1016\/0165-6074(90)90007-V_BIB118","first-page":"541","article-title":"Petri nets: properties, analysis and applications","volume":"77","author":"Murata","year":"1989"},{"key":"10.1016\/0165-6074(90)90007-V_BIB119","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1109\/TR.1984.5221880","article-title":"Iterative method for steady state reliability analysis of complex Markov systems","volume":"R-33","author":"Nahman","year":"1983","journal-title":"IEEE Trans. Reliability"},{"article-title":"Les reseaux de Petri stochastiques et leur application a l'evaluation des systemes informatiques","year":"1980","author":"Natkin","key":"10.1016\/0165-6074(90)90007-V_BIB120"},{"key":"10.1016\/0165-6074(90)90007-V_BIB121","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1109\/MC.1986.1663151","article-title":"Fault-tolerance techniques for array structures used in supercomputing","author":"Negrini","year":"1986","journal-title":"Computer"},{"year":"1981","series-title":"Matrix Geometric Solutions in Stochastic Models","author":"Neuts","key":"10.1016\/0165-6074(90)90007-V_BIB122"},{"article-title":"Phase type distributions: a bibliography","year":"1989","author":"Neuts","key":"10.1016\/0165-6074(90)90007-V_BIB123"},{"key":"10.1016\/0165-6074(90)90007-V_BIB124","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/BF01721011","article-title":"On the use of phase type distributions in reliability modelling of systems with two components","volume":"2","author":"Neuts","year":"1981","journal-title":"OR Spektrum"},{"key":"10.1016\/0165-6074(90)90007-V_BIB125","doi-asserted-by":"crossref","first-page":"1002","DOI":"10.1109\/TC.1980.1675495","article-title":"A unified reliability model for fault-tolerant computers","volume":"C-29","author":"Ng","year":"1980","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0165-6074(90)90007-V_BIB126","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1109\/TR.1986.4335543","article-title":"An algorithm for exact fault-tree probabilities without cut sets","volume":"R-35","author":"Page","year":"1986","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB127","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1109\/TR.1977.5220125","article-title":"Markov processes for reliability analyses of large systems","volume":"R-26","author":"Papazoglou","year":"1977","journal-title":"IEEE Trans. Reliability"},{"year":"1981","series-title":"Petri Net Theory and the Modeling of Systems","author":"Peterson","key":"10.1016\/0165-6074(90)90007-V_BIB128"},{"key":"10.1016\/0165-6074(90)90007-V_BIB129","doi-asserted-by":"crossref","first-page":"1087","DOI":"10.1109\/TAC.1981.1102780","article-title":"A singular perturbation approach to modeling and control of large Markov chains","volume":"AC-26","author":"Phillips","year":"1981","journal-title":"IEEE Trans. Automatic Control"},{"key":"10.1016\/0165-6074(90)90007-V_BIB130","series-title":"Proc. 4th Internat. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation","first-page":"341","article-title":"A package for solving complex Markov models of parallel systems","author":"Plateau","year":"1988"},{"key":"10.1016\/0165-6074(90)90007-V_BIB131","doi-asserted-by":"crossref","first-page":"1243","DOI":"10.1214\/aoms\/1177704864","article-title":"Markov renewal processes with finitely many states","volume":"32","author":"Pyke","year":"1961","journal-title":"Ann. Mathemat. Stat."},{"key":"10.1016\/0165-6074(90)90007-V_BIB132","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1109\/TSE.1980.230492","article-title":"Performance evaluation of asynchronous concurrent systems using Petri nets","volume":"SE-6","author":"Ramamoorthy","year":"1980","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0165-6074(90)90007-V_BIB133","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0377-2217(89)90335-4","article-title":"Markov and Markov reward model transient analysis: an overview of numerical approaches","volume":"40","author":"Reibman","year":"1989","journal-title":"Europ. J. Oper. Res."},{"key":"10.1016\/0165-6074(90)90007-V_BIB134","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/0305-0548(88)90026-3","article-title":"Numerical transient analysis of Markov models","volume":"15","author":"Reibman","year":"1988","journal-title":"Comput. Oper. Res."},{"key":"10.1016\/0165-6074(90)90007-V_BIB135","series-title":"Stochastic Models","article-title":"Transient analysis of cumulative measures of Markov chain behavior","author":"Reibman","year":"1989"},{"key":"10.1016\/0165-6074(90)90007-V_BIB136","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1145\/44483.44497","article-title":"The reduction of perturbed Markov generators: an algorithm exposing the role of transient states","volume":"35","author":"Rohlicek","year":"1988","journal-title":"J. ACM"},{"key":"10.1016\/0165-6074(90)90007-V_BIB137","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1002\/nav.3800260208","article-title":"On the first time a separately maintained parallel system has been down for a fixed time","volume":"26","author":"Ross","year":"1979","journal-title":"Naval Res. Logistic Quart."},{"key":"10.1016\/0165-6074(90)90007-V_BIB138","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1109\/TR.1985.5222232","article-title":"Uncertainty analysis of fault-tree outputs","volume":"R-34","author":"Rushdi","year":"1985","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB139","doi-asserted-by":"crossref","first-page":"1105","DOI":"10.1109\/TSE.1987.232852","article-title":"Performance and reliability analysis using directed acyclic graphs","volume":"SE-13","author":"Sahner","year":"1987","journal-title":"IEEE Trans. Software Engrg."},{"key":"10.1016\/0165-6074(90)90007-V_BIB140","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1109\/TR.1987.5222336","article-title":"Reliability modeling using SHARPE","volume":"R-36","author":"Sahner","year":"1987","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB141","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1109\/24.3763","article-title":"Transient-fault analysis for retry techniques","volume":"37","author":"Saleh","year":"1988","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB142","first-page":"712","article-title":"Reconfigurable architectures for VLSI processing arrays","volume":"74","author":"Sami","year":"1986"},{"key":"10.1016\/0165-6074(90)90007-V_BIB143","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1109\/TR.1987.5222357","article-title":"Approximate fault-tree analysis with prescribed accuracy","volume":"R-36","author":"Schneeweiss","year":"1987","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB144","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1109\/TR.1985.5222231","article-title":"Fault-tree analysis using a binary decision tree","volume":"R-34","author":"Schneeweiss","year":"1985","journal-title":"IEEE Trans. Reliability"},{"year":"1988","series-title":"Boolean Functions with Engineering Applications and Computer Programs","author":"Schneeweiss","key":"10.1016\/0165-6074(90)90007-V_BIB145"},{"key":"10.1016\/0165-6074(90)90007-V_BIB146","series-title":"Mathematical Computer Performance and Reliability","first-page":"275","article-title":"Aggregation methods for large Markov chains","author":"Schweitzer","year":"1984"},{"key":"10.1016\/0165-6074(90)90007-V_BIB147","doi-asserted-by":"crossref","first-page":"955","DOI":"10.1016\/0026-2714(86)90238-6","article-title":"First failure time of dependent parallel systems with safety period","volume":"26","author":"Shanthikumar","year":"1986","journal-title":"Microelectron. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB148","series-title":"Proc. 10th Internat. Symp. Fault-Tolerant Computing","first-page":"356","article-title":"Analysis of the impact of error detection on computer performance","author":"Shin","year":"1983"},{"key":"10.1016\/0165-6074(90)90007-V_BIB149","doi-asserted-by":"crossref","first-page":"529","DOI":"10.1109\/TC.1984.1676476","article-title":"Error detection process - Model, design and its impact on computer performance","volume":"C-33","author":"Shin","year":"1984","journal-title":"IEEE Trans. Computers"},{"year":"1968","series-title":"Probabilistic Reliability: An Engineering Approach","author":"Shooman","key":"10.1016\/0165-6074(90)90007-V_BIB150"},{"key":"10.1016\/0165-6074(90)90007-V_BIB151","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1109\/12.2184","article-title":"Performability analysis: measures, an algorithm and a case study","volume":"C-37","author":"Smith","year":"1988","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0165-6074(90)90007-V_BIB152","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1109\/TC.1986.1676766","article-title":"Provablt conservative approximations to complex reliability models","volume":"C-35","author":"Smotherman","year":"1986","journal-title":"IEEE Trans. Comput."},{"year":"1973","series-title":"Introduction to Matrix Computation","author":"Stewart","key":"10.1016\/0165-6074(90)90007-V_BIB153"},{"article-title":"CARE III, phase III Report - Mathematical description","year":"1982","author":"Stiffler","key":"10.1016\/0165-6074(90)90007-V_BIB154"},{"key":"10.1016\/0165-6074(90)90007-V_BIB155","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0026-2714(87)90622-6","article-title":"Analysis of fault tolerant computer systems","volume":"27","author":"Sumita","year":"1987","journal-title":"Microelectron. Reliability"},{"article-title":"Approximate modeling of large-scale Markov chains by cross aggregation","year":"1988","author":"Takahashi","key":"10.1016\/0165-6074(90)90007-V_BIB156"},{"key":"10.1016\/0165-6074(90)90007-V_BIB157","series-title":"Proc. 14th Internat. Symp. Fault-Tolerant Computing","first-page":"77","article-title":"Modeling imperfect coverage in fault-tolerant systems","author":"Trivedi","year":"1984"},{"key":"10.1016\/0165-6074(90)90007-V_BIB158","series-title":"Proc. Internat. Conf. Modelling Techniques Tools for Performance Analysis","article-title":"Modeling and analysis of fault-tolerant systems","author":"Trivedi","year":"1984"},{"key":"10.1016\/0165-6074(90)90007-V_BIB159","series-title":"Mathematical Computer Performance and Reliability","first-page":"403","article-title":"Reliability evaluation of fault-tolerant systems","author":"Trivedi","year":"1984"},{"key":"10.1016\/0165-6074(90)90007-V_BIB160","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1109\/TR.1983.5221731","article-title":"Decomposition in reliability analysis of fault-tolerant systems","volume":"R-32","author":"Trivedi","year":"1983","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB161","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1145\/2455.214107","article-title":"Aggregation with an error of O(\u03b52)","volume":"32","author":"Vantiborgh","year":"1985","journal-title":"J. ACM"},{"key":"10.1016\/0165-6074(90)90007-V_BIB162","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1109\/TR.1985.5222131","article-title":"Multistate block diagrams and fault trees","volume":"R-34","author":"Wood","year":"1985","journal-title":"IEEE Trans. Reliability"},{"key":"10.1016\/0165-6074(90)90007-V_BIB163","article-title":"Reconfiguration strategies for parallel architectures","volume":"44\u201361","author":"Yalamanchili","year":"1985","journal-title":"Computer"}],"container-title":["Microprocessing and Microprogramming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016560749090007V?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016560749090007V?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T17:11:25Z","timestamp":1734109885000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016560749090007V"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,7]]},"references-count":163,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,7]]}},"alternative-id":["016560749090007V"],"URL":"https:\/\/doi.org\/10.1016\/0165-6074(90)90007-v","relation":{},"ISSN":["0165-6074"],"issn-type":[{"type":"print","value":"0165-6074"}],"subject":[],"published":{"date-parts":[[1990,7]]}}}