Linkage Projects - Grant ID: LP0882479

Funding Activity

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

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-driven development and verification of railway interlocking control logic. Railway interlockings are an essential and safety-critical part of all rail infrastructure. The results of the proposed project are intended to reduce the cost of the development and improve the quality of railway interlockings control logic. This will contribute to safer and more cost-effective rail transport in Queensland, Australia and internationally. This project has the potential to improve both development and V&V capabilities for organisations that plan to use model-driven architecture (MDA) for safety-critical systems. While the industrial usage of MDA is currently in its infancy, forecasts predict that MDA will fundamentally change software development practice, especially in developed countries like Australia.

Funded Activity Details

Start Date: 31-03-2008

End Date: 29-03-2012

Funding Scheme: Linkage Projects

Funding Amount: $178,346.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