Expert Avionics Code Modification

Abstract

A description is given of the Expert Avionics Code Modification (EACM) system, a software environment and a collection of embedded tools which function together to provide a capability for post-development support for avionics software written in the Ada programming language. The EACM system includes four main tools: Connectivity Analyzer (CA), Code Performance Anomaly Detector (CPAD), Shuffler, and Rippler (Side-Effect Analyzer). The purpose of this Ada avionics maintenance/enhancement system is to reduce the amount of resources (i.e. time, cost, and manpower) required to maintain software for processors utilized in avionics applications. Anticipated benefits of the EACM system include increased and easier program understanding, leading to a lower learning curve for new project members; fewer maintenance-generated 'bugs'; and more expedient and less costly enhancements.<>