Abstract
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.
- Atmel Corporation. (2008, June 25). AVR 8-bit RISC, {online} at http://www.atmel.com/products/avr/.Google Scholar
- Burns A., Dobbing B., and Vardanega T. Guide for the use of the Ada Ravenscar profile in high integrity systems. Ada Letters, vol. XXIV, no. 2, pp. 1--74, 2004. Google Scholar
Digital Library
- Burns A., The Ravenscar profile. Ada Letters, vol. XIX, no. 4, pp. 49--52, 1999. Google Scholar
Digital Library
- Cheng A. Real-Time Systems: Scheduling, Analysis, and Verification, John Wiley and Sons, 2nd printing with updates, 2005.Google Scholar
- The Free Software Foundation (FSF), {online} at http://www.fsf.org/.Google Scholar
- Community devoted to the AVR processors, {online} at http://www.avrfreaks.net /.Google Scholar
- Gregertsen K. and Skavhaug A., A Real-Time Framework for Ada 2005 and the Ravenscar Profile. 35th Euro. Conference on Software Engineering and Advanced Applications, 2005. Google Scholar
Digital Library
- Gregertsen K. and Skavhaug A. An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR. EDAA, 2009.Google Scholar
- Martin F. The Handy Board Technical Reference, {online} at http://www.handyboard.com/.Google Scholar
- Mezzetti. E., Panunzio M., and Vardanega T. Preservation of Timing Properties with the Ada Ravenscar Profile. Reliable Software Technologiey - Ada-Europe, pp: 153--166, 2010. Google Scholar
Digital Library
- Parallax Inc. BASIC stamp microcontroller, {online} at http://www.parallax.com/.Google Scholar
- Ras J. Programming the AVR Microcontroller. USC Technical Report, 1996.Google Scholar
- Savage Innovations. The Object-Oriented PIC, {online} at http://www.oopic.com/.Google Scholar
- Vardanega B. Automated model-based generation of Ravenscar-compliant source code. Proceedings of the 17th.Google Scholar
Index Terms
A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller
Recommendations
A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller
SIGAda '10: Proceedings of the ACM SIGAda annual international conference on SIGAdaMicrocontrollers 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 ...
An efficient and deterministic multi-tasking run-time environment for Ada and the Ravenscar profile on the Atmel AVR®32 UC3 microcontroller
DATE '09: Proceedings of the Conference on Design, Automation and Test in EuropeThis paper describes how an efficient and deterministic multitasking run-time environment supporting the Ravenscar tasking model of Ada 2005 was implemented on the Atmel AVR32 UC3A microcontroller. The open source GNU Ada Compiler (GNAT GPL 2007) was ...
Embedded, hard, real-time systems with Ada
SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologiesDevelopment of real-time systems is expensive and difficult, in part because of low-level languages that force developers to use facilities that are ad hoc, incomplete, and not portable. The Real-Time Systems Annex of Ada 2005 (along with the language ...







Comments