Ada real-time services and virtualization

Zamorano Flores, Juan Rafael and Esquinas Fernández, Ángel and 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.

Description

Title: Ada real-time services and virtualization
Author/s:
  • Zamorano Flores, Juan Rafael
  • Esquinas Fernández, Ángel
  • Puente Alfaro, Juan Antonio de la
Item Type: Article
Título de Revista/Publicación: Ada Letters
Date: April 2013
ISSN: 1094-3641
Volume: 33
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Arquitectura y Tecnología de Sistemas Informáticos
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (145kB) | Preview

Abstract

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.

More information

Item ID: 25907
DC Identifier: http://oa.upm.es/25907/
OAI Identifier: oai:oa.upm.es:25907
DOI: 10.1145/2492312.2492325
Official URL: http://dl.acm.org/citation.cfm?id=2492325
Deposited by: Memoria Investigacion
Deposited on: 19 May 2014 09:10
Last Modified: 10 Nov 2017 14:41
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM