Linkage Projects - Grant ID: LP0455155

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/Web/Grant/Grant/LP0455155

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

An Integrated Environment for Verification of Large-Scale Railway Interlockings. Railway administrations produce tabular specifications called Control Tables that define the safety and operational requirements for Railway Interlockings. This project will address the critical problem of early detection and elimination of errors in Control Tables. The project will produce a prototype environment for verifying railway interlocking Control Tables, suitable for application to most of the interlockings on the Queensland Rail network. It will also deliver results that will improve the current state-of-the-art in the practical application of model-checking technology.

Funded Activity Details

Start Date: 20-09-2004

End Date: 31-12-2007

Funding Scheme: Linkage Projects

Funding Amount: $156,589.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Software Engineering | Road And Rail Transportation | Computer Software

ANZSRC Socio-Economic Objective (SEO)

Computer software and services not elsewhere classified | Rail transport |

Other Keywords

Computer Software | Computer software and services not elsewhere classified | Rail transport | Road And Rail Transportation | Software Engineering

Related Links