Ada real-time services and virtualization

Zamorano Flores, Juan Rafael; Esquinas Fernández, Ángel y Puente Alfaro, Juan Antonio de la (2013). Ada real-time services and virtualization. "Ada Letters", v. 33 (n. 1); pp. 128-133. ISSN 1094-3641. https://doi.org/10.1145/2492312.2492325.

Descripción

Título: Ada real-time services and virtualization
Autor/es:
  • Zamorano Flores, Juan Rafael
  • Esquinas Fernández, Ángel
  • Puente Alfaro, Juan Antonio de la
Tipo de Documento: Artículo
Título de Revista/Publicación: Ada Letters
Fecha: Abril 2013
Volumen: 33
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Arquitectura y Tecnología de Sistemas Informáticos
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (145kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 25907
Identificador DC: http://oa.upm.es/25907/
Identificador OAI: oai:oa.upm.es:25907
Identificador DOI: 10.1145/2492312.2492325
URL Oficial: http://dl.acm.org/citation.cfm?id=2492325
Depositado por: Memoria Investigacion
Depositado el: 19 May 2014 09:10
Ultima Modificación: 10 Nov 2017 14:41
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM