Mobile Systems and Services
Mobile systems and services can empower people by providing them with access to relevant information anytime, anywhere. Work in this area allows people to save time by doing business on the move and save money with seamless connectivity which reduces transaction costs.
NICTA’s research aims to create mobile systems and services that save time (business on the move), save money (seamless connectivity to reduce cost of transactions), open new opportunities (always accessible) and allow seamless access to relevant information.
Our research will result in tools which will be used to develop context-aware and semantic-based communication services, which support privacy and trust whilst allowing people to access their data anywhere, anytime from any device.
Create a pervasive, reliable communication infrastructure that will take end-users across fundamental technical barriers that separates different wireless technologies
Small, smart devices collecting, interpreting, transmitting biometric data reliably to those who need it in a form they can use.
Demonstrate passive optical access networks that provide Gig/sec bandwidths to user via convergent access network architecture
Develop a component model for the L4 microkernel that makes it easy and cost-effective for developers to build next-generation embedded applications
Develop widely applicable framework so mobile users using multiple devices and services can get the service mix to best fit their needs
To apply formal methods to the new application domain of wireless networks and use this application to overcome the current limitations of scale and expressiveness
Three key areas: Fundamental communication limits; Signal representation and uncertainty principles; Applications of fundamentals
Develop a mathematical, machine checked proof that the L4 microkernel behaves according to specification
Developing and enhancing technologies for getting information (such as data, speech, images and audio) to and from a person in an inconspicuous way over short distances
Programming models and platforms for sensor networks
Develop technology to monitor Internet performance, provide critical information to network managers, and contribute valuable IP to optical communications industry
Demonstrate a real-time interference canceling, software defined radio, intended for the base station of a WiMax wireless system
Develop a framework and tools for building applications on a distributed computing infrastructure, with a focus on developing applications for wireless sensor networks
Develop the integrated hardware/software equipment necessary to provide a secure communications system, providing voice and data access for rural and remote users
Develop a software architecture and middleware tools for building complex P2P applications. Develop a P2P Massively Multiplayer Online Game (MMOG) with our techniques
Develop and implement a precisely specified, secure API for the L4 microkernel
Allow XML information to be stored in a succinct representation: a space-efficient representation which maintains low access and update costs for all the desired operations. The Universal Storage Scheme Project also referred to as USS and mcontext
Develop a formal specification for the important TCP/IP protocols that underlie the modern internet
Provide both a development platform and a specialised methodology intended to model, specify, test and deploy real-time applications and advanced communication services
Develop novel RF technologies and baseband algorithm for a complete transceiver design for emerging millimetre-wave communication systems
