Skip to main content

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

  • Conference paper
Reliable Software Technologies – Ada Europe 2007 (Ada-Europe 2007)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4498))

Included in the following conference series:

  • 268 Accesses

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.

This work has been funded by AdaCore, the Comisión Interministerial de Ciencia y Tecnología of the Spanish Government under grant TIN2005-08665-C03-02 (THREAD project) and by the Commission of the European Communities under contract IST-004527 (ARTIST2 Network of Excellence).

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ada Reference Manual, ISO/IEC 8652:2007(E) Ed. 3.

    Google Scholar 

  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. MaRTE OS home page: http://marte.unican.es/

  4. IEEE Std 1003.1-2003. Information Technology -Portable Operating System Interface (POSIX). Institute of Electrical and electronic Engineers.

    Google Scholar 

  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. 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. 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. 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. 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)

    Chapter  Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Aldea Rivas, M., Ruiz, J.F. (2007). Implementation of New Ada 2005 Real-Time Services in MaRTE OS and GNAT. In: Abdennadher, N., Kordon, F. (eds) Reliable Software Technologies – Ada Europe 2007. Ada-Europe 2007. Lecture Notes in Computer Science, vol 4498. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73230-3_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-73230-3_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-73229-7

  • Online ISBN: 978-3-540-73230-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics