Software engineering design and verification methods for developing expert systems are not yet well defined. Integration of expert system technology into software production environments will require effective software engineering methodologies to support the entire life cycle of expert systems. The software engineering methods used to design and verify an expert system, RENEX, is discussed. RENEX demonstrates autonomous rendezvous and proximity operations, including replanning trajectory events and subsystem fault detection, onboard a space vehicle during flight. The RENEX designers utilized a number of software engineering methodologies to deal with the complex problems inherent in this system. An overview is presented of the methods utilized. Details of the verification process receive special emphasis. The benefits and weaknesses of the methods for supporting the development life cycle of expert systems are evaluated, and recommendations are made based on the overall experiences with the methods.
A software engineering approach to expert system design and verification
1988-08-01
Conference paper
No indication
English
DEASEL: An expert system for software engineering
NTRS | 1985
|Avionics Software Expert System Design
NTIS | 1988
|The `Abrixas' Onboard Software Design, Development & Verification Approach
British Library Online Contents | 1997
|Expert Systems for Engineering Design
British Library Conference Proceedings | 1992
|