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
Novel approaches to the forensic identification of human remains: integration of studies of bone form and chemistry. In a global era of terrorism, crime and even natural disasters, new approaches to identify victims, and prosecute offenders, are greatly required and long overdue. The combination of new computer and chemical methods will help identify unknowns, reconstruct missing parts and separate commingled remains. Its affect on understanding bones may be like that of DNA on soft tissues. The ....Novel approaches to the forensic identification of human remains: integration of studies of bone form and chemistry. In a global era of terrorism, crime and even natural disasters, new approaches to identify victims, and prosecute offenders, are greatly required and long overdue. The combination of new computer and chemical methods will help identify unknowns, reconstruct missing parts and separate commingled remains. Its affect on understanding bones may be like that of DNA on soft tissues. The results will update our ability as forensic scientists to strengthen Australian security systems by improving our ability to manage accidents, disasters, terrorism and crime. This project will start international collaborations and train a new generation of Australian forensic experts.Read moreRead less
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
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
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
A New Approach to Studying Whole Bodies and Body Parts Applied to Problems of Forensic Science. To bring to the study of whole humans and human body parts, new methods capable of major advances such as those already provided by DNA technology in the study of human tissues, cells and molecules. This will allow better identification of human groups, geographic populations, gender differences and ageing.
To update facilities in forensic sciences strengthening Australian security systems thus he ....A New Approach to Studying Whole Bodies and Body Parts Applied to Problems of Forensic Science. To bring to the study of whole humans and human body parts, new methods capable of major advances such as those already provided by DNA technology in the study of human tissues, cells and molecules. This will allow better identification of human groups, geographic populations, gender differences and ageing.
To update facilities in forensic sciences strengthening Australian security systems thus helping fight terrorism and crime.
To establish international collaborations for Australia, especially with Asia.
To train young people, through Master's and Doctoral degrees programmes, in handling the new techniques and applying them to problems of forensic science
Read moreRead less