ARINC-653 Inter-partition communications and the ravenscar profile

Garrido Balaguer, Jorge; Zamorano Flores, Juan Rafael y Puente Alfaro, Juan Antonio de la (2015). ARINC-653 Inter-partition communications and the ravenscar profile. "Ada Letters", v. 35 (n. 1); pp. 38-45. ISSN 1094-3641. https://doi.org/10.1145/2870544.2870550.

Descripción

Título: ARINC-653 Inter-partition communications and the ravenscar profile
Autor/es:
  • Garrido Balaguer, Jorge
  • Zamorano Flores, Juan Rafael
  • Puente Alfaro, Juan Antonio de la
Tipo de Documento: Artículo
Título del Evento: ACM SIGAda Ada Letters, Volume 35 Issue 1, April 2015
Lugar del Evento: University of York, Bennington Vermont 05201, USA
Título de Revista/Publicación: Ada Letters
Fecha: 2015
Volumen: 35
Materias:
Escuela: E.T.S.I. Telecomunicación (UPM)
Departamento: Ingeniería Telemática y Electrónica
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 (284kB) | Vista Previa

Resumen

The ARINC-653 standard is often used to build mixed-criticality systems, using a partitioned architecture. Inter-partition communication is carried out by means of a message-passing mechanism based on ports. The standard includes an API for Ada, but the implementation semantics of operation ports is not fully defined. Furthermore, the API was defined for the Ada 95 standard, and therefore does not take into account the enhancements to the real-time features of the language that have been incorporated in the 2005 and 2013 standards, most notably the Ravenscar profile. This paper is aimed at clarifying the implementation of ARINC communication ports in Ada and the Ravenscar profile. ARINC communication ports are analysed, and their compatibility with the Ravenscar profile is assessed. A new API that can be used with the profile is defined, and a pilot implementation is introduced.

Más información

ID de Registro: 42418
Identificador DC: http://oa.upm.es/42418/
Identificador OAI: oai:oa.upm.es:42418
Identificador DOI: 10.1145/2870544.2870550
URL Oficial: http://dl.acm.org/citation.cfm?id=2870550
Depositado por: Memoria Investigacion
Depositado el: 18 Jul 2016 17:51
Ultima Modificación: 18 Jul 2016 17:51
  • 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