Use of Ada (trademark) for FAA's Advanced Automation System (AAS),

Abstract

The Federal Aviation Administration (FAA) asked MITRE to organize and participate in a study on the use of Ada for Advanced Automation System (AAS) procurement. A team of MITRE and non-MITRE software experts was assembled to address the following: First, if Ada is selected for AAS, how can the FAA judge the ability of a contractor to build AAS in Ada? Second, if Ada is used, how should the FAA change its contract monitoring procedures to best manage the project? The study participants concluded that the size and complexity of AAS make software engineering, and not the programming language, the key issue. Moreover, if properly used, Ada facilitates good software engineering practices and a sound software development process. Therefore, the participants unanimously recommended Ada (with appropriate waivers for the use of non-Ada code where necessary) as the appropriate choice for AAS. However, there are several qualifications to this recommendation. The FAA must use a modified software development approach to take advantage of what Ada has to offer. In addition, risk reduction activities must be carried out to address the risks associated with Ada. These qualifications, and others, are documented in this report. Keywords: air traffic control. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1987
Accession Number
ADA183665

Entities

People

  • Barry W. Boehm
  • Dale Gaumer
  • Judith A. Clapp
  • Maretta Holden
  • Victor Basili

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Air Force
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Debugging
  • Engineering
  • High Level Languages
  • Management Personnel
  • Object Code
  • Operating Systems
  • Personnel Management
  • Procurement
  • Programming Languages
  • Software Design
  • Software Development

Fields of Study

  • Engineering

Readers

  • Aviation Safety and Air Traffic Management
  • Software Engineering.
  • Software Verification and Validation.