Coordination and communication in critical care: Assessing potential technology support. This project will examine temporal coordination demands of busy critical care environments, with the goal of developing better models and tools for evaluating the impact of information and communication technology (ICT) innovation. Millions of dollars can be wasted on healthcare ICT updates when the nature of critical care work, the means of communication, and temporal coordination demands are not fully unde ....Coordination and communication in critical care: Assessing potential technology support. This project will examine temporal coordination demands of busy critical care environments, with the goal of developing better models and tools for evaluating the impact of information and communication technology (ICT) innovation. Millions of dollars can be wasted on healthcare ICT updates when the nature of critical care work, the means of communication, and temporal coordination demands are not fully understood. The outcome of this project will be better conceptual and computational tools for assessing the impact of ICT innovation on safety-critical systems such as healthcare, so providing more cost-effective ICT solutions where there is rapidly-evolving ICT innovation.Read moreRead less
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
The genomic programming of complex organisms. The project will have far-reaching consequences in medicine, agriculture, biotechnology, engineering, information science and associated industries. It will provide a platform for the rationalization of genetic epidemiology and genetic improvement programs, the development of a wide range of new diagnostics and therapies, the development of new core technologies and practical approaches in genetics and genetic diversity, a framework for advanced gen ....The genomic programming of complex organisms. The project will have far-reaching consequences in medicine, agriculture, biotechnology, engineering, information science and associated industries. It will provide a platform for the rationalization of genetic epidemiology and genetic improvement programs, the development of a wide range of new diagnostics and therapies, the development of new core technologies and practical approaches in genetics and genetic diversity, a framework for advanced genetic engineering, the development of new principles and systems for information storage and transmission, and the design of artificial systems capable of self-referential assembly in other environments.Read moreRead less
ARC Molecular and Materials Structure Research Network. The Network will build powerful e-Science resources for the structural sciences. Collaborative remote access will be developed for sophisticated instrumentation, including instruments planned for the Replacement Research Reactor and Australian Synchrotron. A structure database service with cross disciplinary content and versatile visualisation and analysis capabilities will further exemplify smart information use. The internet services will ....ARC Molecular and Materials Structure Research Network. The Network will build powerful e-Science resources for the structural sciences. Collaborative remote access will be developed for sophisticated instrumentation, including instruments planned for the Replacement Research Reactor and Australian Synchrotron. A structure database service with cross disciplinary content and versatile visualisation and analysis capabilities will further exemplify smart information use. The internet services will ultimately harness the Grid, enabling linkage into other national and international Grid systems. Encompassing physics, computer science, applied mathematics, chemistry and biochemistry, and catalysing interaction across these disciplines, the MMSN will impact all five National Research Priority 3 goals.Read moreRead less
Special Research Initiatives - Grant ID: SR0354691
Funder
Australian Research Council
Funding Amount
$30,000.00
Summary
A Grid Enabled Network for the Molecular and Materials Structure Sciences. The Molecular and Materials Structure Network will propel leading-edge Science by building powerful e-Science resources that will compel innovative collaborations of profound National benefit. Remote access will be developed for structure determination instruments, including the Research Reactor and Australian Synchrotron. A structure database with cross disciplinary content and powerful visualisation and analysis capabil ....A Grid Enabled Network for the Molecular and Materials Structure Sciences. The Molecular and Materials Structure Network will propel leading-edge Science by building powerful e-Science resources that will compel innovative collaborations of profound National benefit. Remote access will be developed for structure determination instruments, including the Research Reactor and Australian Synchrotron. A structure database with cross disciplinary content and powerful visualisation and analysis capabilities will exemplify "smart information use". Encompassing physics, computer science, chemistry and biochemistry, and catalysing interaction across these disciplines, the MMSN will impact all four National Research Priority 3 goals, and will be linked to other national and international Grids to become part of the emerging global Grid.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
Formally-Based Security Evaluation Procedures. Guaranteeing information security is of critical national importance, especially in the current political climate. Devices intended to safeguard Australia's electronic communications must be proven secure using leading-edge techniques. Currently, evaluation of such devices relies on informal procedures and the experience of individuals. This project will introduce more rigour into security evaluations by adapting techniques from the fields of saf ....Formally-Based Security Evaluation Procedures. Guaranteeing information security is of critical national importance, especially in the current political climate. Devices intended to safeguard Australia's electronic communications must be proven secure using leading-edge techniques. Currently, evaluation of such devices relies on informal procedures and the experience of individuals. This project will introduce more rigour into security evaluations by adapting techniques from the fields of safety analysis and formal methods. In particular, mathematical concepts will be introduced using notations suitable for use by security personnel with no prior formal methods experience. The outcomes of this project will enable more efficient and effective information security evaluations.Read moreRead less
Special Research Initiatives - Grant ID: SR0354605
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
The Earth System Dynamics Network for a Sustainable Australia. Earth comprises systems of enormous complexity that sustain all life and control the distribution of mineral, energy and water resources. Thus understanding these dynamic systems provides the key to sustainable resource usage. The aim of The Earth System Dynamics Network is to facilitate scientific interactions through establishment of an earth and environmental sciences grid that links national and regional data assets with high per ....The Earth System Dynamics Network for a Sustainable Australia. Earth comprises systems of enormous complexity that sustain all life and control the distribution of mineral, energy and water resources. Thus understanding these dynamic systems provides the key to sustainable resource usage. The aim of The Earth System Dynamics Network is to facilitate scientific interactions through establishment of an earth and environmental sciences grid that links national and regional data assets with high performance computing through open sourced middleware. The result will be an unparalleled predictive capacity for complex Earth systems. The outcome will be confidence in the knowledge that underpins our decisions as stakeholders to keep Australia sustainable.Read moreRead less
Nano-machining of diamond-like carbon (DLC): Scientific basis and technical potential. Nanotechnology will be the basis for the next post-industrial revolution, and will be the main driver of future national economies. It is crucially important that at the very least Australia is a significant niche player in those developments. The project represents an effort to promote those goals.
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