Memorias de investigación
Artículos en revistas:
Experience in programming device drivers with the Ravenscar profile
Año:2010
Áreas de investigación
  • Tecnología electrónica y de las comunicaciones
Datos
Descripción
The Ravenscar profile defines a subset of Ada tasking that can be statically analysable for real-time properties. The implications of the Ravenscar profile and other commonly used high-integrity restrictions for developing device drivers are analysed in the paper, and some guidelines are provided based on the analysis. The technical content of the paper is based on the authors' experience in developing communication drivers for the Open Ravenscar realtime Kernel (ORK) that are well suited for space onboard applications. A reference architecture for device drivers is proposed, and two instances of drivers based on it are described.
Internacional
Si
JCR del ISI
No
Título de la revista
Ada User Journal
ISSN
1381-6551
Factor de impacto JCR
0
Información de impacto
Volumen
31
DOI
Número de revista
2
Desde la página
123
Hasta la página
130
Mes
JUNIO
Ranking
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: Ingeniería de Sistemas Telemáticos