Analysing and Generating Fault-Tolerant Real-Time Systems [ 2005-01-01 - 2008-12-31 ]

Research Grant

Researchers: Dr Graeme Smith (Chief Investigator) ,  Emeritus Professor Ian Hayes (Chief Investigator)

Brief description Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.\r\nThis project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, concentrating on their software control components.

Funding Amount $303,000

Funding Scheme Discovery Projects

View this grant in the ARC Data Portal