Almost Sure Diagnosis of Almost Every Good Element
IEEE Transactions on Computers
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
The Design of a Unified Package for the Solution of Stochastic Petri Net Models
International Workshop on Timed Petri Nets
Self diagnosis of processor arrays using a comparison model
SRDS '95 Proceedings of the 14TH Symposium on Reliable Distributed Systems
On the integration of delay and throughput measures in distributed processing models
On the integration of delay and throughput measures in distributed processing models
Logic BIST for Large Industrial Designs: Real Issues and Case Studies
ITC '99 Proceedings of the 1999 IEEE International Test Conference
Configurable isolation: building high availability systems with commodity multi-core processors
Proceedings of the 34th annual international symposium on Computer architecture
Microprocessor Software-Based Self-Testing
IEEE Design & Test
Chip Self-Organization and Fault Tolerance in Massively Defective Multicore Arrays
IEEE Transactions on Dependable and Secure Computing
Stochastic Petri Nets: Modelling, Stability, Simulation
Stochastic Petri Nets: Modelling, Stability, Simulation
| Hi-index | 0.00 |
Today's many-core processors are manufactured in inherently unreliable technologies. Massively defective technologies used for production of many-core processors are the direct consequence of the feature size shrinkage in today's CMOS (complementary metal-oxide-semiconductor) technology. Due to these reliability problems, fault-tolerance of many-core processors becomes one of the major challenges. To reduce the probability of failures of many-core processors various fault tolerance techniques can be applied. The most preferable and promising techniques are the ones that can be easily implemented and have minimal cost while providing high level of processor fault tolerance. One of the promising techniques for detection of faulty cores, and consequently, for performing the first step in providing many-core processor fault tolerance is mutual testing among processor cores. Mutual testing can be performed either in a random manner or according to a deterministic scheduling policy. In the paper we deal with random execution of mutual tests. Effectiveness of such testing can be evaluated through its modeling. In the paper, we have shown how Stochastic Petri Nets can be used for this purpose and have obtained some results that can be useful for developing and implementation of testing procedure in many-core processors.