skip to main content
column

In support of extending the Ravenscar profile

Published:13 July 2016Publication History
Skip Abstract Section

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.

References

  1. ARM12. ISO/IEC 8652:2012(E): Information Technology | Programming Languages | Ada, 2012.Google ScholarGoogle Scholar
  2. 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 ScholarGoogle Scholar
  3. P. Rogers, J. Ruiz, and T. Gingold. Toward extensions to the Ravenscar profile. Ada Letters, 35(1):32--37, April 2015. Google ScholarGoogle ScholarDigital LibraryDigital Library

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM SIGAda Ada Letters
    ACM SIGAda Ada Letters  Volume 36, Issue 1
    June 2016
    98 pages
    ISSN:1094-3641
    DOI:10.1145/2971571
    Issue’s Table of Contents

    Copyright © 2016 Authors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 13 July 2016

    Check for updates

    Qualifiers

    • column

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!