Embedded Systems
Embedded systems will generate the 'smart products' of the future, from clever cars to clever farms and form the foundations of pervasive computing. Embedded systems is all about embedding or hiding smart ICT into everyday objects and processes.
NICTA is building a world-class embedded systems industry in Australia by aggregating our research skills in system architecture, communications (wired and wireless), sensor and control systems, embedded operating systems and software engineering.
The Embedded Systems Vision outlines the Embedded System landscape and areas in which NICTA will focus its efforts in the future to make a global impact.
RESEARCH PROJECTS IN EMBEDDED SYSTEMS:
Automated analysis of system software
Develop a mathematical, machine checked proof that the L4 microkernel behaves according to specification
Develop a mathematical, machine checked proof that the L4 microkernel behaves according to specification
Develop and implement a precisely specified, secure API for the L4 microkernel
Developing a programming language that enables an inventor to concisely describe their computer vision algorithms. And a tool that will automatically transform this description into software that can run on a range of camera devices.
The Smart Transport and Roads project (STaR) technologies are applied to transport and road systems
Sample description for the test project home page
The most trustworthy and reliable operating system kernel on the planet by providing ultimate mathematical assurance that the seL4 high-performance microkernel works correctly
Ultra high-speed technology integrated on a single chip which promises to deliver up to ten times the data rate of today’s wireless systems at around one-tenth of the cost. It will remove the need for cables in the home and could be incorporated into multiple devices.
Helping to enable the development of a bionic eye using computer vision-based technologies for wearable visual assistive devices and visual prostheses for the visually impaired.
Develop novel RF technologies and baseband algorithm for a complete transceiver design for emerging millimetre-wave communication systems