An Ada math library for real-time avionics-Reference-Cited by-同舟云学术

An Ada math library for real-time avionics

Published:1991-09-02 Issue:7 Volume:XI Page:274-284
ISSN:1094-3641
Container-title:ACM SIGAda Ada Letters
language:en
Short-container-title:Ada Lett.

Author:

Celarier Donald A.¹,Sando Donald W.¹

Affiliation:

1. Boeing Defense & Space Group, The Boeing Company

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.

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/123533.123578

Reference7 articles.

1. A Simple but Realistic Model of Floating-Point Computation

2. [ 2 ] J. F. Hart E. W. Cheney C. L. Lawson H. J. Maehly C. K. Mesztenyi J. R. Rice H. G. Thacher Jr. C. Witzgall. Computer Approximations. John Wiley & Sons Inc. New York 1968. [2] J. F. Hart E. W. Cheney C. L. Lawson H. J. Maehly C. K. Mesztenyi J. R. Rice H. G. Thacher Jr. C. Witzgall. Computer Approximations . John Wiley & Sons Inc. New York 1968.

3. [ 4 ] ISO-IEC/JTC1/SC22/WG9 (Ada) Numerics Rapporteur Group. Proposed Standard for a Generic Package of Elementary Functions for Ada December 1990. Draft 1.2. [4] ISO-IEC/JTC1/SC22/WG9 (Ada) Numerics Rapporteur Group. Proposed Standard for a Generic Package of Elementary Functions for Ada December 1990. Draft 1.2.

4. [ 5 ] ISO-IEC/JTC1/SC22/WG9 (Ada) Numerics Rapporteur Group. Proposed Standard for a Generic Package of Primitive Functions for Ada December 1990. Draft 1.0. [5] ISO-IEC/JTC1/SC22/WG9 (Ada) Numerics Rapporteur Group. Proposed Standard for a Generic Package of Primitive Functions for Ada December 1990. Draft 1.0.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Ada for the control of degradation of service;ACM SIGAda Ada Letters;2009-09-25