skip to main content
research-article

Ada real-time services and virtualization

Published:11 June 2013Publication History
Skip Abstract Section

Abstract

Virtualization techniques have received increased attention in the field of embedded real-time systems. Such techniques provide a set of virtual machines that run on a single hardware platform, thus allowing several application programs to be executed as though they were running on separate machines, with isolated memory spaces and a fraction of the real processor time available to each of them.

This papers deals with some problems that arise when implementing real-time systems written in Ada on a virtual machine. The effects of virtualization on the performance of the Ada real-time services are analysed, and requirements for the virtualization layer are derived. Virtual-machine time services are also defined in order to properly support Ada real-time applications. The implementation of the ORK+ kernel on the XtratuM supervisor is used as an example.

References

  1. L. Almeida and P. Pedreiras. Scheduling within temporal partitions: response-time analysis and server design. In EMSOFT '04: Proceedings of the 4th ACM international conference on Embedded software, pages 95--103, New York, NY, USA, 2004. ACM Press. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. ISO/IEC 8652:1995:AMD2(2007): Information Technology --- Programming Languages --- Ada --- Amendment 2, draft 11, 2011. Available on http://www.ada-auth.org/amendment2.html.Google ScholarGoogle Scholar
  3. ARINC. Avionics Application Software Standard Interface --- ARINC Specification 653-1, October 2003.Google ScholarGoogle Scholar
  4. ISO/IEC 8652:1995(E)/TC1(2000)/AMD1(2007): Information Technology --- Programming Languages --- Ada.Google ScholarGoogle Scholar
  5. P. Balbastre, I. Ripoll, and A. Crespo. Exact response time analysis of hierarchical fixed-priority scheduling. In 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications --- RTCSA 2009, pages 315--320, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the art of virtualization. SIGOPS Oper. Syst. Rev., 37:164--177, October 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. A. Crespo, I. Ripoll, and M. Masmano. Partitioned embedded architecture based on hypervisor: The XtratuM approach. In Dependable Computing Conference (EDCC), 2010 European, pages 67--72, april 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. R. Davis and A. Burns. Hierarchical fixed priority preemptive scheduling. In Proceedings of the 26th IEEE International Real-Time Systems Symposium --- RTSS 2005, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. A. Esquinas, J. Zamorano, J. A. de la Puente, M. Masmano, I. Ripoll, and A. Crespo. ORK+/XtratuM: An open partitioning platform for Ada. In A. Romanovsky and T. Vardanega, editors, Reliable Software Technologies --- Ada-Europe 2011, number 6652 in LNCS, pages 160--173. Springer-Verlag, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Gaisler Research. LEON2 Processor User's Manual, 2005.Google ScholarGoogle Scholar
  11. M. Masmano, I. Ripoll, A. Crespo, and J.-J. Metge. XtratuM: a hypervisor for safety critical embedded systems. In 11th Real-Time Linux Workshop, Dresden. Germany., 2009.Google ScholarGoogle Scholar
  12. J. A. Pulido, S. Urueña, J. Zamorano, T. Vardanega, and J. A. de la Puente. Hierarchical scheduling with Ada 2005. In L. M. Pinho and M. González-Harbour, editors, Reliable Software Technologies --- Ada-Europe 2006, volume 4006 of LNCS. Springer Berlin/Heidelberg, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. M. Rosenblum and T. Garfinkel. Virtual machine monitors: current technology and future trends. Computer, 38(5):39--47, may 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. S. Urueña, J. A. Pulido, J. Redondo, and J. Zamorano. Implementing the new Ada 2005 real-time features on a bare board kernel. Ada Letters, XXVII(2):61--66, August 2007. Proceedings of the 13th International Real- Time Ada Workshop (IRTAW 2007). Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Ada real-time services and virtualization

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in

        Full Access

        • Published in

          cover image ACM SIGAda Ada Letters
          ACM SIGAda Ada Letters  Volume 33, Issue 1
          April 2013
          171 pages
          ISSN:1094-3641
          DOI:10.1145/2492312
          Issue’s Table of Contents

          Copyright © 2013 Authors

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 11 June 2013

          Check for updates

          Qualifiers

          • research-article
        • Article Metrics

          • Downloads (Last 12 months)5
          • Downloads (Last 6 weeks)0

          Other Metrics

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader
        About Cookies On This Site

        We use cookies to ensure that we give you the best experience on our website.

        Learn more

        Got it!