Building dependability into complex, computer-based systems [ 2003-01-01 - 2005-12-31 ]

Research Grant

Researchers: Dr David Carrington (Chief Investigator) ,  Emeritus Professor Ian Hayes (Chief Investigator) ,  Prof Peter Lindsay (Chief Investigator) ,  Prof Robert Dromey (Chief Investigator)

Brief description Building dependability into complex, computer-based systems. Air traffic control, telecommunications, defence, power distribution and many other vital infrastructures all rely on complex computer-based systems. Whenever one of these systems fails, it can cause major disruption to society, create large financial losses and even pose risks to life. \r\n\r\nThis project will integrate and improve methods for modelling and analysing computer-based systems in terms of their requirements and architectures, focusing on how to achieve and maintain dependability in the context of on-going change and failure to meet requirements. These methods will be based on sound mathematical foundations and proven engineering approaches applicable to industrial-scale complex systems.

Funding Amount $165,000

Funding Scheme Discovery Projects

View this grant in the ARC Data Portal