Experience in programming device drivers with the Ravenscar profile.

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.

Description

Title: Experience in programming device drivers with the Ravenscar profile.
Author/s:
Item Type: Article
Título de Revista/Publicación: Ada User Journal
Date: June 2010
ISSN: 1381-6551
Volume: 31
Subjects:
Freetext Keywords: Ada 2005, real-time systems, Ravenscar profile, device drivers, low-level programming.
Faculty: E.T.S.I. Telecomunicación (UPM)
Department: Ingeniería de Sistemas Telemáticos
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[thumbnail of INVE_MEM_2010_74810.pdf]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (334kB) | Preview

Abstract

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.

More information

Item ID: 6825
DC Identifier: https://oa.upm.es/6825/
OAI Identifier: oai:oa.upm.es:6825
Official URL: http://www.ada-europe.org/
Deposited by: Memoria Investigacion
Deposited on: 06 May 2011 09:08
Last Modified: 20 Apr 2016 15:58
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM