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 Alexandra Boulgakov
Sunswift IV strategy for the 2011 World Solar Challenge, BE Thesis, School of Electrical Engineering, Sydney, Australia, 2011
plain text PDF Aleksander Budzynowski
Operating system for a flow-graph machine, BE Thesis, School of Mechanical and Manufacturing Engineering, Sydney, Australia, 2011
plain text PDF Anna Lyons
Efficient concurrency control for high-performance microkernels, BSc Thesis, School of Computer Science and Engineering, Sydney, Australia, 2011
plain text PDF Prashant Varanasi
Implementing hardware-supported virtualization in OKL4 on ARM, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 2010
plain text PDF Josh Matthews
Native OKL4 web browser, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 2010
plain text PDF Michael Hills
Native OKL4 Android stack, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 2009
plain text PDF Andrew Wrigley
Steering-Integrated driver controls for sunswift IV, BE Thesis, School of Electrical Engineering, Sydney, Australia, 2009
plain text PDF Aaron Carroll
I/O scheduling on RAID, BE Thesis, School of Electrical Engineering, Sydney, Australia, 2008
plain text PDF David Greenaway
Quantifying the effects of scheduling on IPC performance, BSc Thesis, School of Computer Science and Engineering, Sydney, Australia, 2007
plain text PDF Joshua Root
Virtualising Darwin on L4, BE Thesis, School of Computer Science and Engineering, Sydney, 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, School of Computer Science and Engineering, Sydney, Australia, 2006
plain text PDF Tom Birch
Performance limits of Darwin on L4, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 2006
plain text PDF Geoffrey Lee
I/O kit drivers for L4, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 2005
plain text PDF Matthew Warton
Single kernel stack L4, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 2005
plain text PDF Philip Geoffrey Derrin
A secure microkernel, BSc(Hons) Thesis, School of Computer Science and Engineering, Sydney, Australia, 2005
plain text PDF Abi Nourai
A physically-addressed L4 kernel, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 2005
plain text PS Ka-shu Wong
MacOS X on L4, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 2003
plain text PS Andrew Baumann
A thread model for Mungi, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 2002
plain text PS Ben Leslie
Mungi device drivers, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 2002
plain text PDF David C. Snowdon
Hard- and software framework for the optimisation of Sunswift-II, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 2002
plain text PS Harvey Tuch
A comparison of address translation mechanisms for virtually-addressed caches in embedded systems, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 2002
plain text PS Antony Edwards
A component architecture for system extensibility, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 2000
plain text PS Simon Winwood
Flexible scheduling mechanisms in L4, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 2000
plain text PDF Patryk Zadarnowski
The design and implementation of an extendible instruction set simulator, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 2000
plain text PS Luke Deller
Loading and debugging tasks in SawMill, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 1999
plain text PS Vincent Jayawardene
An intensional engine on L4, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 1999
plain text PS Daniel Potts
L4 on uni- and multiprocessor Alpha, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 1999
plain text PS Cristan Szmajda
A new virtual memory implementation for L4/MIPS, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 1999
plain text PS Adam Wiggins
The design and implementation of the L4 microkernel on the StrongARM SA-1100, BE Thesis, School of Computer Science and Engineering, Sydney, Australia, 1999