NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Verification and validation of rulebased systems for Hubble Space Telescope ground supportAs 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.
Document ID
19880020977
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Vick, Shon
(Space Telescope Science Inst. Baltimore, MD., United States)
Lindenmayer, Kelly
(Computer Sciences Corp. Baltimore, Md., United States)
Date Acquired
September 5, 2013
Publication Date
August 1, 1988
Publication Information
Publication: NASA, Goddard Space Flight Center, The 1988 Goddard Conference on Space Applications of Artificial Intelligence
Subject Category
Cybernetics
Accession Number
88N30361
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
Document Inquiry

Available Downloads

There are no available downloads for this record.
No Preview Available