Implementation of non-dedicated redundancy in a fault tolerant multiprocessor testbed

The advanced multiprocessor control architecture development (AMCAD) program has focused on the application of non-dedicated redundancy to flight control and vehicle management systems. Aspects are examined of the AMCAD architecture and operating system concepts supporting nondedicated redundancy in the AMCAD testbed, and the lower-level operating system mechanisms for providing redundant communications and voting on redundant data are described. Future research under consideration for this testbed is addressed.<>