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