ORK+/XtratuM: An Open Partitioning Platform for Ada

  • Ángel Esquinas
  • Juan Zamorano
  • Juan A. de la Puente
  • Miguel Masmano
  • Ismael Ripoll
  • Alfons Crespo
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6652)


The ARINC 653 standard defines an Integrated Modular Avionics (IMA) architecture for building complex systems consisting of several real-time applications with different levels of criticality running in the same hardware platform. Applications execute in partitions that are isolated from each other in the temporal and spatial (i.e. storage) domains. The standard defines an architecture and an applications program interface (API) for an operating system or application executive (APEX) supporting these concepts.

This paper describes an implementation of a partitioning platform for Ada based on a similar approach. The platform is built with two components: the XtratuM hypervisor, which supports multiple virtual machines on a single computer, and the Open Ravenscar Kernel (ORK+), a small, reliable real-time kernel supporting the Ada Ravenscar tasking profile. This combination provides an open-source platform that enables high-integrity Ada applications to share the same computer board with other, possibly less critical, applications.


Ada 2005 real-time systems high-integrity systems integrated modular avionics partitioned systems ORK Ravenscar profile 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Arberet, P., Metge, J.J., Gras, O., Crespo, A.: TSP-based generic payload on-board software. In: DASIA 2009, Data Systems in Aerospace, Istanbul (May 2009)Google Scholar
  2. 2.
    Arberet, P., Miro, J.: IMA for space: status and considerations. In: ERTS 2008, Embedded Real-Time Software, Toulouse France (Jannuary 2008)Google Scholar
  3. 3.
    ARINC: Avionics Application Software Standard Interface -— ARINC Specification 653-1 (October 2003)Google Scholar
  4. 4.
    Tucker Taft, S., Duff, R.A., Brukardt, R.L., Plödereder, E., Leroy, P.: Ada 2005 Reference Manual. LNCS, vol. 4348. Springer, Heidelberg (2006) ISBN 978-3-540-69335-2 Google Scholar
  5. 5.
    Balbastre, P., Ripoll, I., Crespo, A.: Exact response time analysis of hierarchical fixed-priority scheduling. In: Proceedings of 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (August 2009)Google Scholar
  6. 6.
    Davis, R., Burns, A.: Hierarchical fixed priority pre-emptive scheduling. In: Proceedingsof the 26th IEEE International Real-Time Systems Symposium — RTSS 2005 (2005)Google Scholar
  7. 7.
    Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Pratt, I., Warfield, A., Barham, P., Neugebauer, R.: Xen and the art of virtualization. In: Proceedings of the ACM Symposium on Operating Systems Principles (October 2003),
  8. 8.
    Gaisler Research: LEON2 Processor User’s Manual (2005)Google Scholar
  9. 9.
    Heiser, G., Leslie, B.: The OKL4 Microvisor: Convergence point of microkernels and hypervisors. In: Proceedings of the 1st Asia-PacificWorkshop on Systems, New Delhi, India, pp. 19–24 (August 2010)Google Scholar
  10. 10.
    Kaiser, R., Wagner, S.: Evolution of the PikeOS microkernel. In: MIKES 2007: First International Workshop on MicroKernels for Embedded Systems, Sydney, Australia (2007)Google Scholar
  11. 11.
    Liedtke, J.: On microkernel construction. In: Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP-15). Copper Mountain Resort, CO (December 1995),
  12. 12.
    Masmano, M., Ripoll, I., Crespo, A., Metge, J., Arberet, P.: Xtratum: An open source hypervisor for TSP embedded systems in aerospace. In: DASIA 2009, Data System in Aerospace, Istanbul (May 2009)Google Scholar
  13. 13.
    Mezzetti, E., Panunzio, M., Vardanega, T.: Preservation of timing properties with the ada ravenscar profile. In: Real, J., Vardanega, T. (eds.) Ada-Europe 2010. LNCS, vol. 6106, pp. 153–166. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  14. 14.
    Pulido, J.A., Urueña, S., Zamorano, J., Vardanega, T., de la Puente, J.A.: Hierarchical scheduling with ada 2005. In: Pinho, L.M., González Harbour, M. (eds.) Ada-Europe 2006. LNCS, vol. 4006, pp. 1–12. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  15. 15.
    Rushby, J.: Partitioning for safety and security: Requirements, mechanisms, and assurance. NASA Contractor Report CR-1999-209347, NASA Langley Research Center (June 1999), also to be issued by the FAAGoogle Scholar
  16. 16.
    SPARC International, Upper Saddle River, NJ, USA: The SPARC architecture manual: Version 8 (1992),
  17. 17.
    Steinberg, U., Kauer, B.: Nova: a microhypervisor-based secure virtualization architecture. In: EuroSys, pp. 209–222 (2010)Google Scholar
  18. 18.
    Urueña, S., Pulido, J.A., López, J., Zamorano, J., de la Puente, J.A.: A new approach to memory partitioning in on-board spacecraft software. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol. 5026, pp. 1–14. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  19. 19.
    Urueña, S., Pulido, J.A., Redondo, J., Zamorano, J.: Implementing the new Ada 2005 real-time features on a bare board kernel. Ada Letters XXVII(2), 61–66 (2007); Proceedings of the 13th International Real-Time Ada Workshop (IRTAW 2007) CrossRefGoogle Scholar
  20. 20.
    White paper: Virtualization overview (2006),

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Ángel Esquinas
    • 1
  • Juan Zamorano
    • 1
  • Juan A. de la Puente
    • 1
  • Miguel Masmano
    • 2
  • Ismael Ripoll
    • 2
  • Alfons Crespo
    • 2
  1. 1.Universidad Politécnica de Madrid (UPM)MadridSpain
  2. 2.Universidad Politécnica de Valencia (UPV)ValenciaSpain

Personalised recommendations