Discovery Projects - Grant ID: DP0881854

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/API/grants/DP0881854

Funding Status
Closed

Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the .

Funded Activity Summary

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.

Funded Activity Details

Start Date: 07-2008

End Date: 12-2010

Funding Scheme: Discovery Projects

Funding Amount: $236,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Other Artificial Intelligence | Software Engineering | Information Systems Development Methodologies | Computer Software

ANZSRC Socio-Economic Objective (SEO)

Application tools and system utilities |

Related Links