Former ERTOS Research Projects

The ULDD project improves the reliability of device drivers by running them as unprivilieged user processes, rather than in the kernel.

Gelato@UNSW is part of the global Gelato.org federation. It is supported by HP's Linux and Open Source Lab and a Linkage Grant from the Australian Research Council.

The Probabilistic Temporal Analysis of Operating Systems (Potoroo) a project developed techniques suitable for obtaining a complete timing model of an operating-system kernel such as L4.

The Dante project developed a networked solution for transporting digital audio over commodity hardware and data networking protocols, such as Ethernet and TCP/IP. The project's success resulted in the creation of a company, Audinate.

The Voodoo project aimed to develop architectural support for fine-grained memory access control.

The Mungi project developed a single-address-space operating system (SASOS). The SASOS approach simplifies sharing and supports the use of virtually-addressed caches.

The aim of the GNSS project was to build a framework for developing new systems based on upcoming GNSS receiver standards. The project was a collaboration with UNSW's SNAPlab. The project succeeded in building an open GNSS receiver platform called NAMURU.