Abstract
The ro/spl delta/on model-based diagnosis shell was applied to a breadboard testbed modeling an automated power distribution system. The constraint-based modeling paradigm and diagnostic algorithm were found to adequately represent the selected set of test scenarios. The paper presents an application to the Space Station Module/Power Management and Distribution System (SSM/PMADS) hardware and software testbed at the Marshall Space Flight Center.