ACM Transactions on Computer Systems (TOCS)
Petri nets: an introduction
Gracefully Degradable Processor Arrays
IEEE Transactions on Computers
Provably Conservative Approximations to Complex Reliability Models
IEEE Transactions on Computers - The MIT Press scientific computation series
Modeling the Effect of Redundancy on Yield and Performance of VLSI Systems
IEEE Transactions on Computers
Numerical transient analysis of Markov models
Computers and Operations Research
IEEE Transactions on Computers
METASAN: a performability evaluation tool based on stochastic activity networks
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
A hierarchial, combinatorial-Markov model of solving complex reliability models
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
A Software Package for the Analysis of Generalized Stochastic Petri Net Models
International Workshop on Timed Petri Nets
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Reliability modeling techniques for self-repairing computer systems
ACM '69 Proceedings of the 1969 24th national conference
An Efficient Method for Approximating Submesh Reliability of Two-Dimensional Meshes
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Computers
On Dependability Evaluation of Mesh-Connected Processors
IEEE Transactions on Computers
| Hi-index | 14.99 |
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.