Abstract
This paper presents a proposal for a new Ada profile targeted to microcontrollers with tight memory constraints. The profile has the same restrictions that the Ravenscar profile but includes a new scheduling policy based on the "one-shot task" model that allows stack sharing techniques to be applied to Ada tasks. A preliminary implementation based on a small kernel, a modified run-time system and an automatic code generation tool has been developed. The initial tests bring promising results, showing the profile is functionally correct and has a small memory footprint.
- EETimes and Embedded.com. 2017 Embedded Markets Study Integrating IoT and Advanced Technology Designs, Application Development & Processing Environments. Technical report, 2017.Google Scholar
- Wayne Freeman. 11 Myths About 8-Bit Microcontrollers. Technical report, 2016.Google Scholar
- M. Aldea Rivas and M. Gonzàlez Harbour. MaRTE OS: An ada kernel for real-time embedded applications. Craeynest D., Strohmeier A. (eds) Reliable SoftwareTechnologies -Ada-Europe 2001. Ada-Europe 2001. Lecture Notes in Computer Science, 2043:305-316, 2001. Google Scholar
Digital Library
- Ada Reference Manual, ISO/IEC 8652:2012(E) with COR.1:2016, 2016.Google Scholar
- José F Ruiz. GNAT pro for on-board misson-critical space applications. Vardanega T., Wellings A. (eds) Reliable Software Technology - Ada-Europe 2005. Ada-Europe 2005. Lecture Notes in Computer Science, 3555(17360):248-259, 2005. Google Scholar
Digital Library
- T.P. Baker. A stack-based resource allocation policy for realtime processes. In {1990} Proceedings 11th Real-Time Systems Symposium, pages 191-200. IEEE, 1990.Google Scholar
- Yun Wang and M. Saksena. Scheduling fixed-priority tasks with preemption threshold. In Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306), pages 328-335. IEEE Comput. Soc. Google Scholar
Digital Library
Index Terms
(auto-classified)Proposal for a new Ada profile for small microcontrollers
Recommendations
IP Network Stack in Ada 2012 and the Ravenscar Profile
This article presents Ada Embedded Network, a small network stack intended to be used by small embedded Ada applications running on ARM. It implements the standard ARP, IPv4, UDP, DNS and DHCP protocols on top of an Ethernet driver. Its memory efficient ...
New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements
Ada Europe '01: Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software TechnologiesThe Ada 95 Programming Language [1] was designed to meet the needs of a variety of programming domains. The Ada 95 Special Needs Annexes provided the standard definition of the facilities required for special areas of use such as Systems Programming, ...
The standard UML-Ada profile
Ada-Europe'03: Proceedings of the 8th Ada-Europe international conference on Reliable software technologiesThe Unified Modeling Language (UML) has become the de facto modelling language for business processes and software intensive systems. However, the UML lacks a rich-set of semantics specific to the Ada Programming language, which would enable a designer ...






Comments