Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.
This project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, con ....Analysing and Generating Fault-Tolerant Real-Time Systems. Safety-critical real-time systems are being deployed increasingly in diverse areas such as controlling critical infrastructure like transportation (e.g., railway signalling) as well as in defence applications (e.g., fly-by-wire). Such systems must be dependable and hence must be built using fault-tolerant strategies.
This project is researching frontier ICT technologies for analysing, designing and generating fault-tolerant systems, concentrating on their software control components.Read moreRead less
Verified Emulation of Legacy Mission Computer Systems. Processor obsolescence is a serious maintenance problem for long-lived computer control systems in military aircraft and other critical applications. A promising solution is to interpose an emulator program between the original "legacy" software and a replacement processor. Unfortunately, no techniques exist for accurately verifying that this procedure preserves the original system's functional and timing behaviour. A particular challenge ....Verified Emulation of Legacy Mission Computer Systems. Processor obsolescence is a serious maintenance problem for long-lived computer control systems in military aircraft and other critical applications. A promising solution is to interpose an emulator program between the original "legacy" software and a replacement processor. Unfortunately, no techniques exist for accurately verifying that this procedure preserves the original system's functional and timing behaviour. A particular challenge is that processor emulations involve both legacy code and new subroutines, written in different programming languages. This project will enable verification of safety and mission-critical emulated systems by devising a multilingual modelling and reasoning formalism, based on program refinement theory.Read moreRead less
Digital Imagery for Building 3D City Models. The project will investigate the application of digital photogrammetric imagery, and primarily high-resolution satellite imagery for the creation of visually realistic 3D city models. Virtual reality computer models of urban scenes find application in urban planning, facilities management, engineering and even virtual tourism. Building upon recently initiated collaborative research, the project aims to develop improved methods and procedures for autom ....Digital Imagery for Building 3D City Models. The project will investigate the application of digital photogrammetric imagery, and primarily high-resolution satellite imagery for the creation of visually realistic 3D city models. Virtual reality computer models of urban scenes find application in urban planning, facilities management, engineering and even virtual tourism. Building upon recently initiated collaborative research, the project aims to develop improved methods and procedures for automated, image-based object reconstruction to support the generation of metrically accurate 3D computer models of buildings and the built environment.Read moreRead less
Special Research Initiatives - Grant ID: SR0354623
Funder
Australian Research Council
Funding Amount
$20,000.00
Summary
Network for Australian security technologies integration. The frontline of community safety is security technologies which include sensors to track movements and conversations of suspects; signal processing techniques for extracting information; intelligent search/audit techniques to track financial transactions; analysis techniques for predicting the spread of epidemic; and above all human factors in security operations. The aim of this initiative is to establish a network for "safeguarding Aus ....Network for Australian security technologies integration. The frontline of community safety is security technologies which include sensors to track movements and conversations of suspects; signal processing techniques for extracting information; intelligent search/audit techniques to track financial transactions; analysis techniques for predicting the spread of epidemic; and above all human factors in security operations. The aim of this initiative is to establish a network for "safeguarding Australia". This network, built on the concept of "network of networks", draws on the expertise of researchers and practitioners from diverse fields to provide an integrated approach towards development and use of security technologies for the safety of the community.Read moreRead less
ARC Research Network for a Secure Australia. The Research Network for a Secure Australia (RNSA) is a multi-disciplinary collaboration established to strengthen Australia's research capacity for protecting critical infrastructure from natural or human-caused disasters including terrorist acts. The RNSA will facilitate a knowledge-sharing network for research organisations, government and the private sector to develop research tools and methods to mitigate emerging safety and security issues relat ....ARC Research Network for a Secure Australia. The Research Network for a Secure Australia (RNSA) is a multi-disciplinary collaboration established to strengthen Australia's research capacity for protecting critical infrastructure from natural or human-caused disasters including terrorist acts. The RNSA will facilitate a knowledge-sharing network for research organisations, government and the private sector to develop research tools and methods to mitigate emerging safety and security issues relating to critical infrastructure. World-leaders with extensive national and international linkages in relevant scientific, engineering and technological research will lead this collaboration. The RNSA will launch various activities to foster research collaboration and nurture young investigators.Read moreRead less
Developing a Scalable Infrastructure for Embedded E-Security Incorporating Cryptography and Biometric Authentication. A fundamental flaw in existing embedded e-security technologies is their cryptography-plus-PIN-number infrastructure. This has generated security concerns that have proved a major obstacle to the growth of e-commerce, presently a relatively poor 2% of market share. We aim to design a new infrastructure that can solve this security problem by incorporating cryptography and biomet ....Developing a Scalable Infrastructure for Embedded E-Security Incorporating Cryptography and Biometric Authentication. A fundamental flaw in existing embedded e-security technologies is their cryptography-plus-PIN-number infrastructure. This has generated security concerns that have proved a major obstacle to the growth of e-commerce, presently a relatively poor 2% of market share. We aim to design a new infrastructure that can solve this security problem by incorporating cryptography and biometric authentication into a computing resource limited embedded e-security system. The outcomes of this project will be a set of new cryptosystems, new biometrics processing schemes and new onboard resource allocation schemes that will form the basis for the next generation of embedded systems.Read moreRead less
ARC Research Network for Advanced Materials. Materials science/engineering is decidedly interdisciplinary, covering all science and impacting on all manufacturing industry. This network will promote interactions that do not usually occur between materials researchers and students across Australia and internationally from diverse disciplines. The scope is broadly based on advanced materials production, processing and properties but focused in four areas, involving: i) innovative structural/functi ....ARC Research Network for Advanced Materials. Materials science/engineering is decidedly interdisciplinary, covering all science and impacting on all manufacturing industry. This network will promote interactions that do not usually occur between materials researchers and students across Australia and internationally from diverse disciplines. The scope is broadly based on advanced materials production, processing and properties but focused in four areas, involving: i) innovative structural/functional materials, ii) high-tech IT/communications/sensing materials, iii) materials solutions for manufacturing, iv) materials for a sustainable Australia, and v) emerging materials technologies. Key programs will promote interdisciplinary workshops and early career researcher interactions.Read moreRead less
Fracture propagation through fragmented solids. This project investigates fracture propagation in heavily fractured (fragmented) solids such as rock masses, ice covers, fractured coatings, mortar-free structures. It introduces new ideas and methods and has potential to result in a breakthrough science to achieve better understanding of the fundamental processes of fracturing fragmented materials that will advance knowledge and develop technological innovations. A particular outcome of the projec ....Fracture propagation through fragmented solids. This project investigates fracture propagation in heavily fractured (fragmented) solids such as rock masses, ice covers, fractured coatings, mortar-free structures. It introduces new ideas and methods and has potential to result in a breakthrough science to achieve better understanding of the fundamental processes of fracturing fragmented materials that will advance knowledge and develop technological innovations. A particular outcome of the project will be in developing tools for designing new materials with enhanced failure resistance. Another application is in Resource Engineering and Earth and Planetary Science; the project will contribute to understanding of fracture propagation in the Earth's (and generally, planetary) crust.Read moreRead less
Role of Reactive Particles in Explosive Emulsions. Concentrated water-in oil explosive emulsions are widely used in the minerals industry because they are cheap, easily detonated and relatively safe to handle. Their explosive energy can be significantly increased when reactive particles are introduced into the emulsion matrix. To do this, the interaction between the solid, oil, and water phases needs to be optimised. This investigation will increase our basic understanding of the physical and ch ....Role of Reactive Particles in Explosive Emulsions. Concentrated water-in oil explosive emulsions are widely used in the minerals industry because they are cheap, easily detonated and relatively safe to handle. Their explosive energy can be significantly increased when reactive particles are introduced into the emulsion matrix. To do this, the interaction between the solid, oil, and water phases needs to be optimised. This investigation will increase our basic understanding of the physical and chemical interactions that occur between the particle and the oil-water interface, and develop a more efficient explosive that can be produced continuously on a commercial scale.Read moreRead less
Energy dissipation and vibration-assisted self-healing in structures with topological interlocking. High dissipation of impact and vibration energy, vibration-assisted self-healing, high tolerance to block failure and an ease of assembly/disassembly make topological interlocking structures ideal for safety barriers, protective shields and floating structures. The theory of these phenomena will open a way for more efficient protection of infrastructure against both natural and human perpetrated i ....Energy dissipation and vibration-assisted self-healing in structures with topological interlocking. High dissipation of impact and vibration energy, vibration-assisted self-healing, high tolerance to block failure and an ease of assembly/disassembly make topological interlocking structures ideal for safety barriers, protective shields and floating structures. The theory of these phenomena will open a way for more efficient protection of infrastructure against both natural and human perpetrated impacts and for developing new methodology in constructing mobile marine bases. This constitutes the main benefit of the project. Furthermore, understanding the resonance structure of travelling waves will improve methods of non-destructive monitoring by back analysing spectral signatures of the waves.Read moreRead less