An Ada math library for real-time avionics

Authors:
Donald A. Celarier;Donald W. Sando
Affiliations:
Boeing Defense & Space Group, The Boeing Company;Boeing Defense & Space Group, The Boeing Company
Venue:
ACM SIGAda Ada Letters - Special issue on Ada numerics standardization and testing
Year:
1991

Citing 2
Cited 1

A Simple but Realistic Model of Floating-Point Computation

ACM Transactions on Mathematical Software (TOMS)
Computer Approximations

Computer Approximations

Ada for the control of degradation of service

ACM SIGAda Ada Letters

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes an ideal Ada math library for use in embedded, real-time avionics, and a library implementation based on this model for a "standard" military avionics processor. The special requirements and implementation considerations for avionics applications are discussed, and the design and specification of an Ada math library closely matching these stringent requirements is put forward. Evaluation procedures are briefly discussed, including new techniques for accuracy testing without requiring higher precision.