Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systems