As rulebase systems become more widely used in operational environments, the focus is on the problems and concerns of maintaining expert systems. In the conventional software model, the verification and validation of a system have two separate and distinct meanings. To validate a system means to demonstrate that the system does what is advertised. The verification process refers to investigating the actual code to identify inconsistencies and redundancies within the logic path. In current literature regarding maintaining rulebased systems, little distinction is made between these two terms. In fact, often the two terms are used interchangeably. Verification and validation of rulebased systems are discussed as separate but equally important aspects of the maintenance phase. Also described are some of the tools and methods that were developed at the Space Telescope Science Institute to aid in the maintenance of the rulebased system.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Verification and validation of rulebased systems for Hubble Space Telescope ground support


    Contributors:


    Publication date :

    1988-08-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English


    Keywords :




    Hubble Space Telescope

    USA, National Aeronautics and Space Administration | TIBKAT | 1984


    An expert system for ground support of the Hubble space telescope

    Rosenthal, Don / Monger, Patricia / Miller, Glenn et al. | NTRS | 1986


    Hubble Space Telescope

    Winslow | Online Contents | 1995