Automated code generation for application engineers (avionics)

Abstract

An approach which generates code and documentation from specifications of application designs is described. This approach to code generation is realistic, realizable with current technology, and capable of dramatically increasing productivity and reliability in avionics systems. The ALS CASE system, which adheres to this approach, has been implemented and used to successfully generate approximately 3000 lines of Ada code from a specification of a Boeing 737 autoland flight control system.<>