To access this element change to forms mode OFF
Grant Award View - GA29121-V1
Design and verification of correct, efficient and secure concurrent...
GA ID:
GA29121-V1
Agency:
Australian Research Council
Approval Date:
27-Nov-2018
Variation Publish Date:
9-Jul-2019
Variation Date:
9-Jul-2019
Category:
Science, Technology, Engineering and Mathematics (STEM) Research
Grant Term:
30-Jun-2019 to 30-Jun-2022
Value (AUD):
$460,000.00
(GST inclusive where applicable)
Varies:
GA29121
- Design and verification of correct, efficient and secure concurrent systems
One-off/Ad hoc:
No
Aggregate Grant Award:
No
PBS Program Name:
ARC 18/19 Discovery
Grant Program:
Discovery Projects
Grant Activity:
Design and verification of correct, efficient and secure concurrent systems
Purpose:
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.
GO ID:
GO Title:
Discovery Projects commencing in 2019
Internal Reference ID:
DP19 Round 1
Selection Process:
Targeted or Restricted Competitive
Confidentiality - Contract:
No
Confidentiality - Outputs:
No
Grant Recipient Details
Recipient Name:
The University of Queensland
Recipient ABN:
63 942 912 684
Grant Recipient Location
Suburb:
ST LUCIA
Town/City:
ST LUCIA
Postcode:
4067
State/Territory:
QLD
Country:
AUSTRALIA
Grant Delivery Location
State/Territory:
QLD
Postcode:
4067
Country:
AUSTRALIA