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:

• background information
• summer projects
• honours thesis topics (also suitable for coursework masters students)
• PhD research

Selected Thesis Reports

UNSW students can access the complete list of past reports.

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