A New Configurable and Parallel Embedded Real-time Micro-Kernel for Multi-core platforms

Abstract—One of the main on-going initiatives of the PARTS Research Center together with HIPPEROS S.A. is the creation of a new Real-Time Operating Systems family called HIPPEROS. This paper focuses on the design and the implementation of its new real-time multi-core micro-kernel. It aims to address the challenge of efficient management of computing resources for competing real-time workloads on modern MPSoC platforms while maintaining the level of assurance and reliability of existing production systems. The objective of this paper is to present an overview of its inner architecture. I