GAP Member Projects
The following are some examples of how Ada is being used in Academic projects by GAP members around the world.
-
Peer-to-Peer Epi-Transport Protocol
University of Udine
The DSP group at the University of Udine is developing PPETP (Peer-to-Peer Epi-Transport Protocol), a new streaming protocol based on a peer-to-peer approach that will allow to distribute efficiently live multimedia material to a large number of users.
Continue Reading » -
Undergraduate Ada Projects - Gliding in Space
The Australian National University
At The Australian National University, students from the 2011 class in Concurrent and Distributed Systems provide an example of the high performance code they developed in undergraduate courses.
Continue Reading » -
Real-Time Software Development with GNAT for Mindstorms
University of Adelaide Australia
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.
Continue Reading » -
Ironsides Secure DNS Server
United States Air Force Academy
Dr. Martin C. Carlisle, the director of the Academy Center for Cyberspace Research at the United States Air Force Academy has developed a secure DNS server using Ada and the SPARK formal methods tool set.
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 »
