Large-Scale Emulation for Enterprise Software Systems. This project will deliver a key future software technology for scalable quality assurance of highly interconnected enterprise IT systems, significantly contributing to more reliable and effective business operations in all industry sectors. It will fill a market gap and give Australian businesses a world competitive advantage. The project will generate world-leading research outcomes and further cement Australia’s leading research position i ....Large-Scale Emulation for Enterprise Software Systems. This project will deliver a key future software technology for scalable quality assurance of highly interconnected enterprise IT systems, significantly contributing to more reliable and effective business operations in all industry sectors. It will fill a market gap and give Australian businesses a world competitive advantage. The project will generate world-leading research outcomes and further cement Australia’s leading research position in enterprise software systems engineering. In particular, it will make major contributions to research into complex large-scale system interaction, system performance and scalability, and system behaviour modelling. The project also provides an excellent training environment for young researchers. Read moreRead less
Secure user authentication with continuous adaptive risk evaluation. Users typically authenticate to any given system only once - when they first access it (for example, through providing a password or fingerprint). The prevalence of single sign-on further allows this single authentication to be sufficient for access to multiple systems. Thus an adversary can obtain a large degree of access from stealing a single password, hijacking a user's session, or even simply borrowing their phone. This pr ....Secure user authentication with continuous adaptive risk evaluation. Users typically authenticate to any given system only once - when they first access it (for example, through providing a password or fingerprint). The prevalence of single sign-on further allows this single authentication to be sufficient for access to multiple systems. Thus an adversary can obtain a large degree of access from stealing a single password, hijacking a user's session, or even simply borrowing their phone. This project aims to develop a continuous authentication approach based on user behaviour - typical interactions plus biometrics (for example, keystroke dynamics) - combined with a risk adaptive assessment of the resources being accessed, resulting in re-authentication requests in the event of a suspected compromise.Read moreRead less
A scalable debugging framework for petascale computers. Supercomputing underpins a wide range of areas of importance to the Australian economy; mining, agriculture, engineering, medical research and pharmaceutical development to name a few. It is of critical importance that software solutions in these areas behave correctly and do not generate erroneous results. This project will develop software tools and techniques that make it possible to detect and locate errors as software is converted to r ....A scalable debugging framework for petascale computers. Supercomputing underpins a wide range of areas of importance to the Australian economy; mining, agriculture, engineering, medical research and pharmaceutical development to name a few. It is of critical importance that software solutions in these areas behave correctly and do not generate erroneous results. This project will develop software tools and techniques that make it possible to detect and locate errors as software is converted to run on the next generation of 'petascale' supercomputers. We will deploy the tools both commercially through our industry partner, and also on national high performance computing facilities.Read moreRead less
A fast and effective automated insider threat detection and prediction system. Threats from insiders directly compromises the security, privacy and integrity of Australian e-commerce, large databases and communication channels. This project will provide an essential step in combating this criminal activity by developing methods to detect such threats and secure the public's information against exposure and identity theft.
GriddLeS: Building Grid Applications from Legacy Software. Grid computing is emerging as a major new capability for modern, high performance technical computing. Such Grids couple geographically distributed resources such as high performance computers, workstations, clusters, and scientific instruments. Traditional methods of producing software for Grids are inefficient and error prone, and will not allow the rapid deployment of new applications. This project concerns the development of a tool t ....GriddLeS: Building Grid Applications from Legacy Software. Grid computing is emerging as a major new capability for modern, high performance technical computing. Such Grids couple geographically distributed resources such as high performance computers, workstations, clusters, and scientific instruments. Traditional methods of producing software for Grids are inefficient and error prone, and will not allow the rapid deployment of new applications. This project concerns the development of a tool that will facilitate the construction of complex Grid application using legacy software components. It will test the new ideas with a range of scientific demonstrators, including atmospheric science, geo-science and mechanical engineering.Read moreRead less
A high throughput Grid based environment for real time bio-medical imaging. Together with Leica, we will build a virtual microscope facility that will provide substantial functionality not currently available in Australia. This facility will have major national and international impact on bio-medical imaging. The software solutions and infrastructure, developed as part of this program will have considerable commercial and strategic value in their own right. One guaranteed avenue for exploitation ....A high throughput Grid based environment for real time bio-medical imaging. Together with Leica, we will build a virtual microscope facility that will provide substantial functionality not currently available in Australia. This facility will have major national and international impact on bio-medical imaging. The software solutions and infrastructure, developed as part of this program will have considerable commercial and strategic value in their own right. One guaranteed avenue for exploitation of the software will clearly be through our industry partner, Leica. Importantly, our proposal consolidates a critical mass of expertise connecting biomedical with computer science, thereby addressing a well-recognised constraint that to date has limited their national and international impact.Read moreRead less
Software Quality Improvement Through Static Analysis and Annotation. Software forms the basis of critical infrastructure that supports industries such as electronic commerce. Flaws in the software can lead to failure of the overall system, or allow the security mechanisms of the software to be by-passed. This project is developing methods to improve the quality of software by finding common flaws that lead to security vulnerabilities or runtime failures. Within Australia, it is estimated that th ....Software Quality Improvement Through Static Analysis and Annotation. Software forms the basis of critical infrastructure that supports industries such as electronic commerce. Flaws in the software can lead to failure of the overall system, or allow the security mechanisms of the software to be by-passed. This project is developing methods to improve the quality of software by finding common flaws that lead to security vulnerabilities or runtime failures. Within Australia, it is estimated that there are approximately 75,000 software developers who make substantial use of C/C++ and who could benefit from the availability of better automatic static analysis tools to improve both the quality of the code they produce and their productivity.Read moreRead less
A Framework for Software Component Conformance Testing. This research aims to establish a framework - a method, set of tools and business process - within which Commercial-off-the-shelf (COTS) software components can be tested for conformance to client user requirements. There currently exists no general method for validating COTS components without access to source code. We will ?wrap? components in human readable and executable requirements specifications that will be the basis for: client/s ....A Framework for Software Component Conformance Testing. This research aims to establish a framework - a method, set of tools and business process - within which Commercial-off-the-shelf (COTS) software components can be tested for conformance to client user requirements. There currently exists no general method for validating COTS components without access to source code. We will ?wrap? components in human readable and executable requirements specifications that will be the basis for: client/supplier negotiation about component functionality; generating conformance test cases; documentation for integration testing; advertising component capabilities. Outcome: a universally applicable component conformance framework directly beneficial to SMEs, and supporting the development of a robust component marketplace.Read moreRead less
Service Level Agreement (SLA)-oriented Resource Allocation for Data Centers and Cloud Computing Systems. In the next 20 years, service-oriented computing will play an important role in shaping the industry and the way business is conducted and services are delivered and managed. This paradigm will have major impact on service economy, which contributes significantly towards Australia's GDP. The service sector, which includes health, financial, and government services, involves significant intera ....Service Level Agreement (SLA)-oriented Resource Allocation for Data Centers and Cloud Computing Systems. In the next 20 years, service-oriented computing will play an important role in shaping the industry and the way business is conducted and services are delivered and managed. This paradigm will have major impact on service economy, which contributes significantly towards Australia's GDP. The service sector, which includes health, financial, and government services, involves significant interaction between clients and providers. With increasing dependency on ICT technologies in their realization, major advances are required in service-driven allocation of resources to competing applications. This project develops technologies for Service Level Agreement (SLA)-based allocation of Data Center/Cloud computing system resources to applications.Read moreRead less
A Novel Software System for .NET-based Enterprise Grid Computing. This ARC Linkage project, in partnership with Microsoft, aims to develop a novel Grid computing platform that enables organisations to effectively harness various IT resources and allocate them for different applications depending on their demands and priorities. The project outcomes will revolutionise the computing field by enhancing the productivity of software engineering for enterprise applications and accelerate their executi ....A Novel Software System for .NET-based Enterprise Grid Computing. This ARC Linkage project, in partnership with Microsoft, aims to develop a novel Grid computing platform that enables organisations to effectively harness various IT resources and allocate them for different applications depending on their demands and priorities. The project outcomes will revolutionise the computing field by enhancing the productivity of software engineering for enterprise applications and accelerate their execution on enterprise Grids.Read moreRead less