Strong Diagnosability and Conditional Diagnosability of Multiprocessor Systems and Folded Hypercubes

Using the comparison diagnosis model, this study proposes some useful sufficient conditions for determining the strong diagnosability t(s)(G) and the conditional diagnosability t(c)(G) of a system G. Applying these results to an n-dimensional folded hypercube FQ(n) shows that t(s)(FQ(n)) = n + 1 for n >= 5 and t(c)(FQ(n)) = 3n - 2 for n >= 5. Moreover, t(c)(FQ(3)) = 3 and t(c)(FQ(4)) = 7.