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.
- ARM v7-M Architecture Reference Manual. ARM, 2010.Google Scholar
- ARM v8-M Architecture Reference Manual. ARM, 2016.Google Scholar
- K64 Sub-Family Reference Manual. NXP, 2017.Google Scholar
Recommendations
The GNU Ada runtime library (GNARL)
WADAS '94: Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on AdaThe GNu Ada Runtime Library (GNARL) is an implementation of Ada 9X tasking. It is designed to support the Gnu-NYU Ada Translator (GNAT), and is part of the GNAT distribution. This report describes the design of the interface which GNARL presents to ...
Features of the GNU Ada runtime library
TRI-Ada '94: Proceedings of the conference on TRI-Ada '94The Gnu Ada Runtime Library (GNARL) is being developed to support Ada 9X tasking for the Gnu NYU Ada Translator (GNAT). Together, they form a portable, freely distributable Ada 9X translation system. GNARL and GNAT communicate through a well-defined ...






Comments