Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project ....Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project will develop techniques and software tools for simulation and verification based on the new Rosetta system-level design language. These tools will make the design of complex computer-based systems faster, more reliable and less costly by minimizing design errors early in the design flow.Read moreRead less
Unified Representations of Multimodal Biometrics for Robust Authentication and Identification. We propose two biometric systems based on two novel unified multimodal biometric representations. These systems will have a great potential impact on the national economy by reducing frauds related to identity, credit card transactions, and ATM withdrawals. Statistics show that these types of frauds are dramatically increasing in the U.S.A., the U.K., and Australia. Our systems will also have governmen ....Unified Representations of Multimodal Biometrics for Robust Authentication and Identification. We propose two biometric systems based on two novel unified multimodal biometric representations. These systems will have a great potential impact on the national economy by reducing frauds related to identity, credit card transactions, and ATM withdrawals. Statistics show that these types of frauds are dramatically increasing in the U.S.A., the U.K., and Australia. Our systems will also have government applications and will impact on the national security in areas related to immigration, passport and driver's license controls. Forensic applications include criminal identification, crime scene investigation and corpse identification (as in the case of the victims of the Asian tsunami 2004). Read moreRead less
An automated 3D model-based object recognition system. A novel, practical 3D vision system is proposed as a platform for fundamental applied research in 3D data acquisition, object modelling and object recognition. The significance of the vision system lies in the advancement of knowledge in three key areas of computer vision, registration, recognition and error propagation. The result is a system capable of sensing, modelling and identifying arbitrarily shaped free-form objects in a scene, an a ....An automated 3D model-based object recognition system. A novel, practical 3D vision system is proposed as a platform for fundamental applied research in 3D data acquisition, object modelling and object recognition. The significance of the vision system lies in the advancement of knowledge in three key areas of computer vision, registration, recognition and error propagation. The result is a system capable of sensing, modelling and identifying arbitrarily shaped free-form objects in a scene, an attribute lacking in current systems. Such a system can provide substantial economic benefits to industrial procedures such as grasp planning and quality control.Read moreRead less
Smart Location Sensors for Emergency Responders. 1. It underpins the 2006 e-Government strategy with regards to spatially enabling Australian Government. This research will generate outputs to support this strategy. 2. It contributes to Australian national strategies for emergency management with regards to 'assuring the safety of emergency responders'. 3. It addresses fundamental constraints of positioning systems like GPS and provides the theoretical and practical models to take GPS into 'hars ....Smart Location Sensors for Emergency Responders. 1. It underpins the 2006 e-Government strategy with regards to spatially enabling Australian Government. This research will generate outputs to support this strategy. 2. It contributes to Australian national strategies for emergency management with regards to 'assuring the safety of emergency responders'. 3. It addresses fundamental constraints of positioning systems like GPS and provides the theoretical and practical models to take GPS into 'harsher' environments. The outcomes will expand the uses of GPS and facilitate growth across many Australian industries. 4. It will enhance the expertise and international profile of Australian researchers by offering an innovative solution to an internationally significant problem.Read moreRead less
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
Hardware Verification Techniques for Complex High Performance Systems-on-a-chip. Verifying the correctness of modern integrated circuit designs is a critical success factor from both economic and technological perspectives. Rapid advances in semiconductor manufacturing technology are not matched by similar gains in hardware design verification methodology. This creates a widening verification gap that threatens the viability of future complex integrated circuits. This project aims to address th ....Hardware Verification Techniques for Complex High Performance Systems-on-a-chip. Verifying the correctness of modern integrated circuit designs is a critical success factor from both economic and technological perspectives. Rapid advances in semiconductor manufacturing technology are not matched by similar gains in hardware design verification methodology. This creates a widening verification gap that threatens the viability of future complex integrated circuits. This project aims to address this issue by developing novel hardware verification techniques targeting complex high performance systems-on-a-chip. The research outcome will be a set of verification techniques and tools that directly benefit the advancement of future integrated circuit development, verification and manufacturing.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0775672
Funder
Australian Research Council
Funding Amount
$150,000.00
Summary
3D Scanning and Printing Facilities (3DSPF). A one-stop shop is proposed to accommodate 3D scanning and printing facilities in WA to advance a range of research projects currently undertaken by internationally renowned researchers in their respective fields. The facility will impact on our research programs in a wide range of disciplines including rapid prototyping, robotics, geomatics, demining, nanotechnology, and molecular modeling. These projects are of high significance and will advance res ....3D Scanning and Printing Facilities (3DSPF). A one-stop shop is proposed to accommodate 3D scanning and printing facilities in WA to advance a range of research projects currently undertaken by internationally renowned researchers in their respective fields. The facility will impact on our research programs in a wide range of disciplines including rapid prototyping, robotics, geomatics, demining, nanotechnology, and molecular modeling. These projects are of high significance and will advance research in most of the national priorities. The facility can also be used for training and teaching purposes. The facility builds on a previous long range scanning facility and on the State Government's support of leading edge computational and visualization facilities. 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