Practical Identity-Based Cryptography: Efficient and Secure Elliptic Curve Pairings. Bilinear pairings on elliptic curves are a new cryptographic tool and allow novel and improved applications in information security. For example, they have been proposed as a substitute of existing public key infrastructures, an essential element in electronic commerce and a secure Internet. The research will lead to an increase in fundamental knowledge in the area of practical implementation and secure applic ....Practical Identity-Based Cryptography: Efficient and Secure Elliptic Curve Pairings. Bilinear pairings on elliptic curves are a new cryptographic tool and allow novel and improved applications in information security. For example, they have been proposed as a substitute of existing public key infrastructures, an essential element in electronic commerce and a secure Internet. The research will lead to an increase in fundamental knowledge in the area of practical implementation and secure applications of pairings. The results will benefit all users of electronic communications who require security for their information. This includes the financial industries, government, commerce and domestic users. It will also support many new product opportunities aligned with Motorola's business markets.Read moreRead less
Modelling of Nitric Oxides and Carbon Monoxide Emissions from Bagasse-Fires Boilers. The project aims to develop computational models to predict emissions of nitric oxides and carbon monoxide from sugar-mill boilers burning bagasse. Bagasse combustion does not contribute to greenhouse gas emissions and clean and efficient combustion of this fuel has become very important for the sugar industry and for Australia. The project combines the opportunity of direct boiler measurements by SRI with the m ....Modelling of Nitric Oxides and Carbon Monoxide Emissions from Bagasse-Fires Boilers. The project aims to develop computational models to predict emissions of nitric oxides and carbon monoxide from sugar-mill boilers burning bagasse. Bagasse combustion does not contribute to greenhouse gas emissions and clean and efficient combustion of this fuel has become very important for the sugar industry and for Australia. The project combines the opportunity of direct boiler measurements by SRI with the modelling expertise at the University to develop combustion-kinetics models for these species. The models will be incorporated into the previously developed computational fluid dynamics - combustion code of the furnace to give the capability of emission prediction as a function of burner operating conditions and fuel parameters.Read moreRead less
Mathematical and computational models for agrichemical retention on plants. Mathematical and computational models for agrichemical retention on plants. This project aims to build interactive software that simulates agrichemical spraying for multiple virtual plants reconstructed from scanned data. Mathematical modelling and computer simulation could offer an alternative to expensive experimental programs for agrichemical spraying of plants. This project will use contemporary fluid mechanics to bu ....Mathematical and computational models for agrichemical retention on plants. Mathematical and computational models for agrichemical retention on plants. This project aims to build interactive software that simulates agrichemical spraying for multiple virtual plants reconstructed from scanned data. Mathematical modelling and computer simulation could offer an alternative to expensive experimental programs for agrichemical spraying of plants. This project will use contemporary fluid mechanics to build practical mathematical models for droplet impaction, spreading and evaporation on leaf surfaces, and experimentally calibrate and validate the models. The software is expected to drive the development of agrichemical products that increase retention, minimise environmental impacts, and reduce costs for end-users.Read moreRead less
Effective software process improvement in a large-scale defence contracting environment. Most organisations struggle to consistently develop high-quality software on schedule and within budget. Continuing changes in technologies and customer expectations complicate this challenge. Software process improvement frameworks aim to guide organisations towards best practice. This project will assess practical experience with individual software process improvement frameworks in a large-scale defence c ....Effective software process improvement in a large-scale defence contracting environment. Most organisations struggle to consistently develop high-quality software on schedule and within budget. Continuing changes in technologies and customer expectations complicate this challenge. Software process improvement frameworks aim to guide organisations towards best practice. This project will assess practical experience with individual software process improvement frameworks in a large-scale defence contracting environment, with the goal of developing an effective strategy for integrating them. The outcomes will include documented experience with specific process improvement frameworks and a strategy for an overall framework that combines them.Read moreRead less
Reducing the risks associated with developing large-scale, critical software-integrated systems. Industry, government and defence increasingly rely on large-scale, critical software-integrated systems. The scale and complexity of these systems means current methods of analysing, designing and assuring their dependability are struggling to provide the constructive support and assurance that is demanded. Consequently, there are significant risks of cost and schedule overruns and of system problems ....Reducing the risks associated with developing large-scale, critical software-integrated systems. Industry, government and defence increasingly rely on large-scale, critical software-integrated systems. The scale and complexity of these systems means current methods of analysing, designing and assuring their dependability are struggling to provide the constructive support and assurance that is demanded. Consequently, there are significant risks of cost and schedule overruns and of system problems and failures. This project builds on results from our current collaboration - a new method for modelling, analysis and defect detection for the requirements of large-scale systems. We will develop and scale-up to industry strength, simpler, more powerful, strategies for analysing, designing and providing the high level of assurance required.Read moreRead less
Formal modelling and analysis of software requirements for air traffic management systems for improved integrity assurance. This project will significantly reduce the time and cost of developing software for critical applications such as aviation and air traffic management. As well as improving the trustworthiness of safety-critical computer-based systems, this project will also enable system improvements to be deployed faster and more reliably.
Modelling interactions of spray droplets with plants. This project addresses the National Research Priority of an environmentally sustainable Australia by developing sophisticated mathematical models and interactive software that will identify environmentally friendlier technologies to efficiently deliver agrichemicals while minimising large scale water usage. National benefits will accrue from the provision for postdoctoral, PhD and IT staff training, while direct links with industry will provi ....Modelling interactions of spray droplets with plants. This project addresses the National Research Priority of an environmentally sustainable Australia by developing sophisticated mathematical models and interactive software that will identify environmentally friendlier technologies to efficiently deliver agrichemicals while minimising large scale water usage. National benefits will accrue from the provision for postdoctoral, PhD and IT staff training, while direct links with industry will provide technology transfer to end-users to ensure community uptake. The project will benefit rural and regional communities by providing long-term solutions in the areas of water use and quality, pesticide pollution reduction, and improved environment and human health care.Read moreRead less
An Integrated Environment for Verification of Large-Scale Railway Interlockings. Railway administrations produce tabular specifications called Control Tables that define the safety and operational requirements for Railway Interlockings. This project will address the critical problem of early detection and elimination of errors in Control Tables. The project will produce a prototype environment for verifying railway interlocking Control Tables, suitable for application to most of the interlockin ....An Integrated Environment for Verification of Large-Scale Railway Interlockings. Railway administrations produce tabular specifications called Control Tables that define the safety and operational requirements for Railway Interlockings. This project will address the critical problem of early detection and elimination of errors in Control Tables. The project will produce a prototype environment for verifying railway interlocking Control Tables, suitable for application to most of the interlockings on the Queensland Rail network. It will also deliver results that will improve the current state-of-the-art in the practical application of model-checking technology.Read moreRead less
Model-driven development and verification of railway interlocking control logic. Railway interlockings are an essential and safety-critical part of all rail infrastructure. The results of the proposed project are intended to reduce the cost of the development and improve the quality of railway interlockings control logic. This will contribute to safer and more cost-effective rail transport in Queensland, Australia and internationally. This project has the potential to improve both development an ....Model-driven development and verification of railway interlocking control logic. Railway interlockings are an essential and safety-critical part of all rail infrastructure. The results of the proposed project are intended to reduce the cost of the development and improve the quality of railway interlockings control logic. This will contribute to safer and more cost-effective rail transport in Queensland, Australia and internationally. This project has the potential to improve both development and V&V capabilities for organisations that plan to use model-driven architecture (MDA) for safety-critical systems. While the industrial usage of MDA is currently in its infancy, forecasts predict that MDA will fundamentally change software development practice, especially in developed countries like Australia.Read moreRead less
Investigation of a Dynamic Collaborative Framework for Multi-Modal Devices. Modern business and society increasingly call for agility through the rapid formation of groups and collaboration of individuals. Mobile computing devices have the potential to enable this collaboration. However this is currently unrealised; software is not keeping up with hardware. This project aims to investigate techniques and software tools to provide an adaptive framework for multimedia-rich applications, which seam ....Investigation of a Dynamic Collaborative Framework for Multi-Modal Devices. Modern business and society increasingly call for agility through the rapid formation of groups and collaboration of individuals. Mobile computing devices have the potential to enable this collaboration. However this is currently unrealised; software is not keeping up with hardware. This project aims to investigate techniques and software tools to provide an adaptive framework for multimedia-rich applications, which seamlessly support collaboration through multi-modal communications between heterogenous mobile devices. This combination of multimedia, smart devices and advanced communications has the potential to revolutionise many key industries by making information available and manipulable in new and better ways.Read moreRead less