This Article 
 Bibliographic References 
 Add to: 
Detailed Modeling and Reliability Analysis of Fault-Tolerant Processor Arrays
September 1992 (vol. 41 no. 9)
pp. 1193-1200

A method for the generation of detailed models of fault-tolerant processor arrays, based on stochastic Petri nets (SPNs), is presented. A compact SPN model of the array associates with each transition a set of attributes that includes a discrete probability distribution. Depending on the type of component and the reconfiguration scheme, these probabilities are determined using simulation or closed-form expressions and correspond to the survival of the array given that a number of components required by the reconfiguration process are faulty.

[1] C. S. Raghavendra, A. Avizienis, and M. Ercegovac, "Fault-tolerance in binary tree architectures,"IEEE Trans. Comput., vol. C-33, pp. 568-572, June 1984.
[2] I. Koren and D. J. Pradhan, "Modeling the effect of redundancy on yield and performance of VLSI systems,"IEEE Trans. Comput., vol. C-36, pp. 344-355, 1987.
[3] J. A. B. Fortes and C. S. Raghavendra, "Gracefully degradable processor arrays,"IEEE Trans. Comput., vol. C-34, pp. 1033-1044, Nov. 1985.
[4] M. G. Sami and R. Stefanelli, "Reconfigurable architectures for VLSI processing arrays,"Proc. IEEE, vol. 74, pp. 712-722, May 1986.
[5] N. Lopez-Benitez, "Detailed modeling and reliability estimation of fault-tolerant processor arrays," Ph.D. dissertation, Dep. Elec. Eng., Purdue Univ., 1989.
[6] T. E. Mangir and A. Avizienis, "Fault-tolerant design for VLSI effect of interconnect requirements on yield improvement of VLSI designs,"IEEE Trans. Comput., vol. C-31, pp. 609-616, July 1982.
[7] R. A. Sahner and K. S. Trivedi, "A hierarchical, combinatorial-Markov method of solving complex reliability models," inACM/IEEE Proc. Fall Joint Comput. Conf., Nov. 1986, pp. 817-825.
[8] W. G. Bouricius, W. C. Carter, and P. R. Schneider, "Reliability modeling techniques for self-repairing computer systems," inProc. 24th ACM Nat. Conf., 1969, pp. 295-309.
[9] W. Reisig, "Petri nets: An introduction," inEATCS Monographs on Theoretical Computer Science. New York: Springer-Verlag, 1985.
[10] M. K. Molloy, "Performance analysis using Stochastic Petri Nets."IEEE Trans. Comput., vol. C-31 no. 9, pp. 913-917, Sept. 1982.
[11] G. Ciardo, J. Muppala, and K. Trivedi, "SPNP: Stochastic Petri Net Package,"Proc. Third Int'l Workshop Petri Nets and Performance Models, CS Press, Los Alamitos, Calif., Order No. 2001, 1989, pp. 142-151.
[12] M. Ajmone Marsan, G. Balbo, and G. Conte, "A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,"ACM Trans. Comput. Syst., vol. 2, pp. 93-122, May 1984.
[13] W. H. Sanders and J. F. Meyer, "METASAN: A performability evaluation tool based on stochastic activity networks," inProc. 1986 Fall Joint Comput. Conf., AFIPS, NY, 1986, pp. 807-816.
[14] A. Reibman and K. S. Trivedi, "Numerical transient analysis of Markov models,"Comput. Oper. Res., vol. 15, no. 1, pp. 19-36, 1988.
[15] M. Chean and J. A. B. Fortes, "The Full-Use-of-Suitable-Spares (FUSS) approach to hardware reconfiguration for fault-tolerant processor arrays,"IEEE Trans. Comput., vol. 39, no. 4, pp. 564-571, Apr. 1990.
[16] Y. X. Wang and J. A. B. Fortes, "On the analysis and design of hierarchical fault-tolerant processor arrays," inProc. Int. Workshop Defect and Fault Tolerance in VLSI Syst.," Oct. 1988.
[17] D. Gross and D. R. Miller, "The randomization technique as a modeling tool and solution procedure for transient Markov processes,"Oper. Res., vol. 32 no. 2, pp. 343-361, Mar.-Apr. 1984.
[18] M. Smotherman, R. M. Geist, and K. S. Trivedi, "Provably conservative approximations to complex reliability models,"IEEE Trans. Comput., vol. C-35, no. 4, pp. 333-338, Apr. 1986.
[19] G. Chiola, "A software package for the analysis of Generalized Stochastic Petri Net models," inProc. Int. Workshop Timed Petri Nets, July 1985.

Index Terms:
reliability analysis; fault-tolerant processor arrays; stochastic Petri nets; discrete probability distribution; simulation; closed-form expressions; fault tolerant computing; parallel processing; Petri nets; probability; reliability theory; stochastic processes.
N. Lopez-Benitez, J.A.B. Fortes, "Detailed Modeling and Reliability Analysis of Fault-Tolerant Processor Arrays," IEEE Transactions on Computers, vol. 41, no. 9, pp. 1193-1200, Sept. 1992, doi:10.1109/12.165402
Usage of this product signifies your acceptance of the Terms of Use.