GNAT GPL for LEGO MINDSTORMS NXT
GNAT for LEGO MINDSTORMS NXT is a GPL port for the GNAT compilation system to 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 GPL Edition for the LEGO MINDSTORMS NXT platform brings the possibility of experimenting with embedded systems development using the Ada 2005 and SPARK languages to an education-oriented robotic platform. Entire embedded systems, including software, hardware and sensors intercefacing, and wireless communications can be developed and verified using the GPL editions of GNAT and SPARK.
Technical Details
GNAT GPL Edition for LEGO MINDSTORMS NXT relies on the nxtOSEK operating system to manage real-time and concurrent execution. GNAT for LEGO MINDSTORMS requires erasing the original Lego firmware; the original firmware can be however restored if necessary.
Here’s what’s included:
- GNAT GPL edition 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
Authors and Contributors
GNAT for LEGO MINDSTORMS is developed and maintained by AdaCore. Piotr Piwko contributed to the development during his internship at AdaCore in Autumn 2008.For more information on the LEGO MINDSTORMS NXT platform, see http://mindstorms.lego.com