The implementation of a fault-tolerant computer system for space instrumentation