ACM SIGAda Ada Letters
Guide for the use of the Ada Ravenscar Profile in high integrity systems
ACM SIGAda Ada Letters
A Real-Time Framework for Ada 2005 and the Ravenscar Profile
SEAA '09 Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced Applications
Preservation of timing properties with the ada ravenscar profile
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
Hi-index | 0.00 |
Microcontrollers account for more than 90% of total microprocessors sold, yet their capabilities are seldom explored in computer science courses. A simple 8-Bit microcontroller can be used in a computer language programming course to facilitate the study of computer architecture and fundamental programming concepts. Through hands-on experience, students can appreciate using a computer language such as Assembly or ADA to develop applications for embedded devices. ADA is not often used in small embedded systems because of ADA's high overhead. We can overcome this problem by using a subset of ADA, such as the Ravenscar Profile. The goal of this paper is to describe how ADA can be used to develop high-integrity real-time systems supporting the Ravenscar tasking model of ADA-05 on the Atmel AVR ATmega16 microcontroller.