Accession Number:

ADP003522

Title:

JOVIAL Language Control Procedures with a View Toward Ada (Trademark),

Descriptive Note:

Corporate Author:

AERONAUTICAL SYSTEMS DIV WRIGHT-PATTERSON AFB OH

Personal Author(s):

Report Date:

1982-11-01

Pagination or Media Count:

15.0

Abstract:

JOVIAL is the interim standard language for Air Force avionics embedded computer until Ada becomes available. The JOVIAL Language Control Facility LCF has developed and fine-tuned the procedures of language control and defined them using a formal modeling technique. The resulting models promote tight administration of the control function by exposing the details of all tasks and forcing attention to their interrelationships. They also provide a basis for reconfiguring proven Air Force language control functions for Ada, and the LCF has identified some important considerations in accomplishing this. The Air Forces transition to Ada has a high probability of success because of their experience with JOVIAL, their systematic evolution and fine-tuning of language control procedures, and the extensibility of these procedures to encompass Ada. Author

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE