Discovery Projects - Grant ID: DP0449773

Funding Activity

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

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

Verified Emulation of Legacy Mission Computer Systems. Processor obsolescence is a serious maintenance problem for long-lived computer control systems in military aircraft and other critical applications. A promising solution is to interpose an emulator program between the original "legacy" software and a replacement processor. Unfortunately, no techniques exist for accurately verifying that this procedure preserves the original system's functional and timing behaviour. A particular challenge is that processor emulations involve both legacy code and new subroutines, written in different programming languages. This project will enable verification of safety and mission-critical emulated systems by devising a multilingual modelling and reasoning formalism, based on program refinement theory.

Funded Activity Details

Start Date: 01-01-2004

End Date: 31-12-2006

Funding Scheme: Discovery Projects

Funding Amount: $168,000.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Programming Techniques | Software Engineering | Computer Software

ANZSRC Socio-Economic Objective (SEO)

Other | Computer software and services not elsewhere classified |

Other Keywords

Computer Software | Computer software and services not elsewhere classified | Other | Programming Techniques | Software Engineering

Related Links