Building real-time imprecise computations in Ada

  • Authors:
  • Gary J. Gregory;Kwei-Jay Lin

  • Affiliations:
  • Department of Computer Science, US Air Force Academy, USAFA, CO;Department of Computer Science, University of Illinois, Urbana, IL

  • Venue:
  • TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract

The model of imprecise computation is an effective way to structure programs that must always meet deadlines in real-time systems. Under severe time constraints, an imprecise computation may return an imprecise, though correct value. In this way, timing faults can be avoided. In this paper, we describe two implementations of an imprecise computation package in Ada. We have also studied their performance differences under different system and programming environments. Finally, we present our experience in implementing real-time applications using Ada.