Propostas Submetidas

DEI - FCTUC
Gerado a 2025-03-09 22:28:20 (Europe/Lisbon).
Voltar

Titulo Estágio

Evaluating Xen hypervisor for ARM automotive environments

Áreas de especialidade

Engenharia de Software

Comunicações, Serviços e Infraestruturas

Local do Estágio

CISUC

Enquadramento

Modern automotive systems extensively depend on software to implement a wide range of functionalities, from comfort to driver-assistance systems. This reliance on software has lead to an increase in the number of microprocessors within a vehicle, contributing to greater complexity, increased weight and higher cost. To address these challenges, automakers are exploring virtualization—consolidating multiple workloads onto shared hardware—as a cost and complexity reduction strategy.

The Xen hypervisor, a popular open-source and general-purpose hypervisor recognized for its usage in Amazon's AWS cloud, is undergoing a significant code refactoring effort. This initiative represents a shift in focus on the automotive segment and aims to improve its code quality and resiliency.

Objetivo

The objective of this proposal is to evaluate this improved Xen version using experimental techniques, such as fault injection and robustness testing. The focus of this study is the "dom0less" feature [1], which has been recently implemented to reduce the codebase (and hence the quantity of software bugs).

Plano de Trabalhos - Semestre 1

- T1 (M1-M3): Review of the state-of-the-art in the areas of dependability, automotive hypervisors, fault injection and robustness testing
- T2 (M4): Installing Xen in an ARM system (possibly using emulation)
- T3 (M5): Writing the intermediate report

Plano de Trabalhos - Semestre 2

- T4 (M6): Definition of workload applications (e.g., security, communication, checksum, etc.)
- T5 (M6-M7): Choice and installation of fault injection or robustness testing tool
- T6 (M8-M9): Conducting the experiments and analyzing results
- T7 (M10-M11): Writing the final report

Condições

The dissertation will take place in the research centre CISUC (SSE group).

Observações

[1] http://xenbits.xenproject.org/docs/4.12-testing/features/dom0less.html

Orientador

Frederico Cerveira
fmduarte@dei.uc.pt 📩