Member Access The Academic Member Site
GNAT LEGO MINDSTORMS NXT
As part of our effort to introduce embedded systems programming with Ada to students, AdaCore has developed GNAT for the LEGO MINDSTORMS NXT robotic platform. Originally born as an education-oriented project at MIT Media Lab, the LEGO MINDSTORMS has evolved into a successful commercial product for education in robotics in a multitude of Universities and high schools across the globe. The latest revision of the platform includes a 32 bits processor and supports several different sensors able to detect distance, colors and sounds and to communicate via the Bluetooth protocol.
GNAT for the LEGO MINDSTORMS NXT platform brings the possibility of experimenting with embedded systems development using the Ada 2005 and SPARK languages. Entire embedded systems, including software, hardware and sensors interfacing, and wireless communications can be developed and verified.
Technical Details
GNAT for LEGO MINDSTORMS NXT relies on the nxtOSEK operating system to manage real-time and concurrent execution. GNAT for LEGO MINDSTORMS requires to erase the original Lego firmware; the original firmware can be however restored if necessary.
Here’s what’s included:
- GNAT targeting the LEGO MINDSTORMS NXT Platform
- Bindings to nxtOSEK, an open, real-time operating system providing facilities for real-time and concurrent systems
- Bindings to access MINDSTORMS hardware (processor, sensors and motors), including Bluetooth
- Getting Started material, examples of applications which can be used as teaching material
- Availability for the LEGO MINDSTORMS robotic building system (coming soon).
LEGO MINDSTORMS NXT NOT included
More Information
For more information on the LEGO MINDSTORMS NXT platform, see http://mindstorms.lego.com