An Evaluation of an Ada Implementation of the Rete Algorithm for Embedded Flight Processors
Abstract
The purpose of this thesis was to design and develop an expert system shell in Ada, and to evaluate the shell's execution and size performance to determine its suitability for real-time operation on the MIL-STD-1750A embedded flight processor. The expert system shell uses the CLIPS/Ada inference engine, a forward-chaining Ada implementation of Rete. The expert system shell design is presented along with an overview of the target environment--the MIL-STD-1750A VHSIC Avionic Modular Processor (VAMP) running under the Ada Avionics Real-Time Software (AARTS) Operating System. Theoretical and empirical complexity analyses of the inference engine are presented and discussed in view of their impact on VAMP application. The performance of this inference engine was affected by five parameters of the knowledge base: a) the number of objects in working memory, b) the structural complexity of the objects and rules, c) the number of rules which share object match patterns, d) the number of match patterns per rule, and e) the number of objects bound to a match pattern. The inference engine's execution response time was found suitable for real-time operation on the VAMP; however, its memory requirement was not. (KR)
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1990
- Accession Number
- ADA230443
Entities
People
- F. J. Fanning
Organizations
- Air Force Institute of Technology