GAP Highlights

University of Adelaide Australia

Real-Time Software Development with GNAT for Mindstorms

Final year students, Leighton Earl & Oliver Francis Roch, from The University of Adelaide undertook a project to create a system with both safety-critical and real-time components using GNAT Ada and Lego Mindstorms NXT.

United States Air Force Academy

Ironsides Secure DNS Server

Western Washington University (Bellingham, Washington, US)

Real-Time control of a Model Railway System

Universidad Politécnica de Madrid (Madrid, Spain)

Real-Time System Development in Ada using LEGO MINDSTORMS NXT

Our purpose at the UPM is to provide a set of tools to fully develop a real-time application in Ada using as target the LEGO® Mindstorms® NXT robotics kit. These tools, working under Linux, provide real-time & embedded systems teachers with an alternative to conventional software models designed in classrooms and labs.

Telecom ParisTech (Paris, France)

Battling Robots: European Robotics Cup

The Telecom Robotics club at Telecom ParisTech (an engineering college in the French Grandes Écoles system) is using Ada and the GNAT technology for its projects.

University of Virginia (USA)

ECHO: A Practical Approach to Formal Verification

At the University of Virginia, Ada lies at the core of a comprehensive approach to creating software for safety-critical applications. Dr. John Knight and his student, Xiang Yin, have created a practical approach to formal verification called Echo. In Echo verification, a program written in SPARK Ada is verified to conform to its SPARK annotations using the SPARK tools.

The Australian National University (Canberra, Australia)

Serafina Autonomous Mini Submersible

At the Australian National University (ANU), Ada plays an integral part in teaching and research, at both the undergraduate and graduate levels. Dr. Uwe Zimmer has been using Ada, with the GNAT technology on Linux, Windows, Mac, and Embedded MPC5554, in two major courses: Concurrent and Distributed Systems, for Computer Science and Engineering students in their second year; and Real-Time and Embedded Systems, for Computer Science and Engineering students in their last year and for Masters students.

Vermont Technical College (USA)

Arctic Sea Ice Buoy and CubeSat Projects

Under the direction of Professors Carl Brandon and Peter Chapin, students at Vermont Technical College are using AdaCore’s GNAT development environment along with Praxis’ SPARK tools on two NASA-sponsored programs with large software components.

Mälardalen University (Västerås, Sweden)

Dasher! – A Racing Robot in Ada

Under the direction of Professor Lars Asplund, graduate students at Mälardalen University are designing, building and programming the Dasher robot in a project that is pushing the limits of robotics technology. The software is being developed with AdaCore’s GNAT toolset, furnished to the university under the GNAT Academic Program (GAP), on Wind River Systems’ VxWorks real-time operating system.