Experience in programming device drivers with the Ravenscar profile.

Lopez Trescastro, Jorge; Esquinas Fernández, Ángel; Zamorano Flores, Juan Rafael y Puente Alfaro, Juan Antonio de la (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:
  • Lopez Trescastro, Jorge
  • Esquinas Fernández, Ángel
  • Zamorano Flores, Juan Rafael
  • Puente Alfaro, Juan Antonio de la
Tipo de Documento: Artículo
Título de Revista/Publicación: Ada User Journal
Fecha: Junio 2010
Volumen: 31
Materias:
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 [hasta 2014]
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (334kB) | Vista Previa

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: http://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
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM