ARC Linkage & Discovery Grant Successes
Congratulations to Centre CI's and collaborators who have been successful in obtaining considerable follow-on funding from the ARC. Full details are at www.arc.gov.au/ncgp/dp/dp_outcomes.htm, for Discovery Grants and www.arc.gov.au/ncgp/lp/lp_outcomes.htm for the Linkage Grants.
Software quality improvement through static analysis and annotation
Prof IJ Hayes; Dr CN Cifuentes (The University of Queensland, Sun Microsystems Australia)
2009 -11: $279,000
A new approach to air traffic management to deliver significantly reduced environmental impact and system‑wide efficiencies
Prof PA Lindsay; Prof RG Dromey; Dr RK Porteous; Dr VL Wheway, (The University of Queensland, Griffith University, Airservices Australia, The Boeing Company ‑ Phantom Works, Qantas Airways Limited)
This project is a direct follow on from the ACCS Air Traffic Control program. Aviation is often cited as a major contributor to harmful emissions in the upper atmosphere. The primary outcome of this project is the development of tools that will enable aviation industry stakeholders to optimise the deployment of 4‑Dimensional User Preferred Trajectories across Australian airspace. It is expected that this will result in significant environmental benefit, through reductions in fuel burn for each flight, and increases in system effectiveness. The project will enable better analysis of Australian aviation environmental effect, whilst at the same time allowing the aviation industry to continue to contribute to Australia's sustainable economic growth.
Reducing the risks associated with developing large‑scale, critical software‑integrated systems
Prof RG Dromey; Prof PA Lindsay; Prof IJ Hayes; Prof P Fritzson, (Griffith University, The University of Queensland, Raytheon Australia, K.J. Ross & Associates Pty. Ltd)
This project is a direct follow on from the ACCS Dependable Complex Systems program. Industry, government and defence increasingly rely on large‑scale, critical software‑integrated systems. The scale and complexity of these systems means current methods of analysing, designing and assuring their dependability are struggling to provide the constructive support and assurance that is demanded. Consequently, there are significant risks of cost and schedule overruns and of system problems and failures. This project builds on results from our current collaboration ‑ a new method for modelling, analysis and defect detection for the requirements of large‑scale systems. We will develop and scale‑up to industry strength, simpler, more powerful, strategies for analysing, designing and providing the high level of assurance required
The following two grants successes were announced earlier in 2008:
A scalable debugging framework for petascale computers
Prof DA Abramson; Dr L DeRose;
Mr R Moench (Monash Univeristy, Cray Inc)
2008-11 : $329,524
Assessing the impacts of proposed carbon trading and tax schemes on the electricity industry and the overall economy
Prof J Foster; Prof JC Quiggin; Dr PE Simshauser; Mr CJ Nalder, (The University of Queensland, Babcock & Brown Power Pty Ltd)
This project is a direct follow on from the ACCS Electricity Networks & Energy Markets program. Currently, policymakers require a much clearer understanding of the impacts of different carbon abatement policies. Mounting evidence on global warming is making this an increasingly urgent priority. The proposed project is specifically concerned with using state of the art economic modelling approaches to give the best advice possible to policymakers in crafting an environmentally sustainable set of economic policy instruments that can maintain our enviable standard of living well into the future. The findings of the project will be available before the new Kyoto negotiation round commences.
Combining time bands and teleo‑reactive programs for advanced dependable real‑time systems
Prof IJ Hayes; Prof Dr CB Jones; Prof A Burns; Prof KL Clark (The University of Queensland)
Innovation and dynamic networks in project‑based firms
Dr JT Steen; Mr TH Kastelle; Prof MJ Dodgson (The University of Queensland)
Talking with robots: Evolving grounded language for embodied agents
Dr GF Wyeth; Prof J Wiles (The University of Queensland)
Dual phase evolution in networks
Prof DG Green; Prof HA Abbass (Monash University, UNSW@ADFA)
This project is a direct follow on from the ACCS Complex Systems Theory & Applications program. A grand challenge for modern society is the sheer complexity of vast networks arising from organizations and infrastructures. Unexpected, sometimes catastrophic, behaviour often emerges from interactions within such systems. As a result, the Internet, financial markets, power grids and other vital infrastructures are susceptible to costly problems such as cascading failures, inefficiency, and unpredictability. High‑tech industries, such as biotechnology and information networking, face problems in coordinating networks of interacting agents. This project will expand the horizon of complex systems by deriving the design principles underpinning stable and resilient network structures and validate these principles on real world networks.