Accession Number:

ADA230443

Title:

An Evaluation of an Ada Implementation of the Rete Algorithm for Embedded Flight Processors

Descriptive Note:

Master's thesis

Corporate Author:

AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH SCHOOL OF ENGINEERING

Personal Author(s):

• Fanning, F. J.

Report Date:

1990-12-01

Pagination or Media Count:

116.0

Abstract:

The purpose of this thesis was to design and develop an expert system shell in Ada, and to evaluate the shells 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 CLIPSAda 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 engines execution response time was found suitable for real-time operation on the VAMP however, its memory requirement was not. KR

Descriptors:

• *COMPUTER PROGRAMS
• AVIONICS
• REQUIREMENTS
• REAL TIME
• STRUCTURAL PROPERTIES
• ADA PROGRAMMING LANGUAGE
• PROCESSING EQUIPMENT
• SHELLS(STRUCTURAL FORMS)
• MEMORY DEVICES
• FLIGHT
• OPERATION
• EMBEDDING
• ALGORITHMS
• THEORY

Subject Categories:

• Flight Control and Instrumentation
• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE