Linkage Projects - Grant ID: LP0212905

Funding Activity

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

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

Design and Formal Verification of Control and Data Acquisition Protocols. This research will develop new specification and verification techniques for remote control protocols, used among interconnected sites in supply utilities such as electricity grids, based on a proven formal methods technology. These protocols are used in the monitoring of data from remote sites, and the transmission of control commands to such sites from a central location. Benefits to the industrial partner include increased assurance that their control technology does correctly realise the adopted protocols. Assurance of correctness is significant in that incorrect protocol implementation may cause errant operation of equipment, and lead to economic and environmental damage.

Funded Activity Details

Start Date: 09-06-2002

End Date: 08-06-2005

Funding Scheme: Linkage Projects

Funding Amount: $180,998.00

Funder: Australian Research Council

Research Topics

ANZSRC Field of Research (FoR)

Programming Languages | Integrated Circuits | Computer Software | Logic Design |

ANZSRC Socio-Economic Objective (SEO)

Modules—special and attached processors

Other Keywords

Computer Software | Integrated Circuits | Logic Design | Modules—special and attached processors | Programming Languages

Related Links