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
|
|
Revisores
|
Si |
ISBN o ISSN
|
|
DOI
|
DOI 10.1145/2870544.2870550 |
Fecha inicio congreso
|
|
Fecha fin congreso
|
|
Desde la página
|
38 |
Hasta la página
|
45 |
Título de las actas
|
ACM SIGAda Ada Letters, Volume 35 Issue 1, April 2015 |