ARINC-653 Inter-partition communications and the ravenscar profile

Garrido Balaguer, Jorge and Zamorano Flores, Juan Rafael and 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.

Description

Title: ARINC-653 Inter-partition communications and the ravenscar profile
Author/s:
  • Garrido Balaguer, Jorge
  • Zamorano Flores, Juan Rafael
  • Puente Alfaro, Juan Antonio de la
Item Type: Article
Event Title: ACM SIGAda Ada Letters, Volume 35 Issue 1, April 2015
Event Location: University of York, Bennington Vermont 05201, USA
Título de Revista/Publicación: Ada Letters
Date: 2015
ISSN: 1094-3641
Volume: 35
Subjects:
Faculty: E.T.S.I. Telecomunicación (UPM)
Department: Ingeniería de Sistemas Telemáticos [hasta 2014]
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 (284kB) | Preview

Abstract

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.

More information

Item ID: 42418
DC Identifier: http://oa.upm.es/42418/
OAI Identifier: oai:oa.upm.es:42418
DOI: 10.1145/2870544.2870550
Official URL: http://dl.acm.org/citation.cfm?id=2870550
Deposited by: Memoria Investigacion
Deposited on: 18 Jul 2016 17:51
Last Modified: 06 Apr 2019 09:55
  • 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