In support of extending the Ravenscar profile
- Garrido Balaguer, Jorge
- Lacruz Alcaraz, Beatriz
- Zamorano Flores, Juan Rafael
- Puente Alfaro, Juan Antonio de la
Publication date
January 2016
DOI Publisher
Association for Computing Machinery (ACM) ISSN
1094-3641 Citation count (estimate)
1Abstract
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
Add to ORKG