A System Decomposition for Failure Detection and Isolation