Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost ....Model-based error location in Java programs. The construction of modern software requires extensive testing and
debugging in addition to using appropriate specification, design, and
verification techniques. Testing and debugging are very time-consuming
and costly, drawing - according to recent articles - "typically 50%
or more of the resources for software projects''. By providing a new,
flexible approach to the debugging of complex software, this project
offers the potential of significant cost savings, highly beneficial to
the ICT industry. Lessons learned from the demonstration prototype,
can be directly carried over into commercial tool development. In
addition, the project strengthens links to high quality European
research laboratories.Read moreRead less
Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savin ....Model-based error location in concurrent software. The construction of modern software requires extensive testing and debugging in addition to using appropriate specification, design, and verification techniques. Testing and debugging are very time-consuming and costly, drawing - according to recent articles - ``typically 50\% or more of the resources for software projects''. By extending the power of a new, flexible debugging approach, this project offers the potential of significant cost savings, highly beneficial to any industry with a significant ICT component, e.g., defense. Lessons learned from the demonstration prototype, can be directly carried over into commercial tool development. The project strengthens links to high quality European research laboratories.Read moreRead less
Three-dimensional magnetotelluric and controlled-source electromagnetic modelling and inversion in isotropic and anisotropic media with Gaussian Quadrature Grids. Electromagnetic methods are widely used by geophysicists in many applications, including mineral, petroleum and geothermal exploration, environmental and groundwater characterisation, and in imaging of Earth and other planets. Large data-sets are routinely collected, but to interpret these carefully we need efficient computer modellin ....Three-dimensional magnetotelluric and controlled-source electromagnetic modelling and inversion in isotropic and anisotropic media with Gaussian Quadrature Grids. Electromagnetic methods are widely used by geophysicists in many applications, including mineral, petroleum and geothermal exploration, environmental and groundwater characterisation, and in imaging of Earth and other planets. Large data-sets are routinely collected, but to interpret these carefully we need efficient computer modelling tools that incorporate the complexity of the subsurface. We will develop a new computer algorithm that uses an innovative approach to model the Earth in three dimensions. Computer codes will be available through the national AuScope infrastructure facilities, so that researchers will have free access to algorithms, largely for the first time, to better interpret their data.Read moreRead less
Efficient data mining methods for evidence-based decision making. This project aims to develop efficient data mining methods for causal predictions. Evidence-based decision making (EBD), such as evidence-based medicine and policy, is always preferable. To support EBD, causal predictions forecast how outcomes change when conditions are manipulated. Progress has been made in theoretical research on causal inference based on observational data, but few methods can automatically mine causal signals ....Efficient data mining methods for evidence-based decision making. This project aims to develop efficient data mining methods for causal predictions. Evidence-based decision making (EBD), such as evidence-based medicine and policy, is always preferable. To support EBD, causal predictions forecast how outcomes change when conditions are manipulated. Progress has been made in theoretical research on causal inference based on observational data, but few methods can automatically mine causal signals from the data and methods for efficient causal predictions based on data are even fewer. This project will apply its methods to biomedical problems. The outcomes could support smart and data-driven evidence based decision making in many areas, such as therapeutics and government policy making.Read moreRead less
Early detection of component incompatibility in time-dependent computer architectures. Complex real-time systems are increasingly being built by integrating off-the-shelf components. There are obvious benefits to this approach, but the hidden costs associated with integration are still a major problem. Our proposed approach will enable early detection of integration problems, and thus provide potential for large cost savings. This brings with it clear benefits to industry. One industry that woul ....Early detection of component incompatibility in time-dependent computer architectures. Complex real-time systems are increasingly being built by integrating off-the-shelf components. There are obvious benefits to this approach, but the hidden costs associated with integration are still a major problem. Our proposed approach will enable early detection of integration problems, and thus provide potential for large cost savings. This brings with it clear benefits to industry. One industry that would benefit by such technology is the Australian Navy, which is increasingly being confronted with the challenge of integrating off-the-shelf components in large Naval Combat Systems. Read moreRead less
A hardware accellerated platform for high-fidelity, high speed simulation of infrared scenes. Missiles present a major military and terrorist threat to aircraft and ships. A possible method to detect them is an infrared imaging system which is sensitive to a missile's spectrally unique rocket propulsion exhaust. It is both dangerous and expensive to conduct field trials; so simulation is used extensively. This project aims to use high performance computing to accelerate the slowest parts of the ....A hardware accellerated platform for high-fidelity, high speed simulation of infrared scenes. Missiles present a major military and terrorist threat to aircraft and ships. A possible method to detect them is an infrared imaging system which is sensitive to a missile's spectrally unique rocket propulsion exhaust. It is both dangerous and expensive to conduct field trials; so simulation is used extensively. This project aims to use high performance computing to accelerate the slowest parts of the industrial partner's existing simulations: the generation of simulated infrared images.
This project will improve the competitiveness of the manufacturer of infrared threat and warning systems and provide research training in an area of high performance computing.
Read moreRead less
Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project ....Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project will develop techniques and software tools for simulation and verification based on the new Rosetta system-level design language. These tools will make the design of complex computer-based systems faster, more reliable and less costly by minimizing design errors early in the design flow.Read moreRead less
A Platform for Rapid and Flexible Development of Context-Aware Web Services. Context awareness is one of the most exciting trends in computing today, and it holds the potential to make our daily life more productive, convenient and enjoyable. The proposed project will produce a comprehensive platform for developing context-aware Web services, which will facilitate ready implementation of many innovative applications and make important contributions to Australian society and the national economy. ....A Platform for Rapid and Flexible Development of Context-Aware Web Services. Context awareness is one of the most exciting trends in computing today, and it holds the potential to make our daily life more productive, convenient and enjoyable. The proposed project will produce a comprehensive platform for developing context-aware Web services, which will facilitate ready implementation of many innovative applications and make important contributions to Australian society and the national economy. One such application is an intelligent seniors assistance service that will improve quality of life for senior citizens while helping them maintain an independent lifestyle. This project will also place Australia at the forefront of Web service development.Read moreRead less
Learning to see in 3D. The project aims to endow machine vision with an ability we, as humans, use almost constantly: to judge 3D properties from a 2D image. This extremely useful ability will be applied to digital images to obtain 3D measurements and aid in automating tasks such as mining, surveying, medical diagnosis, and visual effects in movies.
Recognising and reconstructing objects in real time from a moving camera. This project will use a moving camera to estimate the three-dimensional shape and identity of objects and surfaces it can see. This ability, which we humans use all the time, has wide application in automation including driver assistance, exploring hazardous environments, robotics, remote collaboration, and the creation of three-dimensional models for entertainment.