Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (334kB) | Vista Previa |
Experience in programming device drivers with the Ravenscar profile.
Cita
Lopez Trescastro, Jorge, Esquinas Fernández, Ángel, Zamorano Flores, Juan Rafael 
ORCID: https://orcid.org/0000-0002-6006-4335 and Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835
(2010).
Experience in programming device drivers with the Ravenscar profile..
"Ada User Journal", v. 31
(n. 2);
pp. 123-130.
ISSN 1381-6551.
ORCID: https://orcid.org/0000-0002-6006-4335 and Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835
(2010).
Experience in programming device drivers with the Ravenscar profile..
"Ada User Journal", v. 31
(n. 2);
pp. 123-130.
ISSN 1381-6551.
Descripción
| Título: | Experience in programming device drivers with the Ravenscar profile. |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Artículo |
| Título de Revista/Publicación: | Ada User Journal |
| Fecha: | Junio 2010 |
| ISSN: | 1381-6551 |
| Volumen: | 31 |
| Número: | 2 |
| Materias: | |
| ODS: | |
| Palabras Clave Informales: | Ada 2005, real-time systems, Ravenscar profile, device drivers, low-level programming. |
| Escuela: | E.T.S.I. Telecomunicación (UPM) |
| Departamento: | Ingeniería de Sistemas Telemáticos |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
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 real time 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.
Más información
| ID de Registro: | 6825 |
|---|---|
| Identificador DC: | https://oa.upm.es/6825/ |
| Identificador OAI: | oai:oa.upm.es:6825 |
| URL Oficial: | http://www.ada-europe.org/ |
| Depositado por: | Memoria Investigacion |
| Depositado el: | 06 May 2011 09:08 |
| Ultima Modificación: | 20 Abr 2016 15:58 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
