Rapid Recovery from Radiation-induced Errors in Reconfigurable Hardware. This project aims to develop new methods for implementing satellite-based digital systems using reconfigurable hardware devices. The results aim to extend knowledge on the design of fault-tolerant systems and enable the use of off-the-shelf digital hardware in the implementation of satellite systems. The project aims to develop essential tools to assist in implementing fault-tolerant reconfigurable systems. These tools will ....Rapid Recovery from Radiation-induced Errors in Reconfigurable Hardware. This project aims to develop new methods for implementing satellite-based digital systems using reconfigurable hardware devices. The results aim to extend knowledge on the design of fault-tolerant systems and enable the use of off-the-shelf digital hardware in the implementation of satellite systems. The project aims to develop essential tools to assist in implementing fault-tolerant reconfigurable systems. These tools will be founded on the discovery of techniques needed for modifying a design into a form amenable to error recovery and for implementing the design in hardware. During the course of the project, these techniques will be demonstrated and tested in-orbit on the international QB50 CubeSat program.Read moreRead less
Reconfigurable System-on-Chip for Computer Network Appliances. As Internet connectivity becomes ubiquitous, so does the need for computer network security. As algorithms become more sophisticated, and network speeds increase, software-only implementations of network security applications become less feasible on small, embedded network appliances. This project investigates new computer architectures, based on reconfigurable System-on-Chip technology, which can improve algorithm speed through sp ....Reconfigurable System-on-Chip for Computer Network Appliances. As Internet connectivity becomes ubiquitous, so does the need for computer network security. As algorithms become more sophisticated, and network speeds increase, software-only implementations of network security applications become less feasible on small, embedded network appliances. This project investigates new computer architectures, based on reconfigurable System-on-Chip technology, which can improve algorithm speed through specialised instruction sets, hardware accelerators, and parallel processing. Research outcomes will be commercialised by the project's industry partner - a global leader in low-cost network security appliances.Read moreRead less
FPGA Controller Architectures for Safety Critical Applications. The project industry partner, Invensys Rail Systems, has a major design group in Australia, who work with railway signalling systems throughout the world. Invensys are keen to adopt new technologies to more efficiently and effectively implement signalling functions. However, the safety-critical nature of railway signalling means that any new technology must be analysed in detail to bring it to an acceptable technical readiness lev ....FPGA Controller Architectures for Safety Critical Applications. The project industry partner, Invensys Rail Systems, has a major design group in Australia, who work with railway signalling systems throughout the world. Invensys are keen to adopt new technologies to more efficiently and effectively implement signalling functions. However, the safety-critical nature of railway signalling means that any new technology must be analysed in detail to bring it to an acceptable technical readiness level. The outcomes of this research will be an improved technical readiness level for FPGAs in signalling systems, and this will allow Invensys' Australian design group to develop new technologies and allow them to compete more effectively in the global marketplace.Read moreRead less
Design and Formal Verification of Control and Data Acquisition Protocols. This research will develop new specification and verification techniques for remote control protocols, used among interconnected sites in supply utilities such as electricity grids, based on a proven formal methods technology. These protocols are used in the monitoring of data from remote sites, and the transmission of control commands to such sites from a central location. Benefits to the industrial partner include increa ....Design and Formal Verification of Control and Data Acquisition Protocols. This research will develop new specification and verification techniques for remote control protocols, used among interconnected sites in supply utilities such as electricity grids, based on a proven formal methods technology. These protocols are used in the monitoring of data from remote sites, and the transmission of control commands to such sites from a central location. Benefits to the industrial partner include increased assurance that their control technology does correctly realise the adopted protocols. Assurance of correctness is significant in that incorrect protocol implementation may cause errant operation of equipment, and lead to economic and environmental damage.Read moreRead less
High Performance Runtimes for Next Generation Languages. X10 is a type-safe, memory-safe programming language. This project will help make X10 a viable choice for secure software on the next generation of computer architectures. The proposed project will contribute to a better understanding of the fundamental processes that advance knowledge and facilitate the development of technological innovations (a research priority goal). By addressing a key emerging problem and consolidating Australian- ....High Performance Runtimes for Next Generation Languages. X10 is a type-safe, memory-safe programming language. This project will help make X10 a viable choice for secure software on the next generation of computer architectures. The proposed project will contribute to a better understanding of the fundamental processes that advance knowledge and facilitate the development of technological innovations (a research priority goal). By addressing a key emerging problem and consolidating Australian-based expertise in this area, the project will also enhance Australia’s capacity in frontier technologies research.Read moreRead less
High-performance real-time OS framework for low-power applications. Wireless network adapters, as they are being developed by Cisco, will find widespread use in the near future, as they are the basis of all mobile or otherwise disconnected intelligent devices. These devices must process data very rapidly, yet operate with minimal power consumption. We will develop operating system kernels that will support the secure, efficient and protected execution of the core processing firmware, and provide ....High-performance real-time OS framework for low-power applications. Wireless network adapters, as they are being developed by Cisco, will find widespread use in the near future, as they are the basis of all mobile or otherwise disconnected intelligent devices. These devices must process data very rapidly, yet operate with minimal power consumption. We will develop operating system kernels that will support the secure, efficient and protected execution of the core processing firmware, and provide application frameworks for the controlling higher software layers. We will also investigate and design hardware mechanisms that support the software while keeping power consumption minimal.Read moreRead less
Hardware-based accelerators for real-time machine learning. This project will tackle the challenge of applying real-time machine learning to massive high-frequency data. This project will leverage advancements in machine learning and hardware synthesis to implement computationally complex machine-learning algorithms on hardware-accelerated platforms, avoiding overhead delays incurred by software running on a processor.
A hardware accellerated platform for high-fidelity, high speed simulation of infrared scenes. Missiles present a major military and terrorist threat to aircraft and ships. A possible method to detect them is an infrared imaging system which is sensitive to a missile's spectrally unique rocket propulsion exhaust. It is both dangerous and expensive to conduct field trials; so simulation is used extensively. This project aims to use high performance computing to accelerate the slowest parts of the ....A hardware accellerated platform for high-fidelity, high speed simulation of infrared scenes. Missiles present a major military and terrorist threat to aircraft and ships. A possible method to detect them is an infrared imaging system which is sensitive to a missile's spectrally unique rocket propulsion exhaust. It is both dangerous and expensive to conduct field trials; so simulation is used extensively. This project aims to use high performance computing to accelerate the slowest parts of the industrial partner's existing simulations: the generation of simulated infrared images.
This project will improve the competitiveness of the manufacturer of infrared threat and warning systems and provide research training in an area of high performance computing.
Read moreRead less
Automated pathogen detection using time-gated luminescence microscopy. A rapid and general means of in-situ pathogen identification would benefit the community by ensuring that appropriate treatments can be applied in the early stages of a disease. Patient prognosis is thereby improved and opportunities for multi-drug resistant organisms to arise are limited. Time-gated luminescence microscopy (TgM) exploits persistent luminescence to overcome autofluorescence, a serious problem in pathogen dete ....Automated pathogen detection using time-gated luminescence microscopy. A rapid and general means of in-situ pathogen identification would benefit the community by ensuring that appropriate treatments can be applied in the early stages of a disease. Patient prognosis is thereby improved and opportunities for multi-drug resistant organisms to arise are limited. Time-gated luminescence microscopy (TgM) exploits persistent luminescence to overcome autofluorescence, a serious problem in pathogen detection. Drug-resistant 'Golden Staph' (MRSA) will be used as the model organism to evaluate TgM efficacy. Ultimately however, TgM will be applied for the detection of tuberculosis, a highly contagious disease affecting the respiratory system of more than one-third of the world's population.Read moreRead less
Designing the Quantum-Classical Interface: Technologies for the Diamond Quantum Co-Processor. Diamond is already seen as the front-runner for practical, high temperature, quantum information processing tasks. This proposal places the technological spotlight firmly on diamond and partnering with Hewlett-Packard will ensure that the promise of diamond is explored in an industrially relevant (rather than just academic) fashion. HP brings enormous experience and infrastructure, as well as a proven ....Designing the Quantum-Classical Interface: Technologies for the Diamond Quantum Co-Processor. Diamond is already seen as the front-runner for practical, high temperature, quantum information processing tasks. This proposal places the technological spotlight firmly on diamond and partnering with Hewlett-Packard will ensure that the promise of diamond is explored in an industrially relevant (rather than just academic) fashion. HP brings enormous experience and infrastructure, as well as a proven path to prototype and market for successful technologies. This proposal is an outstanding opportunity to increase the relevance of Australian academic research, increase the training and employment options for Australian graduates, and to expand Australian funding opportunities by improving access to US research funds.Read moreRead less