Cost-effective use of assertions in the verification and validation of distributed and real-time systems. The project will reinforce Australia as a world leader in empirical software engineering and software verification and validation research, thus building on Australia's strengths in ICT research and innovation. Through the involvement of a local software verification and validation company and through industrial case studies, this project will also improve the software verification and valid ....Cost-effective use of assertions in the verification and validation of distributed and real-time systems. The project will reinforce Australia as a world leader in empirical software engineering and software verification and validation research, thus building on Australia's strengths in ICT research and innovation. Through the involvement of a local software verification and validation company and through industrial case studies, this project will also improve the software verification and validation capabilities of local industry, allow them to save software development costs, and improve the quality of the software produced.Read moreRead less
Practical Tools and Techniques for the Testing of Concurrent Software Components. This project will develop tools and techniques for the practical, systematic testing of concurrent software components. Testing is a major means for ensuring that software performs as expected, but testing concurrent software is poorly understood even though the majority of complex, computer-based systems are concurrent in nature. The complexities arising from the non-deterministic nature of such software means tha ....Practical Tools and Techniques for the Testing of Concurrent Software Components. This project will develop tools and techniques for the practical, systematic testing of concurrent software components. Testing is a major means for ensuring that software performs as expected, but testing concurrent software is poorly understood even though the majority of complex, computer-based systems are concurrent in nature. The complexities arising from the non-deterministic nature of such software means that testing tools and techniques used for simpler, sequential software are inadequate. The outcomes of this project will consist of practical techniques for the effective testing of concurrent software components in general and tools for the testing of Java components in particular.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
Formalizing Software Design Pattern Concepts and Pattern Specifications using Metamodeling. Software design is currently an ad-hoc process that relies too heavily on each designer's personal experience. Software design patterns capture design know-how and make it reusable by identifying the problem and context in which a family of solutions can be applied. This project will use a formal metamodeling approach to define the concepts underlying software design patterns and hence will create precise ....Formalizing Software Design Pattern Concepts and Pattern Specifications using Metamodeling. Software design is currently an ad-hoc process that relies too heavily on each designer's personal experience. Software design patterns capture design know-how and make it reusable by identifying the problem and context in which a family of solutions can be applied. This project will use a formal metamodeling approach to define the concepts underlying software design patterns and hence will create precise and rigorous pattern specifications. Through this approach, we will incorporate patterns into the Unified Modeling Language (UML), the dominant object-oriented modeling language. Our pattern specifications will assist UML tool developers integrate software design patterns into their tools.Read moreRead less
Enhancing model-driven architecture with support for verification and validation. The proposed project will augment emerging methodologies for applying model-driven architecture to include verification and validation tools and techniques. This will decrease the time and effort required to develop software systems, and lead to better quality systems. It will evaluate and integrate existing verification and validation tools and techniques into the standards currently being developed to facilitate ....Enhancing model-driven architecture with support for verification and validation. The proposed project will augment emerging methodologies for applying model-driven architecture to include verification and validation tools and techniques. This will decrease the time and effort required to develop software systems, and lead to better quality systems. It will evaluate and integrate existing verification and validation tools and techniques into the standards currently being developed to facilitate model-driven architecture. This will strengthen Australia's software-based industries and its prominent role in defining international standards in this area.Read moreRead less
Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.
This project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, con ....Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.
This project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, concentrating on their software control components.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
Non-invasive diagnosis using micropatches that sample biomarkers from skin. We are developing a technology called the micropatch that is laid onto the surface of the skin. When the patch is pulled away, it retains proteins found in the subsurface skin layers. We believe that by analysing these proteins we will be able to diagnose diseases like cancer earlier and therefore have a better chance of treating them successfully. The process is painless, and doctors already use it to give drugs and vac ....Non-invasive diagnosis using micropatches that sample biomarkers from skin. We are developing a technology called the micropatch that is laid onto the surface of the skin. When the patch is pulled away, it retains proteins found in the subsurface skin layers. We believe that by analysing these proteins we will be able to diagnose diseases like cancer earlier and therefore have a better chance of treating them successfully. The process is painless, and doctors already use it to give drugs and vaccines. In the future we hope that our technology will be simple enough for routine diagnosis, even in the Outback where doctors are hundreds of kilometres awayRead moreRead less
Gene Expression Profiling and de novo Transcriptome Sequencing using Geneballs. The purpose of the project is to demonstrate that bead-based technology can be used in applications that currently require DNA hybridisation in order to overcome existing deficiencies in microarray technology. By providing the capability to quickly and efficiently produce, screen and utilize biomolecule libraries of nearly unlimited size, this technology provides the key to unlock the power of genomics and proteomics ....Gene Expression Profiling and de novo Transcriptome Sequencing using Geneballs. The purpose of the project is to demonstrate that bead-based technology can be used in applications that currently require DNA hybridisation in order to overcome existing deficiencies in microarray technology. By providing the capability to quickly and efficiently produce, screen and utilize biomolecule libraries of nearly unlimited size, this technology provides the key to unlock the power of genomics and proteomics for use in real world applications. The project has two aspects. First, relatively small directed cDNA-bead libraries will be compared to known low-density cDNA microarrays to validate the technique for utility in gene expression profiling. Secondly, large libraries containing short oligonucleotide sequences will be used for de novo sequencing of a complete transcriptome. Proof-of-concept in either case will pave the way for many genomic applications and catapult the technology to 'blockbuster' status.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