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
Formal modelling and analysis of software requirements for air traffic management systems for improved integrity assurance. This project will significantly reduce the time and cost of developing software for critical applications such as aviation and air traffic management. As well as improving the trustworthiness of safety-critical computer-based systems, this project will also enable system improvements to be deployed faster and more reliably.
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
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
Eat and Dream: effective automatic testing and debugging for real-life embedded wireless communications software. Embedded software is a key enabling technology for the majority of Australian manufacturing industries, including strategically important sectors such as the automotive industry. Embedded wireless communication technologies are playing an increasingly significant role in Australia with a wide range of critical applications ranging from natural disaster early warning to personal healt ....Eat and Dream: effective automatic testing and debugging for real-life embedded wireless communications software. Embedded software is a key enabling technology for the majority of Australian manufacturing industries, including strategically important sectors such as the automotive industry. Embedded wireless communication technologies are playing an increasingly significant role in Australia with a wide range of critical applications ranging from natural disaster early warning to personal health monitoring. Embedded wireless communications software, however, is difficult to test and debug owing to the complexity of the operational environment and complications arising from the interplay between software and hardware. This project will develop an effective and automatic technology to alleviate these difficulties and achieve higher quality software.Read moreRead less
Service orientated architectures in management of IT infrastructures. Through the utilisation of the proposed framework for building rich business service registries, Australian companies will be able to take full advantage of service oriented architectures in constructing and managing their IT infrastructure in a way that is not currently possible. Such a registry will be able to provide a coherent view of an enterprise's services and resources, and an effective way to co-relate and utilise the ....Service orientated architectures in management of IT infrastructures. Through the utilisation of the proposed framework for building rich business service registries, Australian companies will be able to take full advantage of service oriented architectures in constructing and managing their IT infrastructure in a way that is not currently possible. Such a registry will be able to provide a coherent view of an enterprise's services and resources, and an effective way to co-relate and utilise them, in a changing environment. The development of the framework will also further cement Australia's leading market position in providing service registries to enterprises world-wide, enhance Australia's international research reputation and provide an excellent training environment for young researchers.Read moreRead less
Towards Invisibly Intelligent Appliances via Experience-based Computing. As computers become more pervasive, people will inevitably interact with a wide range of networked appliances. This proposal aims to develop prototype enabling technology to allow appliances to operate cooperatively and seamlessly with minimum human input - 'invisible intelligence'. Experience-based computing is the key concept underlying the technology. A prototype 'operating experience' will be developed to sit on top of ....Towards Invisibly Intelligent Appliances via Experience-based Computing. As computers become more pervasive, people will inevitably interact with a wide range of networked appliances. This proposal aims to develop prototype enabling technology to allow appliances to operate cooperatively and seamlessly with minimum human input - 'invisible intelligence'. Experience-based computing is the key concept underlying the technology. A prototype 'operating experience' will be developed to sit on top of existing operating systems that will allow appliances to join and leave networks, and interact with other appliances. Also to be developed are a modeling framework, language and methodology for specifying appliance behaviour, and allow learning from experience.Read moreRead less
Agile Systems Engineering Processes, Analysis and Design Methods for Distributed, Safety Critical Automotive By-Wire Systems. Systems development for automotive by-wire applications provides a
number of challenges. It spans the disciplines of mechanical, control
and software engineering, it must be agile enough to cope with changes
in technology and changing market conditions and, most important, it
must result in safe and reliable By-Wire systems. This project will
address the development ....Agile Systems Engineering Processes, Analysis and Design Methods for Distributed, Safety Critical Automotive By-Wire Systems. Systems development for automotive by-wire applications provides a
number of challenges. It spans the disciplines of mechanical, control
and software engineering, it must be agile enough to cope with changes
in technology and changing market conditions and, most important, it
must result in safe and reliable By-Wire systems. This project will
address the development of safety critical By-Wire systems from a
systems and sofwtare engineering viewpoint by: (1) developing modeling
and analysis methods for real-time distributed control systems; (2)
investigating design methods for such systems, and (3) developing
software and systems engineering processes for agile development of
By-Wire systems.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
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