Robotics Demonstrator for Safety-Critical & Real-Time Systems

University of Adelaide Australia

A project team from the University of Adelaide was tasked with creating a demonstrator utilising safety critical programming techniques as part of their final year project.

Utilising the latest release of the GNAT for Mindstorms product, their robot supports the Ravenscar profile and is targeted at the ARM 7 based Mindstorms NXT platform.

Continue Reading »

Real-Time control of a Model Railway System

Western Washington University (Bellingham, Washington, US)

At Western Washington University, students are using Ada in senior capstone projects on real-time control of a model railway system. 

Continue Reading »

Real-Time System Development in Ada using LEGO MINDSTORMS NXT

Universidad Politécnica de Madrid (Madrid, Spain)

Universidad Politécnica de Madrid finds the LEGO MINDSTORMS kit and the GNAT GPL Edition for MINDSTORMS an ideal platform to allow students of embedded & real-time systems analyze, develop and implement a real-time system in Ada.

Continue Reading »

Battling Robots: European Robotics Cup

Telecom ParisTech (Paris, France)

Telecom Robotics’ mission is to provide a robotics-focused forum where students can learn, share knowledge, and innovate. To help realize this goal, the group competes in the European Robotics Cup.

Continue Reading »

ECHO: A Practical Approach to Formal Verification

University of Virginia (USA)

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.

Continue Reading »

Serafina Autonomous Mini Submersible

The Australian National University (Canberra, Australia)

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.

Continue Reading »

Arctic Sea Ice Buoy and CubeSat Projects

Vermont Technical College (USA)

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.

Continue Reading »

Dasher! – A Racing Robot in Ada

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

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 on Wind River Systems’ VxWorks real-time operating system.

Continue Reading »