Advancing Ada 9X solutions in real time avionics computers

Authors:
V. Blázquez;A. Correa;J. L. Freniche
Affiliations:
Projects & Systems Engineering Division, Airborne SW /SW Technology Dpt., CASA 28906 Getafe, Madrid (Spain);Projects & Systems Engineering Division, Airborne SW /SW Technology Dpt., CASA 28906 Getafe, Madrid (Spain);Projects & Systems Engineering Division, Airborne SW /SW Technology Dpt., CASA 28906 Getafe, Madrid (Spain)
Venue:
ACM SIGAda Ada Letters
Year:
1994

Citing 7
Cited 0

The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks

IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Real-Time Scheduling Theory and Ada

Computer
MC68020 32-BIT microprocessor user's manual

MC68020 32-BIT microprocessor user's manual
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
Reference Manual for the ADA Programming Language

Reference Manual for the ADA Programming Language
Software Engineering Economics

Software Engineering Economics
Task synchronization in real-time systems

Task synchronization in real-time systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

A real case of priority inversion in Avionics Computers is described, as well as the experiences in the decisions, implementation and testing of the Basic Priority Inheritance Protocol in an Ada 83 Run Time System. The increased overhead of this protocol is less than 1%, which makes it tolerable for Real Time Avionics Computers using Ada tasking. Ada 9X offerings in this field are also analysed and the conclusion is reached that the case described here should be revised in the new Ada.