Verification and validation of expert systems for nuclear power plant applications: Final report

Technical Report · Mon Aug 01 04:00:00 EDT 1988

OSTI ID:6913591

Kirk, D B; Murray, A E

This report describes a methodology for the Verification and Validation (VandV) of expert systems developed for nuclear power applications. Verification pertains to the internal correctness of the system and addresses the task of eliminating errors made by the builders in translating their original plan into a detailed design and coding it. Validation, on the other hand, refers to external correctness which is manifest in correct or desired output when the system is operating in a realistic environment. The field of expert system development is still new, with few expert systems in operational use, particularly in critical applications such as nuclear power where a thorough VandV program is requisite. Therefore, techniques for verifying and validating these systems are even newer, and still an area of much research and development. Fortunately, significant progress has been made in expert system VandV. This progress, when combined with a careful assessment of the possible contributions from conventional software VandV, allows a methodology for the VandV of expert systems for nuclear power applications to be developed.

• Research Organization: Electric Power Research Inst., Palo Alto, CA (USA); Science Applications International Corp., McLean, VA (USA)
• OSTI ID: 6913591
• Report Number(s): EPRI-NP-5978; ON: TI88016200
• Country of Publication: United States
• Language: English

Related Subjects

22 GENERAL STUDIES OF NUCLEAR REACTORS
220200* -- Nuclear Reactor Technology-- Components & Accessories
99 GENERAL AND MISCELLANEOUS
990210 -- Supercomputers-- (1987-1989)
ARTIFICIAL INTELLIGENCE
DESIGN
DOCUMENT TYPES
EXPERT SYSTEMS
KNOWLEDGE BASE
NUCLEAR FACILITIES
NUCLEAR POWER PLANTS
POWER PLANTS
PROGRESS REPORT
TESTING
THERMAL POWER PLANTS
VALIDATION
VERIFICATION