Website
http://dataportal.arc.gov.au/NCGP/API/grants/DP190102142
Funding Status
Active
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 Feedback Form.
Funded Activity Summary
Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Funded Activity Details
Start Date: 06-2019
End Date: 12-2023
Funding Scheme: Discovery Projects
Funding Amount: $460,000.00
Funder: Australian Research Council
Research Topics
ANZSRC Field of Research (FoR)
Operating Systems | Computational Logic and Formal Languages | Computer Software | Concurrent Programming
ANZSRC Socio-Economic Objective (SEO)
Expanding Knowledge in the Information and Computing Sciences |
