Fault free performance validation of a fault-tolerant multiprocessor : baseline and synthetic workload measurements