Learning Software Security Analysers with Imperfect Data. This project aims to systematically investigate next-generation learning-based software security analysis to detect vulnerabilities in real-world large-scale software. The expected learning-based foundation will support the handling of imperfect data in order to provide a precise, scalable and adaptive security analysis of the critical software components, thus capturing important security vulnerabilities missed by existing approaches. Th ....Learning Software Security Analysers with Imperfect Data. This project aims to systematically investigate next-generation learning-based software security analysis to detect vulnerabilities in real-world large-scale software. The expected learning-based foundation will support the handling of imperfect data in order to provide a precise, scalable and adaptive security analysis of the critical software components, thus capturing important security vulnerabilities missed by existing approaches. The success of this project will further enhance the international competitiveness of Australian research in this important field and will benefit any Australian industry and business where software systems are deeply-rooted, such as transportation, smart homes, medical devices, defence and finance.Read moreRead less
Viewable Measures for Component-Based Software Engineering. Software costs over US$300 billion per year worldwide with around 70% of large projects failing to complete in time. Reliable estimation of development effort is a great challenge in Software Engineering. This project aims to develop a reliable multi-dimensional software size measure and an effort estimation model for a new method of development called component based software engineering. We will validate our results theoretically and ....Viewable Measures for Component-Based Software Engineering. Software costs over US$300 billion per year worldwide with around 70% of large projects failing to complete in time. Reliable estimation of development effort is a great challenge in Software Engineering. This project aims to develop a reliable multi-dimensional software size measure and an effort estimation model for a new method of development called component based software engineering. We will validate our results theoretically and test it against empirical data from software industry. We will provide novel visualization techniques to comprehend measurements of large systems. The outcomes will help software projects better estimate deadlines and budgets thus reducing costs significantly.Read moreRead less
Coproantigen detection tests for diagnosis of intestinal parasitic nematode infection. The aim of this project is to develop new tests for detection of hookworm and Strongyloides, two common intestinal worm infections of humans. These tests offer the potential to replace current tests, namely stool microscopy and serodiagnosis, both of whose performance is unsatisfactory due to deficiencies in sensitivity, specificity and operator convenience. The tests will rely on monoclonal antibodies to dete ....Coproantigen detection tests for diagnosis of intestinal parasitic nematode infection. The aim of this project is to develop new tests for detection of hookworm and Strongyloides, two common intestinal worm infections of humans. These tests offer the potential to replace current tests, namely stool microscopy and serodiagnosis, both of whose performance is unsatisfactory due to deficiencies in sensitivity, specificity and operator convenience. The tests will rely on monoclonal antibodies to detect parasite products in stool. Such testing technology is amenable to configuration in a robust format, suitable for large-scale manufacture. Given the worldwide prevalence of these parasites, the tests will have a market potential of international significance.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
Ownership-based Alias Analysis for Securing Unsafe Rust Programs. This project aims to develop an ownership-based alias analysis as a complement to Rust's ownership type system for improving Rust's memory safety. This project, therefore, expects to deliver an alias analysis foundation that can provide stronger memory safety guarantees than the state-of-the-art in detecting memory-safety violations and security vulnerabilities in real-world Rust programs that use unsafe language features. The exp ....Ownership-based Alias Analysis for Securing Unsafe Rust Programs. This project aims to develop an ownership-based alias analysis as a complement to Rust's ownership type system for improving Rust's memory safety. This project, therefore, expects to deliver an alias analysis foundation that can provide stronger memory safety guarantees than the state-of-the-art in detecting memory-safety violations and security vulnerabilities in real-world Rust programs that use unsafe language features. The expected outcomes are a deployable ownership-based alias analysis in the Rust compiler and an industrial-strength open-source framework. These outcomes are expected to provide significant benefits in improving software quality and security in Rust, an emerging language that offers both performance and safety.Read moreRead less
Devices that use Ion Channels. The proposed device would supply the community of researchers in Australia and internationally with new techniques to enable them to quickly and conveniently investigate properties of ion channels and to speed the screening of potential ion channel targets for pharmaceutical hits and leads. In addition, the tethered membrane technology will be developed to fill an unmet need for a quick and biologically relevant test of EMC hazards. This will enhance the science an ....Devices that use Ion Channels. The proposed device would supply the community of researchers in Australia and internationally with new techniques to enable them to quickly and conveniently investigate properties of ion channels and to speed the screening of potential ion channel targets for pharmaceutical hits and leads. In addition, the tethered membrane technology will be developed to fill an unmet need for a quick and biologically relevant test of EMC hazards. This will enhance the science and technology infrastructure within Australia, taking it into original and exciting directions, contribute to training young Australian scientists and students, as well as enhance Australia's competitive position in the field of nanobiotechnology.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
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
A framework for modelling feature variability and dependencies in software product lines. In most Australian software development organisations software products are developed individually rather than product line based. This project will promote the awareness of product line based software development and provide a frontier technology, the effective feature modelling approaches, to help Australian software industry transform from the single product based development to the product line based de ....A framework for modelling feature variability and dependencies in software product lines. In most Australian software development organisations software products are developed individually rather than product line based. This project will promote the awareness of product line based software development and provide a frontier technology, the effective feature modelling approaches, to help Australian software industry transform from the single product based development to the product line based development to achieve significant improvement on the productivity and the quality of the software development. This improvement will dramatically reduce the cost of software products and alleviate the pressure of skill shortage that currently threatens Australian economy.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0453920
Funder
Australian Research Council
Funding Amount
$108,680.00
Summary
Molecular diagnostics based on real-time polymerase chain reactions for emerging tropical infectious diseases aimed at protecting Australia from invasive diseases. The project aims to use the technique of real-time polymerase chain reaction to rapidly detect and quantify the organisms associated with emerging and re-emerging infectious diseases of man and animals. It will also be used to determine related gene expression.
The equipment will be used to support a wide range of projects that req ....Molecular diagnostics based on real-time polymerase chain reactions for emerging tropical infectious diseases aimed at protecting Australia from invasive diseases. The project aims to use the technique of real-time polymerase chain reaction to rapidly detect and quantify the organisms associated with emerging and re-emerging infectious diseases of man and animals. It will also be used to determine related gene expression.
The equipment will be used to support a wide range of projects that require the detection of specific RNA or DNA and it will allow the rapid, cost effective and efficient processing of either RNA or DNA from large numbers of samples. Minor variations in organisms will be detected using this equipment.
Read moreRead less