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 ts(G) and the conditional diagnosability tc(G) of a system G. Applying these results to an n-dimensional folded hypercube FQnshows that ts(FQn) = n + 1 for n ≥ 5 and tc(FQn) = 3n - 2 for n ≥ 5. Moreover, tc(FQ3) = 3 and tc(FQ4) = 7.