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
Advanced Software Engineering Support for Intelligent Agent Systems. Software Agents are an important technology for developing the complex software systems that are increasingly required to meet the needs of society. A crucial obstacle to the widespread adoption of agent technology is the lack of an appropriate software engineering methodology. This project proposes to explore support for design processes addressing advanced issues in agent systems, such as goal-based requirements, debugging ....Advanced Software Engineering Support for Intelligent Agent Systems. Software Agents are an important technology for developing the complex software systems that are increasingly required to meet the needs of society. A crucial obstacle to the widespread adoption of agent technology is the lack of an appropriate software engineering methodology. This project proposes to explore support for design processes addressing advanced issues in agent systems, such as goal-based requirements, debugging using design artefacts, component-based design, and reuse. We will also extend the methodology to support teamwork and open systems. We will be building on successful work we have already done in establishing a basic agent oriented software design methodology.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0775598
Funder
Australian Research Council
Funding Amount
$1,000,000.00
Summary
High-Resolution Transmission Electron Tomographic Facility for Nanoanalytical Characterisation in the Life and Material Sciences. The requested instrument will allow researchers in New South Wales to (i) visualize biological and physical samples in three-dimensions by electron tomography and modeling and (ii) image samples in a near-natural state and at high-resolution by cryogenic techniques. This essential research platform will provide novel information that faithfully presents both the surfa ....High-Resolution Transmission Electron Tomographic Facility for Nanoanalytical Characterisation in the Life and Material Sciences. The requested instrument will allow researchers in New South Wales to (i) visualize biological and physical samples in three-dimensions by electron tomography and modeling and (ii) image samples in a near-natural state and at high-resolution by cryogenic techniques. This essential research platform will provide novel information that faithfully presents both the surface and internal structure of samples down to the nanometre scale, enabling structural research to the highest scientific standards. The resulting knowledge is essential to diverse areas that range from development of cures to diabetes and cancer to creation of environmentally-friendly industrial catalysts to design of new nanoparticles and biosensors.Read moreRead less
Electrohydrodynamically-Driven Microcentrifugation for Microfluidic Applications. Microfluidics has the potential to revolutionise the way we live. Imagine portable pocket sized devices for cheap and rapid medical diagnostics and drug delivery. Or miniaturised chemical/biological sensors as early warning detection systems against terrorist threats. The research is thus intended to not only commercially benefit various industries, but also to improve the quality of life as a whole by making medic ....Electrohydrodynamically-Driven Microcentrifugation for Microfluidic Applications. Microfluidics has the potential to revolutionise the way we live. Imagine portable pocket sized devices for cheap and rapid medical diagnostics and drug delivery. Or miniaturised chemical/biological sensors as early warning detection systems against terrorist threats. The research is thus intended to not only commercially benefit various industries, but also to improve the quality of life as a whole by making medical diagnosis or chemical/biological detection more readily accessible, portable and more efficient. Moreover, the fundamental studies, aimed at generating an understanding of the complex physics involved, has generic benefits to researchers in applied physics as well as providing practical protocols for microdevice development.Read moreRead less
WAVELET-BASED MODELLING AND MODEL PREDICTIVE CONTROL OF COMPLEX MULTIDIMENSIONAL CRYSTALLISATION PROCESSES. The results of this project will directly contribute to a better understanding of crystallisation which is an important unit operation to achieve high purity separations. Many Australian industries for example, mineral processing, sugar processing, pharmaceuticals, etc will benefit from the results in order to enhance optimal operation and control to ensure globally competitive production ....WAVELET-BASED MODELLING AND MODEL PREDICTIVE CONTROL OF COMPLEX MULTIDIMENSIONAL CRYSTALLISATION PROCESSES. The results of this project will directly contribute to a better understanding of crystallisation which is an important unit operation to achieve high purity separations. Many Australian industries for example, mineral processing, sugar processing, pharmaceuticals, etc will benefit from the results in order to enhance optimal operation and control to ensure globally competitive production which is on time, minimize wastes and raw materials and inventories. The leading edge results will increase the contributions of these industries to the Australian economy and our global competitiveness necessary to maintain our culture and the beauty of our environment. Read moreRead less
Complexity Measures Of Design Spaces As Basis For Mass Customisation Of Novel Designs. This project aims to develop, implement and test a means to determine the potential of any arbitrary design generator to produce a diversity of designs and to utilise that means to control the mass customisation of novel designs. Globalisation of markets has produced the need to be able to mass customise designs that are not simple variants of existing designs. Any improvement in Australia's capacity to provid ....Complexity Measures Of Design Spaces As Basis For Mass Customisation Of Novel Designs. This project aims to develop, implement and test a means to determine the potential of any arbitrary design generator to produce a diversity of designs and to utilise that means to control the mass customisation of novel designs. Globalisation of markets has produced the need to be able to mass customise designs that are not simple variants of existing designs. Any improvement in Australia's capacity to provide this service will improve both its internal efficiency and increase its competitiveness in the increasing international marketplace for designing through the production of the basis for a new class of designing tools.Read moreRead less
Linear programming approach to nonlinear deterministic and stochastic control problems: perturbations methods and numerical analysis. The proposed research will significantly advance knowledge by creating new analytical and numerical methods for tackling complex nonlinear control problems arising in many applications. The study's outputs will lead to a deeper understanding of fundamental issues in mathematical modelling. Collaboration with renowned researchers will further improve Australia's st ....Linear programming approach to nonlinear deterministic and stochastic control problems: perturbations methods and numerical analysis. The proposed research will significantly advance knowledge by creating new analytical and numerical methods for tackling complex nonlinear control problems arising in many applications. The study's outputs will lead to a deeper understanding of fundamental issues in mathematical modelling. Collaboration with renowned researchers will further improve Australia's standing in the international research community. Also their visits may further promote research both within and outside the host institution. In particular, lectures and seminars that they will deliver will be transmitted to Australian universities participating in the Access Grid Room Project.Read moreRead less
Curious Places: Agent-Mediated Self-Aware Worlds. This project develops and demonstrates a model of curious places: physical and digital environments that adapt their behaviour based on their experiences. This means that we can implement new kinds of places, rooms, public spaces, that respond to human activity and new technology by creating their own goals and behaviours. This is a benefit to Australia by expanding its capability in home automation and leading developments in novel human-comput ....Curious Places: Agent-Mediated Self-Aware Worlds. This project develops and demonstrates a model of curious places: physical and digital environments that adapt their behaviour based on their experiences. This means that we can implement new kinds of places, rooms, public spaces, that respond to human activity and new technology by creating their own goals and behaviours. This is a benefit to Australia by expanding its capability in home automation and leading developments in novel human-computer interfaces. This benefit can provide economic gain to Australia through the development of frontier technologies.Read moreRead less
Rare isotopes as tracers of prosthesis debris. The incidence of knee replacement surgery in Australia is 30,000 per year. Limited by wear debris, the lifespan of knee implants is only 10-15 years and can be much shorter. Due to increasing life expectancy, many patients need several surgical procedures. As a multi-disciplinary team of materials-, isotope-tracing- and medical-experts, we aim to understand and monitor wear debris in prostheses. Knee replacement surgery alone imposes a high burden o ....Rare isotopes as tracers of prosthesis debris. The incidence of knee replacement surgery in Australia is 30,000 per year. Limited by wear debris, the lifespan of knee implants is only 10-15 years and can be much shorter. Due to increasing life expectancy, many patients need several surgical procedures. As a multi-disciplinary team of materials-, isotope-tracing- and medical-experts, we aim to understand and monitor wear debris in prostheses. Knee replacement surgery alone imposes a high burden of annually half a billion dollars on the Australian health budget. Controlling and reducing wear debris in prosthesis joints would reduce these costs and improve patients' quality of life.Read moreRead less