Distributed Real-Time Model-Based Diagnosis (DRMD) is a computer program for diagnosing faults in multiple spacecraft cooperating in a specific task (e.g., flying in formation to constitute an inter- ferometer). DRMD takes advantage of both (1) the superiority of model-based software for representing complex hardware systems (though not necessarily for making diagnoses in real time) and (2) the ability of rulebased software to provide diagnoses in real time. A multiple-spacecraft system is modeled as a set of interacting subsystems that comprise interacting components, each of which operates in one of a number of modes that define the relationships between its inputs and outputs. Then diagnosis is performed following a knowledge-compilation approach implemented in a three-step process: (1) A representation of the system is expanded into a network of processed components at compilation time; (2) a Boolean equation for the system is constructed at compilation time; and (3) the equation is evaluated iteratively at run time. The programming language used to express the model of the system defines observables and commands local to each subsystem, thereby facilitating the distribution of portions of the Boolean equation to multiple computers on the multiple spacecraft.

This program was written by Anthony Barrett of Caltech and Seung Chung of MIT for NASA’s Jet Propulsion Laboratory.

This software is available for commercial licensing. Please contact Don Hart of the California Institute of Technology at (818) 393- 3425. Refer to NPO-30876.