Effective software vulnerability detection for web services. This project aims to design and implement new and better methods to find vulnerabilities in software services delivered over the web or through the cloud, as well as methods for proving the absence of certain types of vulnerability. So-called injection attacks are pervasive and generally considered the most important security threat on today's Internet. The programming languages used for software services tend to use strings as a unive ....Effective software vulnerability detection for web services. This project aims to design and implement new and better methods to find vulnerabilities in software services delivered over the web or through the cloud, as well as methods for proving the absence of certain types of vulnerability. So-called injection attacks are pervasive and generally considered the most important security threat on today's Internet. The programming languages used for software services tend to use strings as a universal data structure, which unfortunately makes it hard to separate trusted code from untrusted user-provided data. This project intends to develop novel program analysis tools and string constraint solvers, and employ these tools to support sophisticated automated reasoning about string manipulating software.Read moreRead less
Supervised autonomy for autonomous underwater vehicles (AUVs) using limited bandwidth communication channels. The project aims to improve the feedback link between an autonomous underwater vehicle (AUV) and an operator by developing novel acoustic communication schemes that exploit developments in machine learning, network, and communication theory and represents a step towards truly autonomous and intelligent surveying using AUV systems.
Combustion Modelling and Control for Biomass Fuelled Boilers . This Project aims to improve the operation of bio-fuelled boilers in the sugar industry by using novel approaches to modelling and control of the combustion process. In the sugar industry, sugarcane residue is used as biofuel for boilers. The steam from the boilers is used to crystallise sugar and generate electricity, which is used to power machinery and is also exported to the grid. However, due to poor fuel consistency and poor c ....Combustion Modelling and Control for Biomass Fuelled Boilers . This Project aims to improve the operation of bio-fuelled boilers in the sugar industry by using novel approaches to modelling and control of the combustion process. In the sugar industry, sugarcane residue is used as biofuel for boilers. The steam from the boilers is used to crystallise sugar and generate electricity, which is used to power machinery and is also exported to the grid. However, due to poor fuel consistency and poor combustion conditions, critical problems arise that hinder production. Expected outcomes include: improved sugar production, safer operation of boilers, reduced downtime, and better electricity co-generation.
This will provide significant benefits to sugar manufacturing and biofuel energy generation in AustraliaRead moreRead less
Control strategies for Bagasse-fuelled boiler units. This project aims to improve sugar production and electricity cogeneration capabilities in the sugar industry by utilising novel control ideas for boiler units. In the sugar industry, sugarcane residue is used as biofuel for boiler units. Boilers use steam to crystallise sugar and generate electricity. However, variable steam demand and poor fuel consistency severely hinder production. The project aims to improve safe operation of boilers, red ....Control strategies for Bagasse-fuelled boiler units. This project aims to improve sugar production and electricity cogeneration capabilities in the sugar industry by utilising novel control ideas for boiler units. In the sugar industry, sugarcane residue is used as biofuel for boiler units. Boilers use steam to crystallise sugar and generate electricity. However, variable steam demand and poor fuel consistency severely hinder production. The project aims to improve safe operation of boilers, reduce downtime, and maximise electricity generated to the grid. This will provide significant benefits to sugar manufacturing and, more broadly, biofuel energy generation in Australia.Read moreRead less
Achieving Tailored Industrial Software Process Improvement with Experience Repositories and Electronic Process Guides. There is a well-recognised need for organisations to improve their software development processes in order to achieve higher software quality and greater efficiencies in development. The use of electronic process guides and experience repositories have been two technologies independently proposed to achieve these aims. This research will develop a framework, methods and tools ....Achieving Tailored Industrial Software Process Improvement with Experience Repositories and Electronic Process Guides. There is a well-recognised need for organisations to improve their software development processes in order to achieve higher software quality and greater efficiencies in development. The use of electronic process guides and experience repositories have been two technologies independently proposed to achieve these aims. This research will develop a framework, methods and tools to allow integration of experience repositories and electronic process guides to facilitate process tailoring, process improvement, and project management. The result will be significant improvements in software development productivity and quality.Read moreRead less
Eat and Dream: effective automatic testing and debugging for real-life embedded wireless communications software. Embedded software is a key enabling technology for the majority of Australian manufacturing industries, including strategically important sectors such as the automotive industry. Embedded wireless communication technologies are playing an increasingly significant role in Australia with a wide range of critical applications ranging from natural disaster early warning to personal healt ....Eat and Dream: effective automatic testing and debugging for real-life embedded wireless communications software. Embedded software is a key enabling technology for the majority of Australian manufacturing industries, including strategically important sectors such as the automotive industry. Embedded wireless communication technologies are playing an increasingly significant role in Australia with a wide range of critical applications ranging from natural disaster early warning to personal health monitoring. Embedded wireless communications software, however, is difficult to test and debug owing to the complexity of the operational environment and complications arising from the interplay between software and hardware. This project will develop an effective and automatic technology to alleviate these difficulties and achieve higher quality software.Read moreRead less
Developing an active defence system to identify malicious domains and websites. This project aims to develop an innovative active defence system to effectively identify malicious Internet domains and websites. It can secure the cyberspace that is essential to the daily work of Australian people, thus addresses a fundamental problem in safeguarding Australia from cyber crime and terrorism.
A Generic Software Architecture for Web-Based Applications on Micro-Mobile Systems. The next generation of computers that will capture the imagination of the society are likely to be micro-mobile devices such as personal digital assistants, mobile phones, smartcards and chips embedded in home and office items. Developing applications for information processing using a wireless network of such devices is an emerging challenge. This project will develop and evaluate a generic architecture for web- ....A Generic Software Architecture for Web-Based Applications on Micro-Mobile Systems. The next generation of computers that will capture the imagination of the society are likely to be micro-mobile devices such as personal digital assistants, mobile phones, smartcards and chips embedded in home and office items. Developing applications for information processing using a wireless network of such devices is an emerging challenge. This project will develop and evaluate a generic architecture for web-based applications on micro-mobile devices. This will make it easy to design applications that can seamlessly interact with different kinds of devices. The project will be carried out in partnership with Total Internet Centre, a Newcastle based regional enterprise.Read moreRead less
Communication networks for smart electricity grids. A smart grid will improve the efficiency of EnergyAustralia's electricity grid by minimizing cost and greenhouse gas emissions. A smart grid architecture will be researched and developed by using advanced communications and control engineering techniques offering significant economic, industrial, social and environmental benefits to Australia.
Visual Analytics for Next Generation Sequencing. Next-generation sequencing technologies have brought a revolution in biology and healthcare, while taxing the ability of scientists and clinicians to identify and process relevant data, to make sense of it all and communicate it to others in a concise and meaningful way. This project aims to tackle this problem through fundamentally new approaches to data selection and visualisation at very large scale, actively encoding for insight into underlyin ....Visual Analytics for Next Generation Sequencing. Next-generation sequencing technologies have brought a revolution in biology and healthcare, while taxing the ability of scientists and clinicians to identify and process relevant data, to make sense of it all and communicate it to others in a concise and meaningful way. This project aims to tackle this problem through fundamentally new approaches to data selection and visualisation at very large scale, actively encoding for insight into underlying biological and biomedical processes, bringing sustainable discovery of new relationships and variations within the data. The project aims to support new approaches to medical diagnosis and treatment, and offer crucial lessons to address the broader challenge of understanding large, complex data sets.Read moreRead less