Distributed real-time model-based diagnosis

While past flight projects involved flying single spacecraft in isolation, over forty proposed future missions involve multiple coordinated spacecraft. This paper presents an approach to onboard anomaly diagnosis that combines the simplicity and real-time guarantee of a rule-based diagnosis system. This system also provides a clear path to distributing the diagnosis process across a number of processors on one or more spacecraft.