skip to main content
short-paper

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

Published:24 October 2010Publication History
Skip Abstract Section

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

                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 Copyright is held by the author/owner(s)

                  Publisher

                  Association for Computing Machinery

                  New York, NY, United States

                  Publication History

                  • Published: 24 October 2010

                  Check for updates

                  Qualifiers

                  • short-paper

                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!