Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT

  • Mario Aldea Rivas
  • José F. Ruiz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4498)

Abstract

The paper presents the implementation of some of the new Ada 2005 real-time services (“Execution Time Clocks”, “Execution Time Timers”, “Tim ing Events” and “Dynamic Priorities for Protected Objects”) in the MaRTE OS/ GNAT run-time library for GNU/Linux. For each these new services we discuss different implementation alternatives and evaluate they performance. As a con sequence of the results obtained, our view is that the new services can be imple mented in an efficient way in a existing run-time system without requiring major changes. To illustrate the usefulness of the new Ada services, the implementa tion of a complex scheduling policy is described.

Keywords

Ada 2005 Real-Time Systems Compilers POSIX 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ada Reference Manual, ISO/IEC 8652:2007(E) Ed. 3. Google Scholar
  2. 2.
    Rivas, M.A., Harbour, M.G.: MaRTE OS: An Ada Kernel for Real-Time Embedded Applications. In: Strohmeier, A., Craeynest, D. (eds.) Reliable Software Technologies – Ada Europe 2001. LNCS, vol. 2043, Springer, Heidelberg (2001)Google Scholar
  3. 3.
    MaRTE OS home page: http://marte.unican.es/
  4. 4.
    IEEE Std 1003.1-2003. Information Technology -Portable Operating System Interface (POSIX). Institute of Electrical and electronic Engineers.Google Scholar
  5. 5.
    Alonso, A., López, R., de la Puente, J.A., Álvarez, B., Iborra, A.: Using Linux and Ada in the development of distributed computer control systems. In: IFAC Conference on New Technologies for Computer Control, NTCC’01, Hong-Kong (November 2001)Google Scholar
  6. 6.
    Liu, J.W., Lin, K.J., Shih, W.K., Chuang-Shi, A., Chung, J.Y., Zhao, W.: Algorithms for Scheduling Imprecise Computations, May 1991, vol. 24(5). IEEE Computer Society Press, Los Alamitos (1991)Google Scholar
  7. 7.
    Rivas, M.A., Harbour, M.G.: Evaluation of New POSIX Real-time Operating Systems Services for Small Embedded Platforms. In: ECRTS’03. Proceedings of 15th Euromicro Conference on Real-Time Systems, pp. 161–168. IEEE Computer Society Press, Los Alamitos (2003)Google Scholar
  8. 8.
    Abeni, L., Buttazzo, G.: Integrating Multimedia Applications in Hard Real-Time Systems. In: Proceedings of the IEEE Real-Time Systems Symposium, Madrid, Spain, December 1998, IEEE Computer Society Press, Los Alamitos (1998)Google Scholar
  9. 9.
    Real, J., Crespo, A.: Offsets for scheduling mode changes. In: Proceedings of the 13th Euromicro Conference on Real-Time Systems., Delft, The Netherlands, pp. 3–10. IEEE Computer Society Press, Los Alamitos (2001)CrossRefGoogle Scholar
  10. 10.
    Crespo, A., Betoret, P.B., Terrasa, S.: Complex Task Implementation in Ada. In: Strohmeier, A., Craeynest, D. (eds.) Reliable Software Technologies – Ada Europe 2001. LNCS, vol. 2043, pp. 167–178. Springer, Heidelberg (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Mario Aldea Rivas
    • 1
  • José F. Ruiz
    • 2
  1. 1.Departamento de Electrónica y Computadores, Universidad de Cantabria, 39005-SantanderSpain
  2. 2.AdaCore, 8 rue de Milan, 75009 ParisFrance

Personalised recommendations