Discovery Early Career Researcher Award - Grant ID: DE170101081
Funder
Australian Research Council
Funding Amount
$360,000.00
Summary
Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis t ....Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis to efficiently and precisely analyse large-scale programs according to clients’ needs, thereby allowing compilers to generate safe, reliable and secure code. This project is expected to advance value-flow analysis for industrial-sized software, improve software reliability and security, and benefit Australian software systems and industries.Read moreRead less
WAVELET-BASED MODELLING AND MODEL PREDICTIVE CONTROL OF COMPLEX MULTIDIMENSIONAL CRYSTALLISATION PROCESSES. The results of this project will directly contribute to a better understanding of crystallisation which is an important unit operation to achieve high purity separations. Many Australian industries for example, mineral processing, sugar processing, pharmaceuticals, etc will benefit from the results in order to enhance optimal operation and control to ensure globally competitive production ....WAVELET-BASED MODELLING AND MODEL PREDICTIVE CONTROL OF COMPLEX MULTIDIMENSIONAL CRYSTALLISATION PROCESSES. The results of this project will directly contribute to a better understanding of crystallisation which is an important unit operation to achieve high purity separations. Many Australian industries for example, mineral processing, sugar processing, pharmaceuticals, etc will benefit from the results in order to enhance optimal operation and control to ensure globally competitive production which is on time, minimize wastes and raw materials and inventories. The leading edge results will increase the contributions of these industries to the Australian economy and our global competitiveness necessary to maintain our culture and the beauty of our environment. Read moreRead less
Palladium Based Mobile Agent System for Collaborative Environments. This project aims to (a) develop a Palladium based mobile agent methodology and System for collaborative environments and to (b) construct a testbed that involves the creation of Palladium and mobile agent system to test it on "Virtual Community", that is, a real commercial application provided by our partner investigator for proof of concept.
A Commercially Viable, Innovative XML - Enabled Association Rule Framework. The pervasive nature of the Web has raised two important issues, namely (1) how to exchange data between isolated information systems within two different companies with their own data formats and (2) how to store information particularly documents, so that they can be accessed through the internet based on their meaning. The Extended Markup Language XML has emerged as the favoured means of addressing these issues and th ....A Commercially Viable, Innovative XML - Enabled Association Rule Framework. The pervasive nature of the Web has raised two important issues, namely (1) how to exchange data between isolated information systems within two different companies with their own data formats and (2) how to store information particularly documents, so that they can be accessed through the internet based on their meaning. The Extended Markup Language XML has emerged as the favoured means of addressing these issues and this is leading to an explosive growth in the information stored in this way. This project addresses the issue of determination of patterns and knowledge in information stored in XML through datamining.Read moreRead less
ARC Research Network for a Secure Australia. The Research Network for a Secure Australia (RNSA) is a multi-disciplinary collaboration established to strengthen Australia's research capacity for protecting critical infrastructure from natural or human-caused disasters including terrorist acts. The RNSA will facilitate a knowledge-sharing network for research organisations, government and the private sector to develop research tools and methods to mitigate emerging safety and security issues relat ....ARC Research Network for a Secure Australia. The Research Network for a Secure Australia (RNSA) is a multi-disciplinary collaboration established to strengthen Australia's research capacity for protecting critical infrastructure from natural or human-caused disasters including terrorist acts. The RNSA will facilitate a knowledge-sharing network for research organisations, government and the private sector to develop research tools and methods to mitigate emerging safety and security issues relating to critical infrastructure. World-leaders with extensive national and international linkages in relevant scientific, engineering and technological research will lead this collaboration. The RNSA will launch various activities to foster research collaboration and nurture young investigators.Read moreRead less
A theoretical framework for practical partial fingerprint identification. Fingerprints captured from a crime scene are often partial and poor quality which makes it difficult to identify the criminal suspects from large databases. This project will find mathematical models which can estimate the missing information located in the blank areas of a partial fingerprint and effectively identify it.