Developing a Scalable Infrastructure for Embedded E-Security Incorporating Cryptography and Biometric Authentication. A fundamental flaw in existing embedded e-security technologies is their cryptography-plus-PIN-number infrastructure. This has generated security concerns that have proved a major obstacle to the growth of e-commerce, presently a relatively poor 2% of market share. We aim to design a new infrastructure that can solve this security problem by incorporating cryptography and biomet ....Developing a Scalable Infrastructure for Embedded E-Security Incorporating Cryptography and Biometric Authentication. A fundamental flaw in existing embedded e-security technologies is their cryptography-plus-PIN-number infrastructure. This has generated security concerns that have proved a major obstacle to the growth of e-commerce, presently a relatively poor 2% of market share. We aim to design a new infrastructure that can solve this security problem by incorporating cryptography and biometric authentication into a computing resource limited embedded e-security system. The outcomes of this project will be a set of new cryptosystems, new biometrics processing schemes and new onboard resource allocation schemes that will form the basis for the next generation of embedded systems.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
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
DEVELOPING A SMART FIRE RISK ADVISORY SYSTEM USING FIRE MODELLING AND KNOWLEDGE-BASED SYSTEMS TECHNOLOGIES. This project aims to develop a prototype fire risk advisory system for fire prevention and protection. Intelligent knowledge-based systems technologies will be tailored to provide a standardised approach for fire risk analysis by using collective expertise of fire engineers and fire modelling. This project will lead to a significant advancement to the development of intelligent systems tec ....DEVELOPING A SMART FIRE RISK ADVISORY SYSTEM USING FIRE MODELLING AND KNOWLEDGE-BASED SYSTEMS TECHNOLOGIES. This project aims to develop a prototype fire risk advisory system for fire prevention and protection. Intelligent knowledge-based systems technologies will be tailored to provide a standardised approach for fire risk analysis by using collective expertise of fire engineers and fire modelling. This project will lead to a significant advancement to the development of intelligent systems techniques for industrial applications and provide a better fire risk analysis tool for fire protection and preventions with the benefit of reduced risk for buildings.
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
Better Planning for and Managing Asymmetric Threats to Australia's Security: Applying the Field Anomaly Relaxation (FAR) Systems Thinking Approach. Despite an enviable national security condition, Australia is at risk in an information-abundant world that increasingly spawns asymmetric threats such as information terrorism. What is needed are enhanced strategic and operational structures to improve the nation's security and ensure sound futures planning. This research focuses on applying the Fie ....Better Planning for and Managing Asymmetric Threats to Australia's Security: Applying the Field Anomaly Relaxation (FAR) Systems Thinking Approach. Despite an enviable national security condition, Australia is at risk in an information-abundant world that increasingly spawns asymmetric threats such as information terrorism. What is needed are enhanced strategic and operational structures to improve the nation's security and ensure sound futures planning. This research focuses on applying the Field Anomaly Relaxation (FAR) systems thinking approach to asymmetric information warfare threats to Australia. This is a new approach previously developed by ECU researchers investigating risk and innovation in the armed forces. It will now be extended to improve professional practice and the knowledge and skill base of Australia's information defence practitioners.Read moreRead less
Molecular Fingerprinting: Forensic Spectroscopy of Trace Gases. Safeguarding Australia from terrorism, crime and invasive diseases is essential to securing our national infrastructure. This project will develop national capabilities in anticipating and responding to critical threats to society. The scientific instrumentation developed from this effort will enhance Australia's potential aid for early detection of explosive and chemical weaponry and also in the analysis of crime scenes. This rese ....Molecular Fingerprinting: Forensic Spectroscopy of Trace Gases. Safeguarding Australia from terrorism, crime and invasive diseases is essential to securing our national infrastructure. This project will develop national capabilities in anticipating and responding to critical threats to society. The scientific instrumentation developed from this effort will enhance Australia's potential aid for early detection of explosive and chemical weaponry and also in the analysis of crime scenes. This research will significantly improve our abilities to maintain the operational advantage of Australia's security agencies through superior capabilities in threat detection.Read moreRead less
Situated Design Computing: A New Paradigm to Support Design Using Situated Reasoning. A country like Australia with its twin disadvantages of distance from its large markets and small population as its own market has to found its goals in its wealth production on its ability to compete at the high value-adding loci of the economy. Design is a precursor to superior products and is one of the nation's high value-adding wealth generating activities. This project aims to lay the foundations for a ....Situated Design Computing: A New Paradigm to Support Design Using Situated Reasoning. A country like Australia with its twin disadvantages of distance from its large markets and small population as its own market has to found its goals in its wealth production on its ability to compete at the high value-adding loci of the economy. Design is a precursor to superior products and is one of the nation's high value-adding wealth generating activities. This project aims to lay the foundations for a new class of design support tools that have the capacity to be used at a variety of stages in the design process including those stages where major decisions are being taken. This will have the potential to improve the efficacy and the efficiency of Australian design and hence make it more globally competitive.Read moreRead less
Intelligent Agents for Concept Invention of Design Forms. Concept invention refers to the act of discovering new concepts for the first time. Concept invention may require a new interpretation and a shift in intentional mode that motivates new mappings of the situation prior to the discovery of a new concept. This project is concerned with developing intelligent design agents that are capable of inventing creative concepts of design forms, shapes and compositions while involved in the design pr ....Intelligent Agents for Concept Invention of Design Forms. Concept invention refers to the act of discovering new concepts for the first time. Concept invention may require a new interpretation and a shift in intentional mode that motivates new mappings of the situation prior to the discovery of a new concept. This project is concerned with developing intelligent design agents that are capable of inventing creative concepts of design forms, shapes and compositions while involved in the design process. A new approach of exploiting the notion of displacement of concepts with regard to concept invention in designing will be adopted and utilised in developing the structure of intelligent agents.Read moreRead less