skip to main content
research-article

A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller

Published:24 October 2010Publication History
Skip Abstract Section

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/.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Burns A., The Ravenscar profile. Ada Letters, vol. XIX, no. 4, pp. 49--52, 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Cheng A. Real-Time Systems: Scheduling, Analysis, and Verification, John Wiley and Sons, 2nd printing with updates, 2005.Google ScholarGoogle Scholar
  5. The Free Software Foundation (FSF), {online} at http://www.fsf.org/.Google ScholarGoogle Scholar
  6. Community devoted to the AVR processors, {online} at http://www.avrfreaks.net /.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  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.Google ScholarGoogle Scholar
  9. Martin F. The Handy Board Technical Reference, {online} at http://www.handyboard.com/.Google ScholarGoogle Scholar
  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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Parallax Inc. BASIC stamp microcontroller, {online} at http://www.parallax.com/.Google ScholarGoogle Scholar
  12. Ras J. Programming the AVR Microcontroller. USC Technical Report, 1996.Google ScholarGoogle Scholar
  13. Savage Innovations. The Object-Oriented PIC, {online} at http://www.oopic.com/.Google ScholarGoogle Scholar
  14. Vardanega B. Automated model-based generation of Ravenscar-compliant source code. Proceedings of the 17th.Google ScholarGoogle Scholar

Index Terms

  1. A deterministic run-time environment for Ada-05 on the ATmega16 microcontroller

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    • Published in

      cover image ACM SIGAda Ada Letters
      ACM SIGAda Ada Letters  Volume 30, Issue 3
      SIGAda 2010
      December 2010
      63 pages
      ISSN:1094-3641
      DOI:10.1145/1879097
      Issue’s Table of Contents
      • cover image ACM Conferences
        SIGAda '10: Proceedings of the ACM SIGAda annual international conference on SIGAda
        October 2010
        90 pages
        ISBN:9781450300278
        DOI:10.1145/1879063

      Copyright © 2010 ACM

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 24 October 2010

      Check for updates

      Author Tags

      Qualifiers

      • research-article
    • Article Metrics

      • Downloads (Last 12 months)1
      • Downloads (Last 6 weeks)0

      Other Metrics

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!