WAVELET-BASED MODELLING AND MODEL PREDICTIVE CONTROL OF COMPLEX MULTIDIMENSIONAL CRYSTALLISATION PROCESSES. The results of this project will directly contribute to a better understanding of crystallisation which is an important unit operation to achieve high purity separations. Many Australian industries for example, mineral processing, sugar processing, pharmaceuticals, etc will benefit from the results in order to enhance optimal operation and control to ensure globally competitive production ....WAVELET-BASED MODELLING AND MODEL PREDICTIVE CONTROL OF COMPLEX MULTIDIMENSIONAL CRYSTALLISATION PROCESSES. The results of this project will directly contribute to a better understanding of crystallisation which is an important unit operation to achieve high purity separations. Many Australian industries for example, mineral processing, sugar processing, pharmaceuticals, etc will benefit from the results in order to enhance optimal operation and control to ensure globally competitive production which is on time, minimize wastes and raw materials and inventories. The leading edge results will increase the contributions of these industries to the Australian economy and our global competitiveness necessary to maintain our culture and the beauty of our environment. Read moreRead less
Agent-Oriented Concept Management. This project will develop innovative agent-oriented approaches to managing information. An understanding of the concepts used by a system will enhance its ability to share information. Knowledge and concept management are key components of an information economy, and it is widely accepted that the success of the next generation of information systems will be their agent-oriented capability and their ability to interact with each other. In response, internation ....Agent-Oriented Concept Management. This project will develop innovative agent-oriented approaches to managing information. An understanding of the concepts used by a system will enhance its ability to share information. Knowledge and concept management are key components of an information economy, and it is widely accepted that the success of the next generation of information systems will be their agent-oriented capability and their ability to interact with each other. In response, international funding agencies have targeted agent-oriented technologies as essential ingredients for prosperity in the 21st century. This project will help to ensure that Australia shares in that prosperity.Read moreRead less
Ontology-based agent-oriented development methodologies. Establishing an industry strength unified agent-oriented methodology which focuses on interoperability and reusability will create stronger commitment to the new technology and stability in the commercial sector in Australia. Our methodology will create significant potential for Australian software companies, due to the added productivity and long term customer satisfaction through reusability, interoperability and pay-off of the developed ....Ontology-based agent-oriented development methodologies. Establishing an industry strength unified agent-oriented methodology which focuses on interoperability and reusability will create stronger commitment to the new technology and stability in the commercial sector in Australia. Our methodology will create significant potential for Australian software companies, due to the added productivity and long term customer satisfaction through reusability, interoperability and pay-off of the developed systems. This not only brings profits to Australian companies through the exploitation of this frontier technology, but also enhances the standard of living through increased satisfaction of the Australian public in their increasing use of software as they interact with today's computer-controlled world.Read moreRead less
Model Update with Localisation, Constraints and Abstraction. This project will fundamentally provide a new paradigm and a system prototype for advanced computer aided system modification. It will significantly enhance Australia's leading role in the cutting edge research in computer aided system development. By applying the new methodology and technology, Australian IT industry will significantly improve its capacity for developing highly complex hardware and software systems for various applica ....Model Update with Localisation, Constraints and Abstraction. This project will fundamentally provide a new paradigm and a system prototype for advanced computer aided system modification. It will significantly enhance Australia's leading role in the cutting edge research in computer aided system development. By applying the new methodology and technology, Australian IT industry will significantly improve its capacity for developing highly complex hardware and software systems for various applications. With a strong research program across different areas such as knowledge system update, model checking and software development, and a collaborative research training environment, this project will strengthen Australia's international reputation as a leader in computing and IT research.Read moreRead less
ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand add ....ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand addresses issues about methodology, modelling toolkits, and management and control. Practical applications are advanced via collaborative projects that address key issues in biology, environment, and socio-economics.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
Viewable Measures for Component-Based Software Engineering. Software costs over US$300 billion per year worldwide with around 70% of large projects failing to complete in time. Reliable estimation of development effort is a great challenge in Software Engineering. This project aims to develop a reliable multi-dimensional software size measure and an effort estimation model for a new method of development called component based software engineering. We will validate our results theoretically and ....Viewable Measures for Component-Based Software Engineering. Software costs over US$300 billion per year worldwide with around 70% of large projects failing to complete in time. Reliable estimation of development effort is a great challenge in Software Engineering. This project aims to develop a reliable multi-dimensional software size measure and an effort estimation model for a new method of development called component based software engineering. We will validate our results theoretically and test it against empirical data from software industry. We will provide novel visualization techniques to comprehend measurements of large systems. The outcomes will help software projects better estimate deadlines and budgets thus reducing costs significantly.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE170101081
Funder
Australian Research Council
Funding Amount
$360,000.00
Summary
Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis t ....Adaptive value-flow analysis to improve code reliability and security. This project aims to develop client-driven adaptive value-flow analysis to detect software bugs in system software written in the C/C++ programme language. Static analysis tools for automated code inspections can benefit software developers, but are imprecise, inefficient and not user-friendly for analysing real-world industrial-sized software. The project will investigate static, dynamic and user-guided value-flow analysis to efficiently and precisely analyse large-scale programs according to clients’ needs, thereby allowing compilers to generate safe, reliable and secure code. This project is expected to advance value-flow analysis for industrial-sized software, improve software reliability and security, and benefit Australian software systems and industries.Read moreRead less
Escaping the concurrency trade-off: a new approach to enterprise software. Enterprise software manages the operations of all business and government organisations. Designers of this often rely on their intuition or luck, by using high-performance database facilities whose correctness is not guaranteed. This project will show designers how to use these facilities while still having the assurance that the data will not be corrupted. This will improve the quality of the data used by Australian ent ....Escaping the concurrency trade-off: a new approach to enterprise software. Enterprise software manages the operations of all business and government organisations. Designers of this often rely on their intuition or luck, by using high-performance database facilities whose correctness is not guaranteed. This project will show designers how to use these facilities while still having the assurance that the data will not be corrupted. This will improve the quality of the data used by Australian enterprises, and thus improve their operations. Australian software designers will also benefit, as they will be able to produce software that combines high performance with assurance that concurrency errors will not occur.Read moreRead less
Intelligent Incident Management for Software-Intensive Systems. This project aims to develop intelligent incident management methods for software-intensive systems. Incidents are unplanned system interruptions or outages that could affect the normal operations of an organization and cause huge economic loss. This project expects to develop innovative, Artificial Intelligence (AI) based methods for automated incident management, including incident detection, incident identification, and incident ....Intelligent Incident Management for Software-Intensive Systems. This project aims to develop intelligent incident management methods for software-intensive systems. Incidents are unplanned system interruptions or outages that could affect the normal operations of an organization and cause huge economic loss. This project expects to develop innovative, Artificial Intelligence (AI) based methods for automated incident management, including incident detection, incident identification, and incident triage. Expected outcomes of the project include a set of novel methods and tools that can facilitate incident diagnosis and resolution. This project will provide significant benefits, such as improving the availability of software-intensive systems and reducing the economic loss caused by the incidents. Read moreRead less