A blackboard architecture of the microwave generic controller for the DSN antenna subsystem

This paper presents a Hayes-Roth blackboard architecture for the Microwave Generic Controller (UGC) for the Antenna Microwave Subsystem in the NASA Deep Space Network. A formal specification of the current UGC and the new blackboard architecture is also given using the Higher-Order Logic (HOL) Proof System. HOL makes it possible to provide a straightforward, unambiguous and consistent specification of the UGC. The UGC is responsible for monitoring and controlling the switches and rain blowers for the Antenna Microwave Subsystem. The new blackboard architecture for the UGC introduces a collection of parallel processes called knowledge sources. Because of the parallel nature of the blackboard and the ability to retrieve the most current information quickly, there is a gain in efficiency. In addition, the blackboard architecture of the UGC is extensible, which is in keeping with the design philosophy of the UGC