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
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
Control Strategies for Idle Speed of Automotive Engines. Reduction of engine idle speed will provide significant improvements in fuel efficiency. Current techniques are based on simplified models of a complex engine system and as a result do not fully exploit the possible controller capability. Therefore this project proposes new engine models and will provide novel controller methods to address this problem. This should contribute to increased engine stability and faster torque response to dist ....Control Strategies for Idle Speed of Automotive Engines. Reduction of engine idle speed will provide significant improvements in fuel efficiency. Current techniques are based on simplified models of a complex engine system and as a result do not fully exploit the possible controller capability. Therefore this project proposes new engine models and will provide novel controller methods to address this problem. This should contribute to increased engine stability and faster torque response to disturbances like air conditioner engagement, for both LPG and gasoline injected engines, thus allowing the engine idle speed to be lowered without risking stall or impairing the engine Noise, Vibration and Harshness quality.Read moreRead less
Advanced computer simulations of star cluster evolution. The topic of this fellowship is dynamical simulations of star clusters using high-end graphics cards originally developed for the computer gaming industry. The proposed fellowship will thereby enhance Australia's capacity in the exploitation of high-performance computing and will give it a strong position in the new field of graphics card based simulations. The computer cluster built during the fellowship will also be an outstanding enviro ....Advanced computer simulations of star cluster evolution. The topic of this fellowship is dynamical simulations of star clusters using high-end graphics cards originally developed for the computer gaming industry. The proposed fellowship will thereby enhance Australia's capacity in the exploitation of high-performance computing and will give it a strong position in the new field of graphics card based simulations. The computer cluster built during the fellowship will also be an outstanding environment for the training of students. In addition, while Australia has a strong tradition in star cluster astronomy, it has so far not captured a leadership role in the theoretical analysis. The four years of this fellowship will allow it to establish a world-leading position in star cluster simulations.Read moreRead less
The Enhancement of Heat Transfer in Micro-Chips by MEMS actuator: Parametric Study. This challenging project has the potential of introducing a new technology for cooling micro-devices. Since the computer industry is sensitive to innovation it is necessary to develop the theoretical and practical skill for manufacturing the cooling devices. This will help Australian industry to greatly enhance its capabilities in this very important area of economy. The present project is a rare combination ....The Enhancement of Heat Transfer in Micro-Chips by MEMS actuator: Parametric Study. This challenging project has the potential of introducing a new technology for cooling micro-devices. Since the computer industry is sensitive to innovation it is necessary to develop the theoretical and practical skill for manufacturing the cooling devices. This will help Australian industry to greatly enhance its capabilities in this very important area of economy. The present project is a rare combination of multi-disciplinary studies and will result in a better understanding of the complex thermal and fluid flow phenomena in micro channels, and the design and fabrication techniques for the next generation of micro-chips. Read moreRead less