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.<>


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:
    Ramanna, S. (author)


    Publication date :

    1995-07-01


    Size :

    355476 byte




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    Microwave Generic Controller

    Ramanna | Online Contents | 1995


    Research infusion: ODC for microwave subsystem controller

    Lutz, Robyn R. / Manalo, Leslie / Do, Tuan et al. | NTRS | 2005


    Architecture of a Generic Vehicle Controller

    de Graaf, A. J. / INRIA / Institute of Electrical and Electronics Engineers | British Library Conference Proceedings | 2003



    SeaWinds Antenna Subsystem

    Online Contents | 1995