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.
- ARM12. ISO/IEC 8652:2012(E): Information Technology | Programming Languages | Ada, 2012.Google Scholar
- J. Garrido, J. Zamorano, J. A. de la Puente, A. Alonso, and E. Salazar. Ada, the programming language of choice for the UPMSat-2 satellite. In Data Systems in Aerospace | DASIA 2015. Eurospace, 2015.Google Scholar
- P. Rogers, J. Ruiz, and T. Gingold. Toward extensions to the Ravenscar profile. Ada Letters, 35(1):32--37, April 2015. Google Scholar
Digital Library
Recommendations
Toward Extensions to the Ravenscar Profile
We describe an on-going effort to identify a set of enhancements to the Ravenscar profile, intended primarily for applications in the real-time systems domain, but perhaps also applicable to the other domains supported by Ravenscar as currently defined. ...
Implementation of mode changes with the Ravenscar profile
IRTAW '00: Proceedings of the 10th international workshop on Real-time Ada workshopThe use of concurrency in the development of safety-critical systems has not been recommended for a long time. Recently, a safe Ada tasking subset has been defined, known as the Ravenscar Profile. The imposed restrictions invalidated most of the ...
The Ravenscar Tasking Profile—experience reporting
The Ravenscar Profile was defined at the 18th International Real-Time Ada Workshop as a simple subset of the tasking features of Ada, in order to support efficient, high integrity applications that need to be analysed for their timing properties. Ada ...






Comments