Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-core Embedded Systems

Abstract. Various methods have been developed in the Collaborative ResearchCenter 614 which can be used to improve the dependability of self-optimizing systems. These methods are presented in this chapter. They are sorted into two categories with regard to the development process of self-optimizing systems. On one hand, there are methods which can be applied during the Conceptual Design Phase. On the other hand, there are methods that are applicable during Design and Development.There are domain-spanning methods as well as methods that have been specifically developed for particular domains, e.g., software engineering or control engineering. The methods address different attributes of dependability, such as reliability, availability or safety.Each section is prefaced with a short overview of the classification of the described method regarding the corresponding domain(s), as well as its dependability attributes, to provide the reader with a brief outline of the methods' areas of application. Information about independently applicable methods or existing relationships and interactions with other methods or third-party literature is also provided.The development process for self-optimizing mechatronic systems which was introduced in Chap. 2 consists of two main phases: Conceptual Design and Design and Development. The main result of the Conceptual Design is the Principle Solution, which includes all information required for the concrete development during the second phase. Conceptual Design PhaseEven as early as during the specification of the Principle Solution, the dependability of self-optimizing mechatronic systems can be evaluated and improved by employing appropriate methods. The result is an improved Principle Solution, as such methods take the whole system into account before splitting it up into domain-specific tasks for the following development phase.

show abstract

“…Proteus [12,61] is a real-time hypervisor for multi-core PowerPC platforms. The software design (depicted in Fig.…”

Section: Resultsmentioning

confidence: 99%

Methods of Improving the Dependability of Self-optimizing Systems

Dorociak

Gausemeier

2014

Lecture Notes in Mechanical Engineering

View full text Add to dashboard Cite

show abstract

“…Comparing to full virtualization, para-virtualization handles these instruction faster. In [15] the average speedup of the paravirtualization technique, compared to full virtualization, is analyzed for the Proteus hypervisor. The emulation of the instructions has a direct effect on the WCET of a task in a real-time application of the guest OS.…”

Section: Discussionmentioning

confidence: 99%

“…The goal of this research is to schedule real-time VMs with full virtualization. In [15] the Proteus hypervisor is extended to a multi-core hypervisor. It supports full virtualization and para-virtualization.…”

Section: Real-time Hypervisorsmentioning

confidence: 99%

Hierarchical Real-Time Multi-core Scheduling through Virtualization: A Survey

Bock

Broeckhove

Hellinckx

2015

2015 10th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC)

View full text Add to dashboard Cite

In recent years mechatronic systems have evolved towards a new generation of cyber-physical systems. Technology has shifted from mechanical control systems towards electronic control systems, which introduces a fast growing complexity. The use of multi-core processors and virtualization techniques on embedded systems tackles this complexity by decoupling software from hardware. Virtualization introduces a hierarchical scheduling structure, where hard real-time behavior must be guaranteed within the level of guest operating system scheduler and at the level of the hypervisor scheduler.This paper gives the current state of the art of schedulability analysis methodologies for hierarchical scheduling techniques and its application in real-time hypervisors

show abstract

“…The migration functionality is added to the hypervisor Proteus, which we developed in previous work [7] (design depicted in Fig. 1).…”

Section: Software Architecturementioning

confidence: 99%

Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems

Groesbrink

2014

2014 IEEE Eighth International Conference on Software Security and Reliability-Companion

Self Cite

View full text Add to dashboard Cite

Virtualization's architectural abstraction and encapsulation of guest systems in virtual machines facilitate migration, but existing real-time virtualization solutions are characterized by a static mapping of virtual machines to processors. This work studies migration of virtual machines with realtime constraints on homogeneous multiprocessor architectures as a service restoration in response to hardware faults. The migration policy respects real-time requirements and minimizes and predicts deadline misses based on a preceding comparison of downtime caused by the migration and slack-based computation of the virtual machine's maximum affordable downtime. The distributed design is characterized by a communication between the paravirtualized operating system and the hypervisor in order to provide the required scheduling information. The overhead regarding memory footprint, execution times, and paravirtualization effort is analyzed. The evaluation identifies ranges for virtual machine size and timing characteristics for which the approach is feasible. A reliability analysis based on a combinatorial model is used to quantify the impact of migration on reliability.

show abstract

Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-core Embedded Systems

Cited by 19 publications

References 17 publications

Methods of Improving the Dependability of Self-optimizing Systems

Methods of Improving the Dependability of Self-optimizing Systems

Hierarchical Real-Time Multi-core Scheduling through Virtualization: A Survey

Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems

Contact Info

Product

Resources

About