Achieving Tailored Industrial Software Process Improvement with Experience Repositories and Electronic Process Guides. There is a well-recognised need for organisations to improve their software development processes in order to achieve higher software quality and greater efficiencies in development. The use of electronic process guides and experience repositories have been two technologies independently proposed to achieve these aims. This research will develop a framework, methods and tools ....Achieving Tailored Industrial Software Process Improvement with Experience Repositories and Electronic Process Guides. There is a well-recognised need for organisations to improve their software development processes in order to achieve higher software quality and greater efficiencies in development. The use of electronic process guides and experience repositories have been two technologies independently proposed to achieve these aims. This research will develop a framework, methods and tools to allow integration of experience repositories and electronic process guides to facilitate process tailoring, process improvement, and project management. The result will be significant improvements in software development productivity and quality.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
A Generic Software Architecture for Web-Based Applications on Micro-Mobile Systems. The next generation of computers that will capture the imagination of the society are likely to be micro-mobile devices such as personal digital assistants, mobile phones, smartcards and chips embedded in home and office items. Developing applications for information processing using a wireless network of such devices is an emerging challenge. This project will develop and evaluate a generic architecture for web- ....A Generic Software Architecture for Web-Based Applications on Micro-Mobile Systems. The next generation of computers that will capture the imagination of the society are likely to be micro-mobile devices such as personal digital assistants, mobile phones, smartcards and chips embedded in home and office items. Developing applications for information processing using a wireless network of such devices is an emerging challenge. This project will develop and evaluate a generic architecture for web-based applications on micro-mobile devices. This will make it easy to design applications that can seamlessly interact with different kinds of devices. The project will be carried out in partnership with Total Internet Centre, a Newcastle based regional enterprise.Read moreRead less
Fault-tolerant CORBA-based distributed systems. The focus of this research is Fault-Tolerant CORBA-based Distributed Systems. An implementation of the CORBA Fault Tolerance specification will be produced and evaluated against performance, interoperability and compliance criteria. A model for the management of degradation behaviour in distributed systems will be developed and an implementation produced. Novel algorithms, models and approaches to fault tolerance and degradation management will be ....Fault-tolerant CORBA-based distributed systems. The focus of this research is Fault-Tolerant CORBA-based Distributed Systems. An implementation of the CORBA Fault Tolerance specification will be produced and evaluated against performance, interoperability and compliance criteria. A model for the management of degradation behaviour in distributed systems will be developed and an implementation produced. Novel algorithms, models and approaches to fault tolerance and degradation management will be developed. Convincing demonstration applications will be produced to illustrate the widespread relevance of fault-tolerant and degradable systems to real-world domains such as telecommunications, commercial systems and defence.Read moreRead less
Modelling of Nitric Oxides and Carbon Monoxide Emissions from Bagasse-Fires Boilers. The project aims to develop computational models to predict emissions of nitric oxides and carbon monoxide from sugar-mill boilers burning bagasse. Bagasse combustion does not contribute to greenhouse gas emissions and clean and efficient combustion of this fuel has become very important for the sugar industry and for Australia. The project combines the opportunity of direct boiler measurements by SRI with the m ....Modelling of Nitric Oxides and Carbon Monoxide Emissions from Bagasse-Fires Boilers. The project aims to develop computational models to predict emissions of nitric oxides and carbon monoxide from sugar-mill boilers burning bagasse. Bagasse combustion does not contribute to greenhouse gas emissions and clean and efficient combustion of this fuel has become very important for the sugar industry and for Australia. The project combines the opportunity of direct boiler measurements by SRI with the modelling expertise at the University to develop combustion-kinetics models for these species. The models will be incorporated into the previously developed computational fluid dynamics - combustion code of the furnace to give the capability of emission prediction as a function of burner operating conditions and fuel parameters.Read moreRead less
Integrating Model Checking and Knowledge Dynamics for System Verification. The task of system verification is to ensure the correctness of system design and specification in some automatic way. The aim of this project is to develop a new methodology and technology for computer software system verification by integrating traditional model checking approach and knowledge dynamics modeling. By deriving the results of this project, we will understand how model checking and knowledge dynamics modelin ....Integrating Model Checking and Knowledge Dynamics for System Verification. The task of system verification is to ensure the correctness of system design and specification in some automatic way. The aim of this project is to develop a new methodology and technology for computer software system verification by integrating traditional model checking approach and knowledge dynamics modeling. By deriving the results of this project, we will understand how model checking and knowledge dynamics modeling can be integrated for more effective software verification and modification, which will significantly improve current software design and development procedures, increase the correctness and stability of software systems, and provide high security for e-Commerce transaction systems.Read moreRead less
Visual analytics for massive multivariate networks. Visual analytics for massive multivariate networks. This project aims to create methods to visually analyse massive multivariate networks. The amount of network data available has exploded in recent years: software systems, social networks and biological systems have millions of nodes and billions of edges with multivariate attributes. Their size and complexity makes these data sets hard to exploit. More efficient ways to understand the data ar ....Visual analytics for massive multivariate networks. Visual analytics for massive multivariate networks. This project aims to create methods to visually analyse massive multivariate networks. The amount of network data available has exploded in recent years: software systems, social networks and biological systems have millions of nodes and billions of edges with multivariate attributes. Their size and complexity makes these data sets hard to exploit. More efficient ways to understand the data are needed. This project will design, implement and evaluate visualisation methods for massive multivariate network data sets. This research is expected to be used by Australian software development, biotechnology and security companies to exploit their data.Read moreRead less
Implementing Bioinformatics Algorithms using .NET-based Stored Procedures in a Database Cluster. We will create the technology for significantly improving the management, processing and sharing of biological data. Areas in which Australia has a large stake, including the development of new drugs, disease research, and agricultural genetic engineering, stand to benefit considerably from these advances. This contribution by Australian researchers to a global problem will have a positive impact on ....Implementing Bioinformatics Algorithms using .NET-based Stored Procedures in a Database Cluster. We will create the technology for significantly improving the management, processing and sharing of biological data. Areas in which Australia has a large stake, including the development of new drugs, disease research, and agricultural genetic engineering, stand to benefit considerably from these advances. This contribution by Australian researchers to a global problem will have a positive impact on our own health industry, and will provide the foundation for improvements in agriculture and financial services.Read moreRead less
Building Peer-to-Peer Middleware Infrastructure with Web Services. Peer-to-Peer (P2P) computing is a framework defining the interactions between systems acting as both clients and servers. Web services technology is an evolving set of Web standards based on eXtensible Markup Language (XML), and is considered as the newest approach to distributed computing. In this project, we aim to build a new type of P2P architectural framework that is truly interoperable and distributed, being platform and la ....Building Peer-to-Peer Middleware Infrastructure with Web Services. Peer-to-Peer (P2P) computing is a framework defining the interactions between systems acting as both clients and servers. Web services technology is an evolving set of Web standards based on eXtensible Markup Language (XML), and is considered as the newest approach to distributed computing. In this project, we aim to build a new type of P2P architectural framework that is truly interoperable and distributed, being platform and language independent in an Internet-wide context. Using Web services and message queuing, this project also aims to develop a robust middleware infrastructure consisting of a set of tools and programming libraries to ease the development of verifiable P2P applications on heterogeneous platforms.Read moreRead less
Structural Deformation Monitoring Integrating a New Wireless Positioning Technology with GPS. In today's society, current positioning technologies are unable to provide location information with the necessary accuracy, reliability, and low cost, for an expanding number of location aware applications. Locata's positioning technology has the potential to meet these requirements through a network of terrestrial based signal transmitters and GPS integration. The proposed research will provide adva ....Structural Deformation Monitoring Integrating a New Wireless Positioning Technology with GPS. In today's society, current positioning technologies are unable to provide location information with the necessary accuracy, reliability, and low cost, for an expanding number of location aware applications. Locata's positioning technology has the potential to meet these requirements through a network of terrestrial based signal transmitters and GPS integration. The proposed research will provide advanced training to graduate students and enable this technology to be realised. The application of the technology is almost limitless, from surveying and civil engineering projects, manufacturing industries and consumer Location Based Services (LBS), where the benefits would be enormous.Read moreRead less