Verification and validation of rulebased systems for Hubble Space Telescope ground support
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
Selection note: Curated because “Verification and validation of rulebased systems for Hubble Space Telescope ground support” covers As rulebase systems become more widely used in operational environments, the focus is on the problems and concerns; it materially informs GShips work on verification and validation.
Evidence boundary: NTRS provides open full text, but this conference paper was screened for curation rather than independently or domain reviewed; inclusion is contextual, not automatic claim evidence.
Stable record
ntrs-19880020977
Topic
analogs-verification
Type
Conference Paper
Publisher
Legacy CDMS
Authors
Vick, Shon; Lindenmayer, Kelly
Year
1988
Editorial state
metadata curated editorial draft
Reviewer
GShips Project editorial synthesis
Official link checked
2026-07-25
Source-supplied abstract
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.
Abstract text has not been adopted as a GShips conclusion.
What would change this record?
A newer or corrected version, a retraction, a verified duplicate, a material topic mismatch, a changed access state, or claim-level review would trigger a dated editorial update.
NTRS provides open full text, but this conference paper was screened for curation rather than independently or domain reviewed; inclusion is contextual, not automatic claim evidence.
Source-supplied titles, abstracts, authors, and dates may require correction against the canonical full text.
What would change this page?
A newer or corrected version, retraction, verified duplicate, material topic mismatch, changed access state, or claim-level assessment would change this record.
People, review, and conflicts
Prepared by
GShips Project
Editorial status
metadata-curated-editorial-draft
Editorial reviewer
GShips Project editorial synthesis
Last editorial review
No editorial-review date recorded
Independent review
pending
Independent reviewer
No independent reviewer assigned
Last independent review
No independent-review date exists
Last content edit
Not recorded separately
Official source or link verified
2026-07-25
Declared conflicts
The maintainer intends to explore a commercial venture based on some GShips work. No entity, outside funding, customer, sponsor, or indexed-organization relationship currently exists.