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
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0989127
Funder
Australian Research Council
Funding Amount
$400,000.00
Summary
A High-Throughput Neutron Spectrometer for The Study of Atomic and Molecular Motion at ANSTO. Neutron scattering enables new science across a broad range of disciplines, and for this reason it is undergoing major expansion in the USA, Europe, Japan and Australia. Various diffactometers and spectrometers have recently been built at ANSTO, but an instrumental option for a high-throughput cross-discipline spectroscopy is urgently needed. Fortunately, it is fairly straightforward to add this type of ....A High-Throughput Neutron Spectrometer for The Study of Atomic and Molecular Motion at ANSTO. Neutron scattering enables new science across a broad range of disciplines, and for this reason it is undergoing major expansion in the USA, Europe, Japan and Australia. Various diffactometers and spectrometers have recently been built at ANSTO, but an instrumental option for a high-throughput cross-discipline spectroscopy is urgently needed. Fortunately, it is fairly straightforward to add this type of option to an existing spectrometer that will broaden its user-base from specialised applications in physics to more general applications in physics, chemistry, materials-science and biology. This additional option provides a totally new way for Australian scientists to study atomic and molecular motions. 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
Towards Novel Biomimetic Building Materials: Evaluating Aboriginal and Western Scientific Knowledge of Spinifex Grasses. The project contributes to an environmentally sustainable Australia by examining the potential value of a hitherto ignored natural resource and assessing its usage with sustainable harvesting. Aboriginal knowledge and Western science will be combined to identify potential technological applications for a widespread but uniquely Australian resource. The project promotes the wel ....Towards Novel Biomimetic Building Materials: Evaluating Aboriginal and Western Scientific Knowledge of Spinifex Grasses. The project contributes to an environmentally sustainable Australia by examining the potential value of a hitherto ignored natural resource and assessing its usage with sustainable harvesting. Aboriginal knowledge and Western science will be combined to identify potential technological applications for a widespread but uniquely Australian resource. The project promotes the well-being and health of Aboriginal people through seeking out a new economic enterprise for remote area groups. This project examines the material properties of spinifex, specifically for new building industry applications, both in its natural state and replicated as a synthesized biomimetic material. Read moreRead less
Novel approaches to strongly correlated quantum systems in two dimensions. The expected outcome of the research program is a significant boost in our understanding of strongly correlated quantum systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By strengthening both the underpinning theory and innovative computational tools to study quantum many-body systems, and by applying them to specific problems ....Novel approaches to strongly correlated quantum systems in two dimensions. The expected outcome of the research program is a significant boost in our understanding of strongly correlated quantum systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By strengthening both the underpinning theory and innovative computational tools to study quantum many-body systems, and by applying them to specific problems of recognized importance, this program will have direct implications in condensed matter physics and will exert significant influence in areas such as quantum chemistry, high energy physics, quantum computing, quantum atom optics and nanotechnology.Read moreRead less