Predictable real-time avionics design using Ada tasks and Rendezvous study

  • Authors:
  • C. D. Locke;D. R. Vogel;T. J. Mesler

  • Affiliations:
  • -;-;-

  • Venue:
  • IRTAW '90 Proceedings of the fourth international workshop on Real-time Ada issues
  • Year:
  • 1990

Quantified Score

Hi-index 0.05

Visualization

Abstract

As a part of the Software Engineering Institute's Real-Time Software in Ada project, personnel from IBM, the Naval Weapons Center, and SEI carried out an effort to construct a realistic hard real-time avionics application using Ada, including Ada tasking and rendezvous. In this joint study, an important goal was to determine how to use the Ada language as it was designed to be used in a hard real-time system, rather than continuing the current practice of avoiding the very constructs Ada's designers created to meet real-time requirements. In this paper, we present the avionics problem considered, as well as a high-level overview of an Ada solution to the problem which uses Ada tasking and rendezvous, resulting in a solution fully capable of predictably meeting its time constraints.