Website
http://dataportal.arc.gov.au/NCGP/API/grants/DP0987452
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 Feedback Form.
Funded Activity Summary
Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems. Society is becoming increasingly reliant on sophisticated real-time computer systems in applications ranging from car stability control to critical infrastructure, such as railway signalling systems. Further, there is a demand for ever greater automation and sophistication in the software controlling these systems. The research challenge in this project is to provide robust implementations of these systems in a way that allows one assess their dependability. Australia industry is actively working in these areas through companies like Ansaldo Australia, in automated railway systems, and Boeing Australia, in the defence sector.Funded Activity Details
Start Date: 2009
End Date: 10-2012
Funding Scheme: Discovery Projects
Funding Amount: $290,000.00
Funder: Australian Research Council
Research Topics
ANZSRC Field of Research (FoR)
Logics And Meanings Of Programs | Programming Techniques | Software Engineering | Computer Software
