Linkage - International - Grant ID: LX0454639

Funding Activity

Website
http://dataportal.arc.gov.au/NCGP/API/grants/LX0454639

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

Extending the scope of modular analysis for the validation of large systems. The increasing complexity of computer systems has severe implications for verification and validation, especially for critical systems (e.g. medical supervision, avionics mission systems). The standard approach is to build a formal model of the system and automatically analyse its behaviour. Such models can be captured in a modular, high-level description, but the number of states is usually so large as to preclude analysis. The modular analysis proposed in this project matches the analysis technique to the structure of the model. Preliminary results are promising and motivate the extension of the technique to a larger class of modular descriptions.

Funded Activity Details

Start Date: 2004

End Date: 12-2006

Funding Scheme: Linkage - International

Funding Amount: $10,120.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Computation Theory And Mathematics Not Elsewhere Classified | Computation Theory and Mathematics | Discrete Mathematics

ANZSRC Socio-Economic Objective (SEO)

Combined operations | Network switching equipment | Aerospace equipment |

Related Links