Evaluation of a multiple criticality real-time virtual machine system and configuration of an RTOS's resources allocation techniques

Abstract : In the domain of server and mainframe systems, virtualizing a computing system's physical resources to achieve improved sharing and utilization has been well established for decades. Full virtualization of all system resources makes it possible to run multiple guest operating systems on a single physical platform. Recently, the availability of full virtualization on physical platforms that target embedded systems creates new use-cases in the domain of real-time embedded systems. In this dissertation we use an existing “virtual machines monitor” to evaluate the performance of a real-time operating system. We observed that the virtual machine monitor affects the internal overheads and latencies of the guest OS. Our analysis revealed that the hardware mechanisms that allow a virtual machine monitor to provide an efficient way to virtualize the processor, the memory management unit, and the input/output devices, are necessary to limit the overhead of the virtualization. More importantly, the scheduling of virtual machines by the VMM is essential to guarantee the temporal constraints of the system and have to be configured carefully. In a second work and starting from a previous project aiming at allowing a system designer to explore a software-hardware codesign of a solution using high-level simulation models, we proposed a methodology that allows the transformation of a simulation model into a binary executable on a physical platform. The idea is to provide the system designer with the necessary tools to rapidly explore the design space and validate it, and then to generate a configuration that could be used directly on top of a physical platform. We used a model-driven engineering approach to perform a model-to-model transformation to convert the simulation model into an executable model. And we used a middleware able to support a variety of the resources allocation techniques in order to implement the configuration previously selected by the system designer at simulation phase. We proposed a prototype that implements our methodology and validate our concepts. The results of the experiments confirmed the viability of this approach.
Liste complète des métadonnées

Cited literature [81 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01127450
Contributor : Abes Star <>
Submitted on : Saturday, March 7, 2015 - 2:39:07 AM
Last modification on : Friday, November 16, 2018 - 1:28:25 AM
Document(s) archivé(s) le : Monday, June 8, 2015 - 2:46:19 PM

File

2014ISAR0014.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01127450, version 1

Citation

Mohamed El Mehdi Aichouch. Evaluation of a multiple criticality real-time virtual machine system and configuration of an RTOS's resources allocation techniques. Electronics. INSA de Rennes, 2014. English. ⟨NNT : 2014ISAR0014⟩. ⟨tel-01127450⟩

Share

Metrics

Record views

441

Files downloads

1053