In support of extending the Ravenscar profile

Garrido Balaguer, Jorge and Lacruz Alcaraz, Beatriz and Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la (2016). In support of extending the Ravenscar profile. "Ada Letters", v. 36 (n. 1); pp. 63-67. ISSN 1094-3641. https://doi.org/10.1145/2971571.2971579.

Description

Title: In support of extending the Ravenscar profile
Author/s:
  • Garrido Balaguer, Jorge
  • Lacruz Alcaraz, Beatriz
  • Zamorano Flores, Juan Rafael
  • Puente Alfaro, Juan Antonio de la
Item Type: Article
Título de Revista/Publicación: Ada Letters
Date: 2016
Volume: 36
Subjects:
Faculty: E.T.S.I. Telecomunicación (UPM)
Department: Ingeniería de Sistemas Telemáticos [hasta 2014]
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (148kB) | Preview

Abstract

This paper discusses different approaches for implementing an EEPROM memory driver which is part of the UPMSat2 satellite on-board computer software. The Ravenscar profile restrictions are to be observed in order to ensure the analysability of the system, and therefore the approaches are evaluated against the profile. Results of this evaluation as well as considerations on a possible extension of the Ravenscar profile with respect protected entries are presented.

More information

Item ID: 46044
DC Identifier: http://oa.upm.es/46044/
OAI Identifier: oai:oa.upm.es:46044
DOI: 10.1145/2971571.2971579
Official URL: https://dl.acm.org/citation.cfm?id=2971579
Deposited by: Memoria Investigacion
Deposited on: 14 Nov 2017 17:03
Last Modified: 14 Nov 2017 17:03
  • 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