Algorithms exploiting spare capacity and tasks laxities for fault detection and location in real-time multiprocessor systems | IEEE Conference Publication | IEEE Xplore