Full text
Preview |
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (334kB) | Preview |
Experience in programming device drivers with the Ravenscar profile.
Citation
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 |
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 |
