By Topic

An Ada runtime environment supporting the development of verifiable real-time software for embedded modular avionic systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
J. D. Preston ; Lockheed Fort Worth Co., TX, USA ; P. A. Little

The Ada programming language has been criticized for lacking essential runtime system capabilities which support the generation of verifiable, real-time multitasking software. Such a capability is critical to the development of application software for high performance embedded avionic systems. The Ada Real-Time Machine Interface (ARTMI) software component of the F-16 Modular Mission Computer (MMC) provides Ada runtime environment (RTE) extensions that support development of real-time multitasking application software. The extensions eliminate the problem of mutual deadlock and unbounded priority inversion at critical sections through use of the priority ceiling protocol. This allows application software to be designed with task prioritization schemes that permit application of Rate Monotonic Analysis techniques. In addition, the extensions support execution time modification of task priorities. Such a capability can be used to reallocate processing bandwidth to critical system functions as the demands of a mission change

Published in:

Digital Avionics Systems Conference, 1993. 12th DASC., AIAA/IEEE

Date of Conference:

25-28 Oct 1993