Memorias de investigación
Artículos en revistas:
Ada Real-Time Services and Virtualization.
Año:2013
Áreas de investigación
  • Tecnología electrónica y de las comunicaciones,
  • Ciencias de la computación y tecnología informática
Datos
Descripción
Virtualization techniques have received increased attention in the field of embedded real-time systems. Such techniques provide a set of virtual machines that run on a single hardware platform, thus allowing several application programs to be executed as though they were running on separate machines, with isolated memory spaces and a fraction of the real processor time available to each of them.This papers deals with some problems that arise when implementing real-time systems written in Ada on a virtual machine. The effects of virtualization on the performance of the Ada real-time services are analysed, and requirements for the virtualization layer are derived. Virtual-machine time services are also defined in order to properly support Ada real-time applications. The implementation of the ORK+ kernel on the XtratuM supervisor is used as an example.
Internacional
No
JCR del ISI
No
Título de la revista
ACM SIGAda Ada Letters
ISSN
1094-3641
Factor de impacto JCR
Información de impacto
Volumen
33
DOI
10.1145/2492312.2492325
Número de revista
1
Desde la página
128
Hasta la página
133
Mes
ABRIL
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Sistemas de tiempo real y arquitectura de servicios telemáticos
  • Departamento: Ingeniería de Sistemas Telemáticos
  • Departamento: Arquitectura y Tecnología de Sistemas Informáticos