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 system ....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.Read moreRead less
Derivation and timing analysis of concurrent real-time software. Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlin ....Derivation and timing analysis of concurrent real-time software. Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlines within programs. This allows a partitioning of the development process into a machine-independent phase that derives a program to meet a high-level specification, and a machine-dependent phase that checks that the timing deadlines within the generated machine code are guaranteed to be met.Read moreRead less
Compilation of Specifications. Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. This project will show how a tool already used by software developers, the program compiler, can be extended to undertake much of the task automatically. This will be done by devising a compilation strategy, b ....Compilation of Specifications. Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. This project will show how a tool already used by software developers, the program compiler, can be extended to undertake much of the task automatically. This will be done by devising a compilation strategy, based on program refinement theory, that automatically translates specification statements in programs into executable code. Such an outcome will ultimately improve the speed, accuracy and cost-effectiveness of critical software development.Read moreRead less
Mechanosensitive properties and modulation of N-methyl-D-aspartate (NMDA) receptors by lipid environment. This project will provide new information about the molecular determinants which influence NMDA receptor channel gating that will significantly advance our understanding of a link between NMDA receptor function and many neurodegenerative diseases as well as pain and learning and memory. The outcomes of this project may lead to the discovery of novel lipid-based biomaterials for application i ....Mechanosensitive properties and modulation of N-methyl-D-aspartate (NMDA) receptors by lipid environment. This project will provide new information about the molecular determinants which influence NMDA receptor channel gating that will significantly advance our understanding of a link between NMDA receptor function and many neurodegenerative diseases as well as pain and learning and memory. The outcomes of this project may lead to the discovery of novel lipid-based biomaterials for application in medicine and the drug industry. This research is highly significant in relation to human health. The biological and nutritional aspects of polyunsaturated lipids and dietary fish oils have long been recognized. Thus this project will provide further knowledge that could benefit the health of the nation with consequent reduced health care costs.Read moreRead less
A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. ....A Formal Approach to Resource Allocation in Service Oriented Marketplaces. There was a strong opinion at the 2004 World Economic Forum that interorganisational computing was a major factor in productivity improvements underpinning continuing economic growth in the developed world, and will continue to be so for the foreseeable future. The results of the proposed research are directed to advanced systems of this type, and will add momentum to Australia's Information Technology research community. Increased international recognition will positively impact on future interactions with the service composition research groups in Europe and the USA.Read moreRead less
Protecting young people from harm and injury: investigating the utility of a risk and protective framework. Serious injuries due to transport, violence and alcohol associated risk-taking are the main cause of teenage death. An innovative school course will be taught and evaluated that increases protecting others from risk, helping injured friends and promoting a connected environment where teachers and peers reach out to provide support.
Chemical and Biochemical Characterisation of Novel Iron Chelators with Therapeutic Potential. Iron is essential for life, but iron-overload is a potentially fatal condition. There is no natural mechanism to excrete iron in humans, so patients suffering from iron-overload disorders are treated with the chelator Desferal to enable iron excretion typically from an early age. Desferal is orally ineffective and must be given by subcutaneous infusion (12-24h, 5-6 days/week) resulting in poor patient c ....Chemical and Biochemical Characterisation of Novel Iron Chelators with Therapeutic Potential. Iron is essential for life, but iron-overload is a potentially fatal condition. There is no natural mechanism to excrete iron in humans, so patients suffering from iron-overload disorders are treated with the chelator Desferal to enable iron excretion typically from an early age. Desferal is orally ineffective and must be given by subcutaneous infusion (12-24h, 5-6 days/week) resulting in poor patient compliance. We will conduct critical chemical and biological experiments with a new series of potentially orally active iron chelators identified in our lab. The results from this project will be vital for the development of these compounds as pharmaceuticals.Read moreRead less
Patients' preference for participation in patient safety activities. This study will identify patient and nurse perceptions of involving patients in patient safety activities. Priorities for implementing strategies to support patient participation in patient safety activities will be identified, which will influence both health policy and practice.
Mathematical modelling can provide vital information on the effectiveness and practical implementation of microbicides and vaccines against HIV. This project will produce mathematical models of the earliest stages of HIV infection suitable for investigation of the implementation of vaccines and microbicides. It will provide a framework to investigate why these interventions have performed poorly to date, and how these may be better implemented.
Combining modal logics for dynamic and multi-agent systems. Modern computer software systems are required to operate in complex dynamic environments and to handle functioning of highly sensitive (security and safety-critical) organizations in government and commerce. Typical applications include air-traffic control systems, telecommunication networks, and banking systems. To ensure robustness, computationally predictable behaviour and trustworthiness of these systems, their designs and implement ....Combining modal logics for dynamic and multi-agent systems. Modern computer software systems are required to operate in complex dynamic environments and to handle functioning of highly sensitive (security and safety-critical) organizations in government and commerce. Typical applications include air-traffic control systems, telecommunication networks, and banking systems. To ensure robustness, computationally predictable behaviour and trustworthiness of these systems, their designs and implementations must be formally well grounded. This is an important but difficult challenge. This project will systematically develop a framework by combining modal-logics to adequately capture and reason about temporal, epistemic and social aspects of dynamic and multi-agent systems. The combined logics would be evaluated on practical applications.
Read moreRead less