A fault-tolerant computer architecture for space vehicle applications