skip to main content
research-article

Hardware-Based Data Protection/Isolation at Runtime in Ada Code for Microcontrollers

Published:13 June 2018Publication History
Skip Abstract Section

Abstract

This article describes an approach for using a memory protection unit (MPU) to enforce data protection/isolation at runtime, for individual data structures and memorymapped peripherals, in Ada bare-metal embedded software for microcontrollers. First, an MPU-based data protection architecture for Ada programs is described. Then, the changes required for the GNAT small-foot-print Ravenscar Ada runtime library, to implement this data protection architecture, are described.

References

  1. ARM v7-M Architecture Reference Manual. ARM, 2010.Google ScholarGoogle Scholar
  2. ARM v8-M Architecture Reference Manual. ARM, 2016.Google ScholarGoogle Scholar
  3. K64 Sub-Family Reference Manual. NXP, 2017.Google ScholarGoogle Scholar

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 37, Issue 2
    December 2017
    59 pages
    ISSN:1094-3641
    DOI:10.1145/3232693
    Issue’s Table of Contents

    Copyright © 2018 Author

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 13 June 2018

    Check for updates

    Qualifiers

    • research-article
  • Article Metrics

    • Downloads (Last 12 months)2
    • Downloads (Last 6 weeks)0

    Other Metrics

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!