Titulo Estágio
Testing automotive hypervisors
Áreas de especialidade
Engenharia de Software
Local do Estágio
DEI
Enquadramento
Virtualization, i.e., the consolidation of multiple workloads over the same hardware, attracts automakers looking to reduce costs with hardware in their cars. Nowadays an ordinary car includes millions of lines of software code and requires hundreds of microprocessors (usually called ECUs) to execute this software. Having different ECUs makes it easier to ensure separation between different components of the car, such as the braking system and the radio, but it leads to highly-complex systems, costly hardware and heavy wiring for connecting different ECUs.
Despite the promised cost savings, virtualization is still rare in cars, but sooner or later that will change. One factor slowing down its adoption is the lack of trusted and validated hypervisors that OEMs can use.
Objetivo
This work has the objective of defining approaches and tools for testing an automotive hypervisor regarding its ability to maintain spatial and temporal isolation. In other words, we want to test if the hypervisor can ensure that two or more applications do not affect each other.
An experimental evaluation will be conducted using fuzzing/robustness testing techniques on at least a hypervisor that is used in the automotive field.
Plano de Trabalhos - Semestre 1
- T1 (M1-M3): Review of the state-of-the-art in the areas of dependability, automotive hypervisors, fuzzing and robustness testing
- T2 (M4): Choosing the environment that will be evaluated (including one or more hypervisors, workloads, techniques and tools)
- T3 (M5): Writing the intermediate report
Plano de Trabalhos - Semestre 2
- T4 (M6-M7): Preparation of the environment where tests will be carried
- T5 (M8-M9): Conducting experiments
- T6 (M10-M11): Writing the final report
Condições
The work will take place at the Centre for Informatics and Systems of the University of Coimbra (CISUC) in the Software and Systems Engineering Group at the Department of Informatics Engineering of the University of Coimbra.
Orientador
Frederico Manuel Duarte Cerveira
fmduarte@dei.uc.pt 📩