A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95

  • Javier Miranda
  • M. González Harbour
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2655)


In this paper we present a proposal to integrate the POSIX.1 execution-time clocks and execution-time timers into the Ada 95 language. This proposal defines a new package named Ada.CPU_Time and describes the modifications done to the GNAT front-end and run-time to support it. Additionally this proposal discusses some usage schemes of this new interface.


Scheduling Hard Real-Time Ada 95 Execution-Time GNAT 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aldea Rivas M. and González Harbour M. MaRTE OS: Minimal Real-Time Operating System for Embedded Applications Departamento de Electrónica y Computadores. Universidad de Cantabria. http://marte.unican.es/
  2. 2.
    Aldea Rivas M. and González Harbour M. MaRTE OS: An Ada Kernel for Real-Time Embedded Applications. Proceedings of the International Conference on Reliable Software Technologies, Ada-Europe-2001, Leuven, Belgium, Lecture Notes in Computer Science, LNCS 2043, May, 2001, ISBN:3-540-42123-8, pp. 305,316.Google Scholar
  3. 3.
    Aldea Rivas M. and González Harbour M. Extending Ada’s Real-Time Systems Annex with the POSIX Scheduling Services. IRTAW-2000, Las Navas, Avila, Spain.Google Scholar
  4. 4.
    Burns A. and Wellings A. Real-Time Systems and Programming Languages. 3rd edition. Addison-Wesley, 2001.Google Scholar
  5. 5.
    Comar, C., Gasperoni, F., and Schonberg, E. The GNAT Project: A GNU-Ada9X Compiler. Technical report. New York University. 1994.Google Scholar
  6. 6.
    González-Harbour M., Aldea Rivas M., Gutiérrez García J.J., Palencia Gutiérrez J.C. Implementing and using Execution-Time Clocks in Ada Hard Real-Time Applications. International Conference on Reliable Software Technologies, Ada-Europa’98, Uppsala, Sweden, in Lecture Notes in Computer Science No. 1411, June, 1998, ISBN:3-540-64563-5, pp. 91,101.Google Scholar
  7. 7.
    IEEE Std. 1003.1:2001, Information Technology — Portable Operating System Interface (POSIX).Google Scholar
  8. 8.
    IEEE Std. P1003.13-1998, Information Technology — Standarized Application Environment Profile — POSIX Realtime Application Support (AEP). The Institute of Electrical and Electronics Engineers.Google Scholar
  9. 9.
    Intermetrics, Inc. Ada 95 Language Reference Manual. Intermetrics, Inc., Cambridge, Mass., January, 1995.Google Scholar
  10. 10.
    J. Liu, K.J. Lin, W.K. Shih, A. Chang-Shi Yu, J.Y. Chung, and W. Zhao. Algorithms for Scheduling Imprecise Computations. IEEE Computer, pp. 56–68, May 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Javier Miranda
    • 1
  • M. González Harbour
    • 2
  1. 1.Applied Microelectronics Research InstituteUniv. Las Palmas de Gran CanariaLas Palmas de Gran CanariaSpain
  2. 2.Departamento de Electrónica y ComputadoresUniv. CantabriaSantanderSpain

Personalised recommendations