Research Lines

Infrastructures for embedded systems

Research line encompassed within the area of

The topics covered in this line of research are:

The design and construction of embedded systems requires the appropriate execution supports for the objectives of the application.
This line covers aspects related to hardware virtualization to offer safe and reliable execution environments on which to build complex systems with applications with different levels of criticality.
The use of hypervisors, execution support systems and real-time and general-purpose operating systems for embedded systems are the object of study, analysis and adaptation to specific hardware in this line of work.