The Open Innovation Process: Factors and Technologies that Matter. This project aims to identify approaches to enable firms to find and introduce ideas through open innovation. Open innovation, with its focus on external sources of ideas, is a promising approach for increasing organisational innovation. While uptake of open innovation is on the increase, the lack of understanding of practices and technologies used to successfully introduce it into firms, limits its usefulness and results in wast ....The Open Innovation Process: Factors and Technologies that Matter. This project aims to identify approaches to enable firms to find and introduce ideas through open innovation. Open innovation, with its focus on external sources of ideas, is a promising approach for increasing organisational innovation. While uptake of open innovation is on the increase, the lack of understanding of practices and technologies used to successfully introduce it into firms, limits its usefulness and results in wasted resources. This project aims to investigate open innovation and relevant technologies to identify success factors for the idea generation and assessment phases of open innovation, develop guidelines for their application, identify effective technologies and related recommendations for use, and quantify their impact on innovation.Read moreRead less
Demonstrating the feasibility of designing sustainable buildings using evolutionary systems. The design approach proposed in this research will result in two key areas of national benefit. First, the research will enable Australian built environment design professions to become more competitive in both domestic and international markets. There is a growing demand for environmentally-friendly buildings and the proposed design approach will enable Australian firms to be at the cutting edge of sust ....Demonstrating the feasibility of designing sustainable buildings using evolutionary systems. The design approach proposed in this research will result in two key areas of national benefit. First, the research will enable Australian built environment design professions to become more competitive in both domestic and international markets. There is a growing demand for environmentally-friendly buildings and the proposed design approach will enable Australian firms to be at the cutting edge of sustainable design. Second, the research will enable the Australian built environment to become more sustainable. The proposed approach will enable buildings to be designed that perform well, that are cost effective and that minimise their environmental impact. 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
Making sense of trajectory data: a database approach. This project investigates new challenges related to providing functionality, flexibility and efficiency for large scale trajectory data management and processing. The expected outcome includes significant technical contributions in novel indexing structures and advanced query processing methods for making better use of rich trajectory data.
Role of ferroxidases in intestinal iron transport. This project will investigate the mechanism by which the body absorbs the essential nutrient iron from the diet. These studies will enhance our knowledge of an important nutritional pathway and improve our capacity to treat diseases where iron absorption is defective, such as the iron loading disorder haemochromatosis.
Understanding the Influence of Cloud on the Spectral Solar Ultraviolet Radiation. Terrestrial spectral solar UV may be enhanced above that of clear sky due to certain cloud conditions. There is a major gap in the scientific knowledge of the influence of cloud on the spectral solar UV and resultant biologically damaging UV. This project will collect the only dataset of sky conditions and spectral UV for each ten minute period spanning 12 months to determine: the specific wavelengths with increase ....Understanding the Influence of Cloud on the Spectral Solar Ultraviolet Radiation. Terrestrial spectral solar UV may be enhanced above that of clear sky due to certain cloud conditions. There is a major gap in the scientific knowledge of the influence of cloud on the spectral solar UV and resultant biologically damaging UV. This project will collect the only dataset of sky conditions and spectral UV for each ten minute period spanning 12 months to determine: the specific wavelengths with increased irradiances; the amount of enhanced damaging UV; the cloud conditions that cause these enhancements and develop a predictive capability to determine when cloud cover will enhance solar UV.Read moreRead less
Smart micro learning with open education resources. This project aims to enhance personalised learning systems for mobile device users . Open online education is gaining in popularity with its ease of use. The project tackles the problems in relation to more and more popular mobile and ‘micro learning’, where people learn on the move and within small units of time. Ontology and machine learning technologies used in this project will help to optimise the offering of open education resources, by p ....Smart micro learning with open education resources. This project aims to enhance personalised learning systems for mobile device users . Open online education is gaining in popularity with its ease of use. The project tackles the problems in relation to more and more popular mobile and ‘micro learning’, where people learn on the move and within small units of time. Ontology and machine learning technologies used in this project will help to optimise the offering of open education resources, by providing solutions meeting each individual learner’s needs. The main outcome will consolidate a cloud based micro learning framework through integrating a group of novel algorithms.Read moreRead less
Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems. Society is becoming increasingly reliant on sophisticated real-time computer systems in applications ranging from car stability control to critical infrastructure, such as railway signalling systems. Further, there is a demand for ever greater automation and sophistication in the software controlling these systems. The research challenge in this project is to provide robust implementations of these system ....Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems. Society is becoming increasingly reliant on sophisticated real-time computer systems in applications ranging from car stability control to critical infrastructure, such as railway signalling systems. Further, there is a demand for ever greater automation and sophistication in the software controlling these systems. The research challenge in this project is to provide robust implementations of these systems in a way that allows one assess their dependability.
Australia industry is actively working in these areas through companies like Ansaldo Australia, in automated railway systems, and Boeing Australia, in the defence sector.Read moreRead less
Derivation and timing analysis of concurrent real-time software. Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlin ....Derivation and timing analysis of concurrent real-time software. Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlines within programs. This allows a partitioning of the development process into a machine-independent phase that derives a program to meet a high-level specification, and a machine-dependent phase that checks that the timing deadlines within the generated machine code are guaranteed to be met.Read moreRead less
Compilation of Specifications. Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. This project will show how a tool already used by software developers, the program compiler, can be extended to undertake much of the task automatically. This will be done by devising a compilation strategy, b ....Compilation of Specifications. Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. This project will show how a tool already used by software developers, the program compiler, can be extended to undertake much of the task automatically. This will be done by devising a compilation strategy, based on program refinement theory, that automatically translates specification statements in programs into executable code. Such an outcome will ultimately improve the speed, accuracy and cost-effectiveness of critical software development.Read moreRead less