Abstract

In embedded real-time virtualized systems, the ARINC 653 standard specifies a cyclic scheduling policy to guarantee the real-time performance of tasks in multiple Virtual Machines (VMs) residing on a shared hardware. Based on this cyclic scheduling policy, the Regularity-based Resource Partitioning (RRP) model defines an efficient resource interface to hierarchically partition and assign resource slices among VMs. Although the RRP model has received plenty of attention recently, three major pieces remain missing for applying this model in embedded real-time virtualized systems. (1) Embedded systems are more sensitive to resource utilization efficiency since this may drastically affect their deployment cost. Therefore, this paper proposes an optimal and an approximate RRP resource scheduler for multi-core platforms. (2) A resource reconfiguration is required when an embedded system has to switch between operational modes. During a mode switch, the current cyclic schedule is replaced by another pre-configured and verified cyclic schedule. This paper formalizes a new One-Hop Reconfiguration (OHR) problem tailored for mode-switch-capable embedded systems and introduces a corresponding optimal solution. (3) No RRP-based toolset is currently available for embedded systems. This paper thus presents an optimized RRP toolset tailored for embedded systems. Numerous experiments are conducted to evaluate the efficacy of this toolset.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.