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
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
ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand add ....ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand addresses issues about methodology, modelling toolkits, and management and control. Practical applications are advanced via collaborative projects that address key issues in biology, environment, and socio-economics.Read moreRead less
Quantum Information and Entanglement: a new framework for Science and Technology with quantum many-body systems. The expected outcome of the research program is a significant boost in the understanding of quantum many-body systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By developing both the underpinning theory and innovative computational tools, and by applying them to problems of recognised impor ....Quantum Information and Entanglement: a new framework for Science and Technology with quantum many-body systems. The expected outcome of the research program is a significant boost in the understanding of quantum many-body systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By developing both the underpinning theory and innovative computational tools, and by applying them to problems of recognised importance, this program will have direct implications in areas of condensed matter physics, quantum statistical mechanics, particle physics, complex systems, quantum information science and technology, quantum computation, engineered quantum systems and nanotechnology. Read moreRead less
Contaminant Transport in Marine Sediment. Sediments in bays and estuaries are often contaminated. The inorganic contaminants in sediments can be released back into the water body through mass transfer processes. The mass transfer rate is largely controlled by the wave-driven seepage flux across the seabed. Quantification of this flux is thus a key factor in modelling water quality of coastal water bodies. This project aims to: (1) develop models forwave-induced seepage flux within sediments and ....Contaminant Transport in Marine Sediment. Sediments in bays and estuaries are often contaminated. The inorganic contaminants in sediments can be released back into the water body through mass transfer processes. The mass transfer rate is largely controlled by the wave-driven seepage flux across the seabed. Quantification of this flux is thus a key factor in modelling water quality of coastal water bodies. This project aims to: (1) develop models forwave-induced seepage flux within sediments and contaminant transport; and (2) establish the link between seepage flux and contaminant transport. Outcomes of the proposed research will enhance the understanding of the mechanism of contaminant transport in marine sediment.Read moreRead less
Poro-elastic, single domain model of wave-induced transport and transformation of pollutants in coastal sediments. The sediments in many bays and estuaries in Australia are contaminated by pollutants due to discharge of waste from the river, groundwater or/and ocean outfall. Most previous research has had a multi-domain approach and have ignored the wave-dirven advective flow and effects of soil behaviour in coastal sediment. In this study, we will couple the procedure of pollutant transport ne ....Poro-elastic, single domain model of wave-induced transport and transformation of pollutants in coastal sediments. The sediments in many bays and estuaries in Australia are contaminated by pollutants due to discharge of waste from the river, groundwater or/and ocean outfall. Most previous research has had a multi-domain approach and have ignored the wave-dirven advective flow and effects of soil behaviour in coastal sediment. In this study, we will couple the procedure of pollutant transport near the sediment-water interface by a single domain approach, and link wave-dirven advective flow and contaminant in marine sediments. The research outcomes will provide a better prediction of the transformation behaviour of pollutants in contaminated sediments.Read moreRead less
Rigorous Three Dimensional Plasticity Solutions for Soil and Rock Slopes. Slope failures and landslides are a persistent cause of economic loss in Australia. Damages resulting from landslides include both property damage and loss of life. One such recent catastrophic slope failure is the landslide that occurred at Thredbo Village in New South Wales in 1997. This monumental landslide resulted in the deaths of 18 people and was considered by the coroner as the worst natural disaster in Australian ....Rigorous Three Dimensional Plasticity Solutions for Soil and Rock Slopes. Slope failures and landslides are a persistent cause of economic loss in Australia. Damages resulting from landslides include both property damage and loss of life. One such recent catastrophic slope failure is the landslide that occurred at Thredbo Village in New South Wales in 1997. This monumental landslide resulted in the deaths of 18 people and was considered by the coroner as the worst natural disaster in Australian history. The primary aim of this research project is to apply recently developed computational tools to better understand 3D slope behaviour and to develop rigorous stability solutions that can be used by design engineers. A better understanding of 3D slope failure will lead to more economic and safer slope designs.Read moreRead less
Modelling of sand wave migration and its interaction with pipelines. The movement of sand due to sand waves can interfere with marine structures such as pipelines and cables on the seabed. It may also cause free spans of pipelines, with potentially serious consequences. Most previous research has considered sand wave propagation and the stability of pipelines as separate problems. In this project, we propose a coupled analysis of sand wave migration and its interaction with pipelines through mat ....Modelling of sand wave migration and its interaction with pipelines. The movement of sand due to sand waves can interfere with marine structures such as pipelines and cables on the seabed. It may also cause free spans of pipelines, with potentially serious consequences. Most previous research has considered sand wave propagation and the stability of pipelines as separate problems. In this project, we propose a coupled analysis of sand wave migration and its interaction with pipelines through mathematical and numerical modelling. The theoretical work will be supported by laboratory experiments. The resulting research will provide a better understanding of sand wave migration, beach profiles and the stability of pipelines.Read moreRead less
Coupling models for ocean waves, groundwater and porous seabeds interaction. The ocean waves, groundwater flow and porous seabeds interaction problem is vital for erosion control, saltily and biological activities in coastal regions. Most previous research has investigated the problem from individual aspects, rather than a coupling concept. In this study, we will develop advanced theoretical models for procedures of waves propagation, water table fluctuations and soil behaviour in a porous seabe ....Coupling models for ocean waves, groundwater and porous seabeds interaction. The ocean waves, groundwater flow and porous seabeds interaction problem is vital for erosion control, saltily and biological activities in coastal regions. Most previous research has investigated the problem from individual aspects, rather than a coupling concept. In this study, we will develop advanced theoretical models for procedures of waves propagation, water table fluctuations and soil behaviour in a porous seabed, and couple them in a model. A series of experiments will be conducted for the verification of the theoretical findings. The research outcomes will provide a better understanding of the interaction between ocean wave, groundwater flow and porous seabeds.Read moreRead less