Fail-safeness in a multiprocessor system. A distributed strategy based on backward error recovery