Reconfigurable Computing Implementations of Reactive Systems. Reconfigurable computing combines programmable software with programmable hardware and shows real promise as an efficient implementation technology for real-time embedded computing applications. However, its use in real-time systems has been hampered by a lack of rigorous analysis of its benefits, and by a lack of a suitable methodology for the efficient specification, analysis and design of such systems. This project seeks to deve ....Reconfigurable Computing Implementations of Reactive Systems. Reconfigurable computing combines programmable software with programmable hardware and shows real promise as an efficient implementation technology for real-time embedded computing applications. However, its use in real-time systems has been hampered by a lack of rigorous analysis of its benefits, and by a lack of a suitable methodology for the efficient specification, analysis and design of such systems. This project seeks to develop such a methodology, and demonstrate its benefits through several proof-of-concept application implementations.Read moreRead less
Design Automation for Processor Pipelines. Embedded system processors comprise about eighty percent of the processor market. This project targets this particular segment, customising multi-processor system on chips for a particular class of embedded applications, resulting in superior performance, low power and reduced cost. Direct benefits will include clear understanding of architectures and algorithms, research training, better processors for the embedded market, and quality publications. Ind ....Design Automation for Processor Pipelines. Embedded system processors comprise about eighty percent of the processor market. This project targets this particular segment, customising multi-processor system on chips for a particular class of embedded applications, resulting in superior performance, low power and reduced cost. Direct benefits will include clear understanding of architectures and algorithms, research training, better processors for the embedded market, and quality publications. Indirect benefits will be commercialisation and licensing of this technology for use in the embedded systems design industry. Companies which can benefit from this technology exist in Australia and overseas.Read moreRead less
Automatic Co-Processor Synthesis for Application Specific Instruction Set Processors. Embedded system processors comprise of about eighty percent of the processor market. This project targets this particular segment, customising processors for a particular embedded application, resulting in superior performance, low power and reduced cost. Direct benefits will include clear understanding of architectures and algorithms, research training, better processors for the embedded market, and quality ....Automatic Co-Processor Synthesis for Application Specific Instruction Set Processors. Embedded system processors comprise of about eighty percent of the processor market. This project targets this particular segment, customising processors for a particular embedded application, resulting in superior performance, low power and reduced cost. Direct benefits will include clear understanding of architectures and algorithms, research training, better processors for the embedded market, and quality publications. Indirect benefits will be commercialisation and licensing of this technology for use in the processor design industry. Read moreRead less
Low Power Architectures for the Wavelet Transform and JPEG2000. Recently a new international standard for image compression has been proposed, JPEG2000. This new method updates the well established JPEG standard and will be incorporated into digital cameras, web pads, etc.
In this project we will investigate low power architectures for the wavelet transforms used in this standard, and combine this with an embedded processor core to deliver a complete system on a chip solution for low power JPEG ....Low Power Architectures for the Wavelet Transform and JPEG2000. Recently a new international standard for image compression has been proposed, JPEG2000. This new method updates the well established JPEG standard and will be incorporated into digital cameras, web pads, etc.
In this project we will investigate low power architectures for the wavelet transforms used in this standard, and combine this with an embedded processor core to deliver a complete system on a chip solution for low power JPEG2000.Read moreRead less
Reliable Truly Deep Sub-micron VLSI Computational Systems. The phenomenal growth of the digital integrated circuits is founded on the fundamental assumption of reliable operation of logic gates on silicon chip. In the Deep Sub-Micron domain this fundamental assumption can no longer be guaranteed. This project, in association with with Dongshin University, Korea with strong links to the semiconductor industry, will develop design techniques for the reliable computational hardware, in the presence ....Reliable Truly Deep Sub-micron VLSI Computational Systems. The phenomenal growth of the digital integrated circuits is founded on the fundamental assumption of reliable operation of logic gates on silicon chip. In the Deep Sub-Micron domain this fundamental assumption can no longer be guaranteed. This project, in association with with Dongshin University, Korea with strong links to the semiconductor industry, will develop design techniques for the reliable computational hardware, in the presence of unreliable circuit fabric. This significant research, with potential for generation of IP, will raise the profile of Australian research in integrated circuits design in the global community and will result in significant publicity for the research team and, through them, for Australian industry.Read moreRead less
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