Title :
Detailed modeling of fault-tolerant processor arrays
Author :
Lopez-Benitez, N. ; Fortes, J.A.B.
Author_Institution :
Sch. of Electr. Eng., Purdue Univ., West Lafayette, IN, USA
Abstract :
Detailed modeling of fault-tolerant processor arrays entails not only an explosive growth in the model state space but also a difficult model construction process. The latter problem is addressed, and a systematic method to construct Markov models for evaluating the reliability of processor arrays is proposed. This method is based on the premise that the fault behavior of a processor array can be modeled by a stochastic Petri net. However, in order to obtain a more compact representation, a set of attributes is associated with each transition in the Petri net model. This set of attributes allows the construction of the corresponding Markov model as the generation of the reachability graph takes place. Included in these attributes is a discrete probability distribution such that the effect of faulty spares in the reconfiguration algorithm is captured each time a configuration change occurs. This distribution includes the probabilities of survival given that a number of components required by the reconfiguration process are faulty. Depending on the type of component and the reconfiguration scheme, probabilities of survival are determined using simulation or closed-form expressions.<>
Keywords :
Markov processes; Petri nets; fault tolerant computing; probability; reliability; state-space methods; Markov models; attributes; closed-form expressions; compact representation; configuration change; detailed modelling; discrete probability distribution; fault behavior; fault-tolerant processor arrays; faulty components; faulty spares; model construction process; model state space; reachability graph; reconfiguration algorithm; reliability; simulation; stochastic Petri net; survival probabilities; Explosives; Fault tolerance; Hardware; Performance evaluation; Petri nets; Probability distribution; Space technology; State-space methods; Statistics; Stochastic processes;
Conference_Titel :
Fault-Tolerant Computing, 1989. FTCS-19. Digest of Papers., Nineteenth International Symposium on
Conference_Location :
Chicago, IL, USA
Print_ISBN :
0-8186-1959-7
DOI :
10.1109/FTCS.1989.105633