Skip to main content

Evaluation of a SPARC board equipped with the Ada Tasking Coprocessor (ATAC)

  • Conference paper
  • First Online:
Ada in Europe (Ada-Europe 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1031))

Included in the following conference series:

Abstract

To cope with computing overheads introduced by a multithread environment, an appealing approach consists in shifting a good deal of the run time system functionalities at hardware level by means of a tasking coprocessor managing real-time capabilities of software applications as mathematical coprocessors manage operations for number crunching programs. Such component is available on the market, the RTech Ada Tasking Coprocessor (ATAC), and LABEN is involved in assessing the resulting performance of a SPARC/ATAC platform running an Ada software application designed for future spacecraft missions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. MIL-STD-1815A Reference Manual for the Ada Programming Language.

    Google Scholar 

  2. F. Battini, L. Marradi, Verification, Validation and Testing for Autonomous Spacecraft Systems, Proc. of Electrical Ground Support Equipment Workshop, ESTEC, Noordwijk, October 1992.

    Google Scholar 

  3. Terraillon J.L., The ATAC answer to Ada Constraint, 2.0, Proc. of On Board Data Management symposium, Rome 1994

    Google Scholar 

  4. G. Booch, Software Engineering with Ada, Benjamin Cummings, 1987.

    Google Scholar 

  5. A. Burns, A. Wellings, Real-Time Systems and Their Programming Languages, Addison-Wesley Publishing Co.

    Google Scholar 

  6. A. Burns, A. Wellings, Bridging the Real-Time Gap between Ada83 and Ada9X, Ada YearBook 1993, IOS Press.

    Google Scholar 

  7. D.Cornhill, L.Sha, Priority Inversion in Ada, or What Should be the Priority of an Ada Server Task ?,November 1987.

    Google Scholar 

  8. Benchmarking of Compilers and processors for Space Embedded real Time Systems, ESA STR-233-April 1991

    Google Scholar 

  9. L. Marradi, F. Ciceri, D. Masotti, The Use of Ada and Object Oriented Design in the Development of an Autonomous Spacecraft Data Management System, Ada in Aerospace, 1992.

    Google Scholar 

  10. J. Roos, The Performance of a Prototype Coprocessor for Ada Tasking, TRI-Ada90, December 1990.

    Google Scholar 

  11. ATAC 2.0 — Final Compiler Adaptation Guide R-Tech AB October 1992.

    Google Scholar 

  12. ATAC 2.0 Data Sheet, R-Tech, vers 0.99, AB March 93.

    Google Scholar 

  13. Ada Mechanism Performance, R-Tech, Draft Issue 1.0, March 1993

    Google Scholar 

  14. L.Sha, R. Rajkumar, J.P.Lehoczky, Priority Inheritance Protocols: An Approach to Real-Time Synchronization, IEEE Trans. on Computers, 39(9), September 1990.

    Google Scholar 

  15. T. Tempelmeier, Performance Analysis of a Microprogrammed Real-Time Operating System with an Interrupt and Abort Discipline, Microprocessor and Microprogramming, North-Holland, 19(1987), pp.233–251.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Marcel Toussaint

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Battini, F., Mantovani, P.L., Mattavelli, M. (1996). Evaluation of a SPARC board equipped with the Ada Tasking Coprocessor (ATAC). In: Toussaint, M. (eds) Ada in Europe. Ada-Europe 1995. Lecture Notes in Computer Science, vol 1031. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015509

Download citation

  • DOI: https://doi.org/10.1007/BFb0015509

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60757-1

  • Online ISBN: 978-3-540-49362-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics