skip to main content
10.1145/1879063.1879077acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
short-paper

Real-time system development in ada using LEGO® mindstorms® NXT

Published:24 October 2010Publication History

ABSTRACT

In this paper, we describe a set of tools to fully develop a real-time application under Linux using as target the LEGO® Mindstorms® NXT robotics kit. These tools provide Real-Time & Embedded systems teachers with an alternative to conventional software models designed in classrooms and labs.

References

  1. Ada-Core Technologies, The GNAT Pro Company. http://www.adacore.com/Google ScholarGoogle Scholar
  2. Bricx Command Center. http://bricxcc.sourceforge.net/Google ScholarGoogle Scholar
  3. Burns, A., 1999. The Ravenscar Profile. ACM SIGADA Ada Letters, 19(4): 49--52. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. LEGO® MINDSTORMS® Hardware Developer Kit (HDK), 2006. http://mindstorms.lego.com, LEGO Group.Google ScholarGoogle Scholar
  5. LibNXT, NXT host control library. http://code.google.com/p/libnxt/Google ScholarGoogle Scholar
  6. MAST - Modeling and Analysis Suite for Real-Time Applications, Universidad de Cantabria. http://mast.unican.es/Google ScholarGoogle Scholar
  7. nxtOSEK Project. Takashi Chikamasa, 2007. http://lejos-osek.sourceforge.net/Google ScholarGoogle Scholar
  8. OSEK/VDX - Operating System, version 2.2.3, February 2005. http://portal.osek-vdx.org/files/pdf/specs/os223.pdfGoogle ScholarGoogle Scholar
  9. Peterson, S., 2005. Porting the Bound-T WCET tool to Lego Mindstorms and the Asterix RTOS. Master's thesis. Mälardalen University, Västerås,Sweden.Google ScholarGoogle Scholar
  10. Rapita Systems LTD. http://www.rapitasystems.com/Google ScholarGoogle Scholar

Index Terms

  1. Real-time system development in ada using LEGO® mindstorms® NXT

                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
                • Published in

                  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
                  • 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

                  Copyright © 2010 Copyright is held by the author/owner(s)

                  Publisher

                  Association for Computing Machinery

                  New York, NY, United States

                  Publication History

                  • Published: 24 October 2010

                  Permissions

                  Request permissions about this article.

                  Request Permissions

                  Check for updates

                  Qualifiers

                  • short-paper

                PDF Format

                View or Download as a PDF file.

                PDF

                eReader

                View online with eReader.

                eReader