Academia Highlights

Bristol University (Bristol, UK)

Verified Robot Control Software

The Bristol Robotics Laboratory develops its control software in Ada/SPARK and verifies it using the latest technology from AdaCore.

HSR University of Applied Sciences Rapperswil Switzerland

The Muen Separation Kernel

Vermont Technical College

Lunar CubeSat

HSR University of Applied Sciences Rapperswil Switzerland

Trusted Key Manager for IKEv2

Kansas State University, Manhattan, Kansas (US)

SPARK in Formal Verification Research

University of Udine

Peer-to-Peer Epi-Transport Protocol

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.  Initially aimed to the specific application of multimedia streaming, the protocol evolved with time and now it can be considered a general-purpose overlay multicast protocol with many features (e.g., efficient use of bandwidth, NAT-traversal built-in procedures, countermeasures against security issues specific to peer-to-peer networks) that make it suitable for efficient multimedia streaming.

The Australian National University

Undergraduate Ada Projects - Gliding in Space

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.