A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller
Pages 13 - 22
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.
References
[1]
Atmel Corporation. (2008, June 25). AVR 8-bit RISC, {online} at http://www.atmel.com/products/avr/.
[2]
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.
[3]
Burns A., The Ravenscar profile. Ada Letters, vol. XIX, no. 4, pp. 49--52, 1999.
[4]
Cheng A. Real-Time Systems: Scheduling, Analysis, and Verification, John Wiley and Sons, 2nd printing with updates, 2005.
[5]
The Free Software Foundation (FSF), {online} at http://www.fsf.org/.
[6]
Community devoted to the AVR processors, {online} at http://www.avrfreaks.net /.
[7]
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.
[8]
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.
[9]
Martin F. The Handy Board Technical Reference, {online} at http://www.handyboard.com/.
[10]
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.
[11]
Parallax Inc. BASIC stamp microcontroller, {online} at http://www.parallax.com/.
[12]
Ras J. Programming the AVR Microcontroller. USC Technical Report, 1996.
[13]
Savage Innovations. The Object-Oriented PIC, {online} at http://www.oopic.com/.
[14]
Vardanega B. Automated model-based generation of Ravenscar-compliant source code. Proceedings of the 17th.
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 2010Microcontrollers 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
Information & Contributors
Information
Published In
October 2010
90 pages
Copyright © 2010 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
In-Cooperation
- SIGAPP: ACM Special Interest Group on Applied Computing
- SIGPLAN: ACM Special Interest Group on Programming Languages
- Ada Europe: Ada Europe
- SIGBED: ACM Special Interest Group on Embedded Systems
- SIGCAS: ACM Special Interest Group on Computers and Society
- SIGCSE: ACM Special Interest Group on Computer Science Education
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 24 October 2010
Check for updates
Author Tags
Qualifiers
- Research-article
Conference
SIGAda '10
Sponsor:
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 175Total Downloads
- Downloads (Last 12 months)2
- Downloads (Last 6 weeks)0
Reflects downloads up to 09 Nov 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in