Find out how ICT can support biomedical and clinical researchFind out more. Managing complexity by developing new tools and processes. Managing Complexity

The University of New South Wales

ERTOS Student Projects

This site gives provides an overview of student projects in the Embedded Real-Time Operating Systems research group at NICTA.

Read on for:

Selected Thesis Reports

UNSW students can access the complete list of past reports.

plain text PDF Aaron Carroll
I/O scheduling on RAID, BE Thesis, University of NSW, Sydney 2052, Australia, 2008
plain text PDF David Greenway
Quantifing the effects of scheduling on IPC performance, BSc Thesis, University of NSW, Sydney 2052, Australia, 2007
plain text PDF Joshua Root
Virtualising Darwin on L4, BE Thesis, University of NSW, Sydney 2052, Australia, 2007
plain text PDF Clarence Dang
Optimising L4 on Blackfin 533/537: An investigation into a high performance L4 microkernel without virtual memory, BE Thesis, University of NSW, Sydney 2052, Australia, 2006
plain text PDF Tom Birch
Performance limits of Darwin on L4, BE Thesis, University of NSW, Sydney 2052, Australia, 2006
plain text PDF Geoffrey Lee
I/O kit drivers for L4, BE Thesis, University of NSW, Sydney 2052, Australia, 2005
plain text PDF Matthew Warton
Single kernel stack L4, BE Thesis, University of NSW, Sydney 2052, Australia, 2005
plain text PDF Philip Geoffrey Derrin
A secure microkernel, BSc(Hons) Thesis, University of NSW, Sydney 2052, Australia, 2005
plain text PDF Abi Nourai
A physically-addressed L4 kernel, BE Thesis, University of NSW, Sydney 2052, Australia, 2005
plain text PS Ka-shu Wong
MacOS X on L4, BE Thesis, University of NSW, Sydney 2052, Australia, 2003
plain text PS Andrew Baumann
A thread model for Mungi, BE Thesis, University of NSW, Sydney 2052, Australia, 2002
plain text PS Ben Leslie
Mungi device drivers, BE Thesis, University of NSW, Sydney 2052, Australia, 2002
plain text PDF David C. Snowdon
Hard- and software framework for the optimisation of Sunswift-II, BE Thesis, University of NSW, Sydney 2052, Australia, 2002
plain text PS Harvey Tuch
A comparison of address translation mechanisms for virtually-addressed caches in embedded systems, BE Thesis, University of NSW, Sydney 2052, Australia, 2002
plain text PS Antony Edwards
A component architecture for system extensibility, BE Thesis, University of NSW, Sydney 2052, Australia, 2000
plain text PS Simon Winwood
Flexible scheduling mechanisms in L4, BE Thesis, University of NSW, Sydney 2052, Australia, 2000
plain text PDF Patryk Zadarnowski
The design and implementation of an extendible instruction set simulator, BE Thesis, University of NSW, Sydney 2052, Australia, 2000
plain text PS Luke Deller
Loading and debugging tasks in SawMill, BE Thesis, University of NSW, Sydney 2052, Australia, 1999
plain text PS Vincent Jayawardene
An intensional engine on L4, BE Thesis, University of NSW, Sydney 2052, Australia, 1999
plain text PS Daniel Potts
L4 on uni- and multiprocessor Alpha, BE Thesis, University of NSW, Sydney 2052, Australia, 1999
plain text PS Cristan Szmajda
A new virtual memory implementation for L4/MIPS, BE Thesis, University of NSW, Sydney 2052, Australia, 1999
plain text PS Adam Wiggins
The design and implementation of the L4 microkernel on the StrongARM SA-1100, BE Thesis, University of NSW, Sydney 2052, Australia, 1999