Memorias de investigación
Ponencias en congresos:
ARINC-653 Inter-partition Communications and the Ravenscar Profile
Año:2015
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
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.
Internacional
Si
Nombre congreso
17th International Ada Real-Time Workshop IRATW 17
Tipo de participación
960
Lugar del congreso
University of York, Bennington Vermont 05201, USA
Revisores
Si
ISBN o ISSN
1094-3641
DOI
DOI 10.1145/2870544.2870550
Fecha inicio congreso
20/04/2015
Fecha fin congreso
22/04/2015
Desde la página
38
Hasta la página
45
Título de las actas
ACM SIGAda Ada Letters, Volume 35 Issue 1
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: Arquitectura y Tecnología de Sistemas Informáticos
  • Departamento: Ingeniería de Sistemas Telemáticos