Search NASA⌕ Search

Engineering topics

Goodwin, Mary Ann

Publications and source records attributed to Goodwin, Mary Ann.

A software engineering approach to expert system design and verification

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.

Bochsler, Daniel C.↗

Expert system verification concerns in an operations environment

The Space Shuttle community is currently developing a number of knowledge-based tools, primarily expert systems, to support Space Shuttle operations. It is proposed that anticipating and responding to the requirements of the operations environment will contribute to a rapid and smooth transition of expert systems from development to operations, and that the requirements for verification are critical to this transition. The paper identifies the requirements of expert systems to be used for flight planning and support and compares them to those of existing procedural software used for flight planning and support. It then explores software engineering concepts and methodology that can be used to satisfy these requirements, to aid the transition from development to operations and to support the operations environment during the lifetime of expert systems. Many of these are similar to those used for procedural hardware.

Goodwin, Mary Ann↗

Autonomous control procedures for shuttle rendezvous proximity operations

The results are presented of a study which uses fuzzy sets to model a Space Shuttle pilot's reasoning and actions while performing rendezvous proximity operation maneuvers. In this model fuzzy sets are used to simulate smooth and continuous actions as would be expected from an experienced pilot and to simulate common sense reasoning in the decision process. The present model assumes visual information available to the Shuttle pilot from the Shuttle Crew Optical Alignment Sighting (COAS) device and the overhead window and rendezvous radar sensor information available to him from an onboard display. This model will be used in a flight analysis simulator to perform studies requiring a large number of runs, each of which currently needs an engineer in the loop to supply the piloting decisions. This work has much broader implications in control of robots such as the Flight Telerobotic Servicer, in automated pilot control and attitude control, and in advisory and evaluation functions that could be used for flight data monitoring or for testing of various rule sets in flight preparation.

Lea, Robert N.↗

Expert system isssues in automated, autonomous space vehicle rendezvous

The problems involved in automated autonomous rendezvous are briefly reviewed, and the Rendezvous Expert (RENEX) expert system is discussed with reference to its goals, approach used, and knowledge structure and contents. RENEX has been developed to support streamlining operations for the Space Shuttle and Space Station program and to aid definition of mission requirements for the autonomous portions of rendezvous for the Mars Surface Sample Return and Comet Nucleus Sample return unmanned missions. The experience with REMEX to date and recommendations for further development are presented.

Goodwin, Mary Ann↗