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
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
ARC Research Network for a Secure Australia. The Research Network for a Secure Australia (RNSA) is a multi-disciplinary collaboration established to strengthen Australia's research capacity for protecting critical infrastructure from natural or human-caused disasters including terrorist acts. The RNSA will facilitate a knowledge-sharing network for research organisations, government and the private sector to develop research tools and methods to mitigate emerging safety and security issues relat ....ARC Research Network for a Secure Australia. The Research Network for a Secure Australia (RNSA) is a multi-disciplinary collaboration established to strengthen Australia's research capacity for protecting critical infrastructure from natural or human-caused disasters including terrorist acts. The RNSA will facilitate a knowledge-sharing network for research organisations, government and the private sector to develop research tools and methods to mitigate emerging safety and security issues relating to critical infrastructure. World-leaders with extensive national and international linkages in relevant scientific, engineering and technological research will lead this collaboration. The RNSA will launch various activities to foster research collaboration and nurture young investigators.Read moreRead less
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
ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand add ....ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand addresses issues about methodology, modelling toolkits, and management and control. Practical applications are advanced via collaborative projects that address key issues in biology, environment, and socio-economics.Read moreRead less
Digital Imagery for Building 3D City Models. The project will investigate the application of digital photogrammetric imagery, and primarily high-resolution satellite imagery for the creation of visually realistic 3D city models. Virtual reality computer models of urban scenes find application in urban planning, facilities management, engineering and even virtual tourism. Building upon recently initiated collaborative research, the project aims to develop improved methods and procedures for autom ....Digital Imagery for Building 3D City Models. The project will investigate the application of digital photogrammetric imagery, and primarily high-resolution satellite imagery for the creation of visually realistic 3D city models. Virtual reality computer models of urban scenes find application in urban planning, facilities management, engineering and even virtual tourism. Building upon recently initiated collaborative research, the project aims to develop improved methods and procedures for automated, image-based object reconstruction to support the generation of metrically accurate 3D computer models of buildings and the built environment.Read moreRead less
Special Research Initiatives - Grant ID: SR0567373
Funder
Australian Research Council
Funding Amount
$99,696.00
Summary
Collection, Sharing, Visualisation and Analysis of locally gathered information from geographically remote areas vulnerable to tidal waves. This project will set up a virtual organization for tsunami related data analysis using grid technology. Due to geologically remote areas/countries involved the sharing of seismic, tidal and other locally gathered tsunami related information is critical to issuing a warning. In collaboration with Australian and International partners, this project will explo ....Collection, Sharing, Visualisation and Analysis of locally gathered information from geographically remote areas vulnerable to tidal waves. This project will set up a virtual organization for tsunami related data analysis using grid technology. Due to geologically remote areas/countries involved the sharing of seismic, tidal and other locally gathered tsunami related information is critical to issuing a warning. In collaboration with Australian and International partners, this project will explore: new avenues of tsunami-related data collection, which are currently not available; new data fusion methods; data sharing strategies; visualisation and analysis methods; and develop sensing methods to gather data on animal behaviours often reported as a possible way of identifying similar disasters.Read moreRead less
Special Research Initiatives - Grant ID: SR0354623
Funder
Australian Research Council
Funding Amount
$20,000.00
Summary
Network for Australian security technologies integration. The frontline of community safety is security technologies which include sensors to track movements and conversations of suspects; signal processing techniques for extracting information; intelligent search/audit techniques to track financial transactions; analysis techniques for predicting the spread of epidemic; and above all human factors in security operations. The aim of this initiative is to establish a network for "safeguarding Aus ....Network for Australian security technologies integration. The frontline of community safety is security technologies which include sensors to track movements and conversations of suspects; signal processing techniques for extracting information; intelligent search/audit techniques to track financial transactions; analysis techniques for predicting the spread of epidemic; and above all human factors in security operations. The aim of this initiative is to establish a network for "safeguarding Australia". This network, built on the concept of "network of networks", draws on the expertise of researchers and practitioners from diverse fields to provide an integrated approach towards development and use of security technologies for the safety of the community.Read moreRead less