Accession Number : ADP003522

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


Personal Author(s) : Knoop,P. A. ; Evans,B. R.

Report Date : NOV 1982

Pagination or Media Count : 15

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 Force's 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)

Descriptors :   *High level languages, *Control, AVionics, Embedding, Standardization, Air Force

Distribution Statement : APPROVED FOR PUBLIC RELEASE