A high assurance on-board computer system for use on spacecraft

Abstract

A high-assurance on-board computer system that overcomes the weaknesses of conventional fault-tolerance technology is proposed. The system is designed so that its performance can be easily tested and verified. It is also designed to be flexible, which means that inexpensive and highly reliable on-board computers can be used not only now but also in the future, as the mission requirements change or technology advances.