Linkage - International - Grant ID: LX0239968

Funding Activity

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

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

Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project will develop techniques and software tools for simulation and verification based on the new Rosetta system-level design language. These tools will make the design of complex computer-based systems faster, more reliable and less costly by minimizing design errors early in the design flow.

Funded Activity Details

Start Date: 2002

End Date: 12-2004

Funding Scheme: Linkage - International

Funding Amount: $31,100.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Mathematical Logic And Formal Languages | Computer Software Not Elsewhere Classified | Integrated Circuits | Computer Software

ANZSRC Socio-Economic Objective (SEO)

Application tools and system utilities | Integrated systems |

Related Links