skip to main content
research-article

On real-time partitioned multicore systems

Published:08 November 2013Publication History
Skip Abstract Section

Abstract

Partitioning is a common approach to developing mixed-criticality systems, where partitions are isolated from each other both in the temporal and the spatial domain in order to prevent low-criticality subsystems from compromising other subsystems with high level of criticality in case of misbehaviour. The advent of many-core processors, on the other hand, opens the way to highly parallel systems in which all partitions can be allocated to dedicated processor cores. This trend will simplify processor scheduling, although other issues such as mutual interference in the temporal domain may arise as a consequence of memory and device sharing. The paper describes an architecture for multi-core partitioned systems including critical subsystems built with the Ada Ravenscar profile. Some implementation issues are discussed, and experience on implementing the ORK kernel on the XtratuM partitioning hypervisor is presented.

References

  1. ARINC653. Avionics Application Software Standard Interface--ARINC Specification 653-1. ARINC, October 2003.Google ScholarGoogle Scholar
  2. ARM12. ISO/IEC 8652:2012(E): Information Technology -- Programming Languages -- Ada, 2012.Google ScholarGoogle Scholar
  3. S. Baruah and A. Burns. Implementing mixed criticality systems in Ada. In A. Romanovsky and T. Vardanega, editors, Reliable Software Technologies - Ada-Europe 2011, volume 6652 of Lecture Notes in Computer Science, pages 174--188. Springer Berlin Heidelberg, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. A. Burns and A.Wellings. Support for multiprocessor platforms. In 15th International Real-Time Ada Workshop (IRTAW 15), September 2011.Google ScholarGoogle Scholar
  5. A. Burns, B. Dobbing, and G. Romanski. The Ravenscar tasking profile for high integrity real-time programs. In L. Asplund, editor, Reliable Software Technologies -- Ada-Europe'98, volume 1411 of Lecture Notes in Computer Science, pages 263--275. Springer Berlin Heidelberg, 1998. ISBN 978-3-540-64536-8. doi: 10.1007/BFb0055011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. F. Chouteau and J. F. Ruiz. Design and implementation of a Ravenscar extension for multiprocessors. In A. Romanovsky and T. Vardanega, editors, Reliable Software Technologies -- Ada-Europe 2011, number 6652 in LNCS, pages 31--45. Springer-Verlag, 2011. 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. I. Davis and A. Burns. A survey of hard real-time scheduling algorithms and schedulability analysis techniques for multiprocessor systems. ACM Computing Surveys, 43(4), 2011. 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. A. Esquinas, J. Zamorano, J. A. la Puente, M. Masmano, and A. Crespo. Time and space partition platform for safe and secure flight software. In Data Systems in Aerospace--DASIA 2012, Dubrovnik, Croatia, 2012.Google ScholarGoogle Scholar
  11. European Comission. Mixed criticality systems, 2012.Google ScholarGoogle Scholar
  12. S. Lin, A. Wellings, and A. Burns. Supporting lock-based multiprocessor resource sharing protocols in real-time programming languages. Concurrency and Computation: Practice and Experience, 2012.Google ScholarGoogle Scholar
  13. E. Mezzetti, A. Betts, J. Ruiz, and T. Vardanega. Cache-aware development of high-integrity systems. In J. Real and T. Vardanega, editors, Reliable Software Technologiey --- Ada-Europe 2010, volume 6106 of Lecture Notes in Computer Science, pages 139--152. Springer Berlin / Heidelberg, 2010. ISBN 978-3-642-13549-1. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. M. Mollison, J. Erickson, J. Anderson, S. Baruah, and J. Scoredos. Mixed-criticality real-time scheduling for multicore systems. In Computer and Information Technology (CIT), 2010 IEEE 10th International Conference on, pages 1864--1871, July 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 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. ISBN 3-540-34663-5. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. M. Rosenblum and T. Garfinkel. Virtual machine monitors: current technology and future trends. Computer, 38(5):39--47, may 2005. ISSN 0018-9162. doi: 10.1109/MC.2005.176. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. J. F. Ruiz. Towards a ravenscar extension for multi-processor systems. Ada Letters, XXX(1):86--90, April 2010. 14th International Real-Time Ada Workshop (IRTAW 14). Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. J. F. Ruiz. Going real-time with Ada 2012 and GNAT. In 15th International Real-Time Ada Workshop (IRTAW 15), September 2011.Google ScholarGoogle Scholar
  19. S. Vestal. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In Real-Time Systems Symposium, 2007. RTSS 2007. 28th IEEE International, pages 239--243, December 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenström. The worstcase execution-time problem--overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst., 7(3):1--53, 2008. ISSN 1539-9087. doi: http://doi.acm.org/10.1145/1347375.1347389. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. J. Zamorano, Ángel Esquinas, and J. A. de la Puente. Ada real-time services and virtualization. In 15th International Real-Time Ada Workshop (IRTAW 15), September 2011.Google ScholarGoogle Scholar

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 2
    August 2013
    132 pages
    ISSN:1094-3641
    DOI:10.1145/2552999
    Issue’s Table of Contents

    Copyright © 2013 Authors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 8 November 2013

    Check for updates

    Qualifiers

    • research-article

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!