An analytical model for a parallel fault-tolerant computing system