Managing Complexity
Many ICT problems are difficult because of their complexity. Examples include the management and diagnosis of large systems (such as a power grid), the management of traffic in a city the size of Sydney and the construction of reliable large software systems.
NICTA researchers are inventing new ways to manage complexity through the development of efficient and reliable tools and processes. These will be used for the construction, management and optimisation of real-world complex systems. Our new techniques are being used to solve problems in areas as diverse as real-time traffic control; production scheduling for local manufacturers and automated software debugging.
Develop new modeling languages, tools, and methods that reduce expertise, effort, time and risk required to create, maintain, and (inter-)operate business process systems.
Small, smart devices collecting, interpreting, transmitting biometric data reliably to those who need it in a form they can use.
Development of techniques for characterisation, diagnosis and assurance of health and quality formations and sensor networks, including wireless networks.
Develop practical automated planning tools that can work on large problems with messy constraints such as probabilistic task failure
Development of improved solvers, visualisation of constraint graphs and of the software and contribution to applications for end users including Roads and Traffic Authority, NSW
Automated analysis of system software
Demonstrate a real-time interference canceling, software defined radio, intended for the base station of a WiMax wireless system
Define and improve reference business processes in the Australian Lending Industry
Develop theories, efficient algorithms and tools for the supervision of composite systems represented by discrete-event models
Provision of expertise on Semantic Web technologies
Develop a software tool that supports a scientifically validated requirements engineering methodology for strategic alignment of organisational ICT
Focuses on improving ICT technologies in the emergency and disaster management domains
Solving situation awareness problems with logic-based knowledge representation and reasoning techniques
The Smart Transport and Roads project (STaR) technologies are applied to transport and road systems
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 parsimonious XML memory representations and efficient algorithms for XML query evaluation