A Grid based platform for multi-scaled biological simulation. Heart disease currently affects over 3.5 million Australians. In 2006 it claimed the lives of almost 46,000 Australians (34% of all deaths). We will develop enabling technology that underpins cardiac disease research, offering potential for new treatments and pharmaceutical therapies. Even a small improvement in this area can translate into significant national benefit. Further, the mathematical techniques and software tools we will d ....A Grid based platform for multi-scaled biological simulation. Heart disease currently affects over 3.5 million Australians. In 2006 it claimed the lives of almost 46,000 Australians (34% of all deaths). We will develop enabling technology that underpins cardiac disease research, offering potential for new treatments and pharmaceutical therapies. Even a small improvement in this area can translate into significant national benefit. Further, the mathematical techniques and software tools we will develop, whilst focused on heart tissue, will have broader applicability, and may underpin advancements in other disciplines. Finally, we expect that the software solutions and infrastructure will have both commercial and strategic value in their own right.Read moreRead less
Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is mo ....Intelligent Model Checking. Real-world systems are typically so complex that software engineers require specialised CAD tools to debug and verify a design. Model checking is a formal method that is used extensively for this purpose, particularly for mission-critical systems. In this work, a new kind of verifying tool, based on model checking, is developed. This new model checker is intelligent because a heuristic search is integrated into the underlying formalism. It is not exhaustive, and is more efficient than a traditional model checker during the design phase because it does only a minimum amount of work in its search for a fault.Read moreRead less
A Compositional Model for Verifying and Programming Ecologies of Smart Internet Devices. Emerging in 21st century computing is what we perceive as device ecologies, or collections of devices that can exhibit smart behaviour, automate tasks, interact synergistically with one another, with users and Internet resources, and provide aid and value in daily life and work. Device ecologies will be seen in areas as diverse as e-commerce, health care, home automation, office automation, manufacturing, an ....A Compositional Model for Verifying and Programming Ecologies of Smart Internet Devices. Emerging in 21st century computing is what we perceive as device ecologies, or collections of devices that can exhibit smart behaviour, automate tasks, interact synergistically with one another, with users and Internet resources, and provide aid and value in daily life and work. Device ecologies will be seen in areas as diverse as e-commerce, health care, home automation, office automation, manufacturing, and defense. This project will develop a novel model and language for analyzing and programming device ecologies. This will be an Australian contribution towards techniques for constructing advanced applications that work over the computing infrastructure of the future.Read moreRead less
Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project ....Simulation and verification of system-level specifications of requirements and constraints using Rosetta. Modern computer-based systems comprise a mixture of electronic hardware and embedded computer software that interacts with mechanical and other non-electrical subsystems. Future design capability will depend on being able to model the requirements and constraints of heterogeneous systems, so that they can be simulated and formally verified before being manufactured and deployed. This project will develop techniques and software tools for simulation and verification based on the new Rosetta system-level design language. These tools will make the design of complex computer-based systems faster, more reliable and less costly by minimizing design errors early in the design flow.Read moreRead less
Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop form ....Implementing Feferman-Landin Logic. The objective of this project is to utilise computer based verification tools (such as PVS and Rewritting Logic) to develop a software engineering environment for specifying and verifying systems written in high-level programming languages such as Java, Scheme, and ML. The project will thus subtantially advance the use of formal computer based tools to develop reliable programs and specifications for life-critical systems. The project will also develop formally
based interoperability between the PVS and Maude systems, two widely
used computer tools for reasoning about complex systems.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
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
A framework for modelling feature variability and dependencies in software product lines. In most Australian software development organisations software products are developed individually rather than product line based. This project will promote the awareness of product line based software development and provide a frontier technology, the effective feature modelling approaches, to help Australian software industry transform from the single product based development to the product line based de ....A framework for modelling feature variability and dependencies in software product lines. In most Australian software development organisations software products are developed individually rather than product line based. This project will promote the awareness of product line based software development and provide a frontier technology, the effective feature modelling approaches, to help Australian software industry transform from the single product based development to the product line based development to achieve significant improvement on the productivity and the quality of the software development. This improvement will dramatically reduce the cost of software products and alleviate the pressure of skill shortage that currently threatens Australian economy.Read moreRead less
Conceptual Knowledge Processing. The aim of this collaboration between Computer Science and Mathematics disciplines is to develop a theoretical, methodological and practical understanding of how to support a range of tasks concerning conceptual knowledge processing. The view of the project is that knowledge processing takes place primarily in the human mind and that human communication can only be effectively supported by appropriate design means and devices. Developing prototype software that d ....Conceptual Knowledge Processing. The aim of this collaboration between Computer Science and Mathematics disciplines is to develop a theoretical, methodological and practical understanding of how to support a range of tasks concerning conceptual knowledge processing. The view of the project is that knowledge processing takes place primarily in the human mind and that human communication can only be effectively supported by appropriate design means and devices. Developing prototype software that demonstrates these devices in practical domains continues to be a key feature of the collaboration that benefits from existing DFG (Deutsche Forschungsgemeinschaft) support and has been on going since 1999.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