Compilation Techniques for Embedded Systems. Highly optimising compiler tools are becoming an important part of the software development process for embedded systems. This project will provide Australia with core technology in the area of tools for embedded systems. It will allow safer embedded systems in mission-critical applications. In addition, the Australian Industry will benefit from a substantially growing embedded systems market where tools are a pre-requisite for a cost-aware and safe s ....Compilation Techniques for Embedded Systems. Highly optimising compiler tools are becoming an important part of the software development process for embedded systems. This project will provide Australia with core technology in the area of tools for embedded systems. It will allow safer embedded systems in mission-critical applications. In addition, the Australian Industry will benefit from a substantially growing embedded systems market where tools are a pre-requisite for a cost-aware and safe software development. The industry interested in embedded system tools are: Telecom/Datacom, Consumer Electronics, Industrial Automation, Retail Automation, Office Automation, Military/Aerospace, Automotive, Information Automation, Medical Devices.Read moreRead less
New Model Predictive Control Design Methods. Automatic computer control is fundamental to sustaining a wide range of manufacturing, mineral processing, chemical processing, and other industries vital to the Australian economy. Furthermore, the efficiency, profitability, and environmental impact of these operations is directly linked to the quality of this computer control. In many situations, even a few percent improvement in automatic control delivers dividends measured in many millions of doll ....New Model Predictive Control Design Methods. Automatic computer control is fundamental to sustaining a wide range of manufacturing, mineral processing, chemical processing, and other industries vital to the Australian economy. Furthermore, the efficiency, profitability, and environmental impact of these operations is directly linked to the quality of this computer control. In many situations, even a few percent improvement in automatic control delivers dividends measured in many millions of dollars. This project will develop design tools allowing for more sophisticated, high performance control to be more widely employed. This will deliver the potential for economic and environmental benefits and energy savings to be achieved across a range of industries.Read moreRead less
Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probab ....Economical and practical design and analysis of probabilistic distributed systems. Complex computing systems composed of communicating processes are
distributed over networks, and interact with embedded hardware
components. They routinely operate in probabilistic environments:
hardware components fail randomly, but at known rates; and tactical
randomisation resolves competition for resources. Effective
specification, development and analysis methods for these systems
is crucial, and probability makes that particularly difficult.
The focus of this project is to develop new formal methods that are
economical and practical in use. Exploiting our recent advances in
probabilistic program semantics, we will add probability in a new
way to proven techniques in concurrency theory, including
refinement and hierarchical design.Read moreRead less
Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence ....Algebraic reasoning for serialisability in probabilistic transaction systems. The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security.
The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devi ....Hidden-state modelling for modular analysis of information flow, protection and risk evaluation. Automation is increasing explosively, and the cliche is no longer that there is a cpu chip in your washing machine, television or automobile. Nowadays they are potentially in our cash cards, passports and soon on every item in our shopping baskets. Australia is a leader in adopting and developing such technology.
Security and privacy, hard enough for PCs, thus concerns smaller, more numerous devices that we might not even realise we are using.
Our research aims to make it easier and more effective to describe and then successfully build-in features that enforce security without adverse impact on usability.Read moreRead less
Designing software for secrecy: Security-enabled program algebra. Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build ....Designing software for secrecy: Security-enabled program algebra. Ensuring security and privacy, hard enough for PCs, is a critical problem in computer engineering; the frequency with which software security breaches are reported in smartcards and web applications means that new software-design techniques are urgently needed. This project aims to improve the quality of computer software by creating smart technology which will make it easier for designers to describe and then successfully build-in features that enforce security in software without adverse impact on usability. This research addresses National Security Priority 3, Smart technology, and will build on Australia's world-leading position in pioneering uptake of innovative technology.Read moreRead less
Gesture-controlled interaction to enrich information access. This project is a study of gestural computing (enabled by sensors such as pressure mats, infra-red sensors and video tracking) which aims to move away from desk-bound, restrictive computing environments and towards computing that is more integral to the building structure and space itself. Linking gesture controllers and information sonification delivers a unique bridge between data and human interaction. Enriching the capacity to acce ....Gesture-controlled interaction to enrich information access. This project is a study of gestural computing (enabled by sensors such as pressure mats, infra-red sensors and video tracking) which aims to move away from desk-bound, restrictive computing environments and towards computing that is more integral to the building structure and space itself. Linking gesture controllers and information sonification delivers a unique bridge between data and human interaction. Enriching the capacity to access information in dense workplace environments is central to improved efficiency across the Australian workforce. Greater accuracy and enhanced techniques for controlling information in visually-overloaded work environments contribute to Australia's competitive leadership in a global marketplace.Read moreRead less
Holographic Videography for Spatial Communication. This project is aimed at developing a true colour holographic video display in which a user or users may interact with completely synthetic objects.
This will be the first system of its kind, giving a user the illusion of real physical interaction with a completely holographic object. The illusion may be shared by many participants without the use of external aids. The project has the potential to improve productivity in many applications suc ....Holographic Videography for Spatial Communication. This project is aimed at developing a true colour holographic video display in which a user or users may interact with completely synthetic objects.
This will be the first system of its kind, giving a user the illusion of real physical interaction with a completely holographic object. The illusion may be shared by many participants without the use of external aids. The project has the potential to improve productivity in many applications such as geospatial information systems, x-ray inspection, and medical imaging, by giving a user a much more natural way of interacting with three dimensional data.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
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