Website
http://dataportal.arc.gov.au/NCGP/API/grants/LP130100201
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
Formal modelling and analysis of software requirements for air traffic management systems for improved integrity assurance. This project will significantly reduce the time and cost of developing software for critical applications such as aviation and air traffic management. As well as improving the trustworthiness of safety-critical computer-based systems, this project will also enable system improvements to be deployed faster and more reliably.Funded Activity Details
Start Date: 09-2013
End Date: 02-2018
Funding Scheme: Linkage Projects
Funding Amount: $260,000.00
Funder: Australian Research Council
Research Topics
ANZSRC Field of Research (FoR)
Software Engineering | Computer Software
ANZSRC Socio-Economic Objective (SEO)
Air Passenger Transport | Air Safety | Application Software Packages (excl. Computer Games) |
