Discovery Projects - Grant ID: DP0209722

Funding Activity

Website
https://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/DP0209722

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

Derivation and timing analysis of concurrent real-time software. Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlines within programs. This allows a partitioning of the development process into a machine-independent phase that derives a program to meet a high-level specification, and a machine-dependent phase that checks that the timing deadlines within the generated machine code are guaranteed to be met.

Funded Activity Details

Start Date: 01-01-2002

End Date: 31-12-2004

Funding Scheme: Discovery Projects

Funding Amount: $165,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Logics And Meanings Of Programs | Programming Techniques | Software Engineering | Computer Software

ANZSRC Socio-Economic Objective (SEO)

Computer software and services not elsewhere classified |

Other Keywords

Computer Software | Computer software and services not elsewhere classified | Logics And Meanings Of Programs | Programming Techniques | Software Engineering

Related Links