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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    A software engineering approach to expert system design and verification


    Contributors:


    Publication date :

    1988-08-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    DEASEL: An expert system for software engineering

    Valett, J. D. / Raskin, A. | NTRS | 1985


    Avionics Software Expert System Design

    J. L. Brink / R. B. Haynes | NTIS | 1988


    ARROWSMITH-P: A prototype expert system for software engineering management

    Basili, Victor R. / Ramsey, Connie Loggia | NTRS | 1985


    The `Abrixas' Onboard Software Design, Development & Verification Approach

    Zappen, F.-P. | British Library Online Contents | 1997


    Expert Systems for Engineering Design

    Adeli, H. / Expert Systems for Improved Crop Management Project | British Library Conference Proceedings | 1992