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.
- ARINC653. Avionics Application Software Standard Interface--ARINC Specification 653-1. ARINC, October 2003.Google Scholar
- ARM12. ISO/IEC 8652:2012(E): Information Technology -- Programming Languages -- Ada, 2012.Google Scholar
- 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 Scholar
Digital Library
- A. Burns and A.Wellings. Support for multiprocessor platforms. In 15th International Real-Time Ada Workshop (IRTAW 15), September 2011.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- European Comission. Mixed criticality systems, 2012.Google Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- J. F. Ruiz. Going real-time with Ada 2012 and GNAT. In 15th International Real-Time Ada Workshop (IRTAW 15), September 2011.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Recommendations
Resource-aware partitioned scheduling for heterogeneous multicore real-time systems
DAC '18: Proceedings of the 55th Annual Design Automation ConferenceHeterogeneous multicore processors have become popular computing engines for modern embedded real-time systems recently. However, there is rather limited research on the scheduling of real-time tasks running on heterogeneous multicore systems with ...
Real-Time Adaptive Background Modeling for Multicore Embedded Systems
Current trends in microprocessor design integrate several autonomous processing cores onto the same die. These multicore architectures are particularly well-suited for computer vision applications, where it is typical to perform the same set of ...
Real-Time Scheduling on Multicore Platforms
RTAS '06: Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications SymposiumMulticore architectures, which have multiple processing units on a single chip, are widely viewed as a way to achieve higher processor performance, given that thermal and power problems impose limits on the performance of single-core designs. ...






Comments