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
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
Learning to Pinpoint Emerging Software Vulnerabilities. This project aims to develop learning-based software vulnerability detection techniques to improve the reliability and security of modern software systems. The existing techniques relying on conventional yet rigid software analysis and testing techniques are ineffective and/or inefficient when detecting a wide variety of emerging software vulnerabilities. The outcomes of this project will be a deep-learning-based detection approach and an ....Learning to Pinpoint Emerging Software Vulnerabilities. This project aims to develop learning-based software vulnerability detection techniques to improve the reliability and security of modern software systems. The existing techniques relying on conventional yet rigid software analysis and testing techniques are ineffective and/or inefficient when detecting a wide variety of emerging software vulnerabilities. The outcomes of this project will be a deep-learning-based detection approach and an open-source tool that can capture precision correlations between deep code features and diverse vulnerabilities to pinpoint emerging vulnerabilities without the need for bug specifications. Significant benefits include greatly improved quality, reliability and security for modern software systems.Read moreRead less
Ontology Based Multisite Distributed Software Development. Increasingly clients in cities are developing software overseas or in regional centres. The participating companies have found existing centralized software engineering techniques inadequate for multisite development. This project produces new principles and techniques for multisite distributed software development. Thus it proposes a new methodology, a new project management approach, a new workflow tracking technique and a new concept ....Ontology Based Multisite Distributed Software Development. Increasingly clients in cities are developing software overseas or in regional centres. The participating companies have found existing centralized software engineering techniques inadequate for multisite development. This project produces new principles and techniques for multisite distributed software development. Thus it proposes a new methodology, a new project management approach, a new workflow tracking technique and a new concept of software object/component that allows differentiated access. A platform is also developed for use in field studies for validation and benchmarking. The results will help Australia become a provider of software services for international clients and permit devolution to regional centres.Read moreRead less
A deep survey for compact structure in the nearby universe: key science for the upgraded Australian Long Baseline Array. This project uses advances in ICT to build a national and international network of facilities that includes existing telescopes primarily on the east coast of Australia, as well as planned facilities in Western Australia and New Zealand. One of these facilities, the New Technology Demonstrator, is a crucial part of Australia's roadmap to the Square Kilometre Array. The SKA-r ....A deep survey for compact structure in the nearby universe: key science for the upgraded Australian Long Baseline Array. This project uses advances in ICT to build a national and international network of facilities that includes existing telescopes primarily on the east coast of Australia, as well as planned facilities in Western Australia and New Zealand. One of these facilities, the New Technology Demonstrator, is a crucial part of Australia's roadmap to the Square Kilometre Array. The SKA-related science and technology demonstrations we will undertake as part of this project will contribute to Australia's bid to host this $US1b instrument. This project cements a significant Trans-Tasman collaboration and brings together researchers in astrophysics and ICT to give Australia a leading position in the field of eVLBI.Read moreRead less
Automation of metric temporal reasoning. A major contemporary engineering concern is to ensure the predictable and robust operation of computer systems involving software, hardware, and human users. The need for systematic and careful construction of such systems requires the development of formal methods based on a dense view of time rather than the traditional step-by-step models.
automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalis ....automated strategic reasoning. Formal methods are used to ensure robust correct behaviour in design and implementation of computer systems. Traditional models of computer operation involve a linear sequence of behaviour but today’s systems are complex interactions between many components including the environment of the system and human users. Thus analysis is done via a logical game between components where each is trying to meet its specified requirements regardless of what others do: formalisms include branching time and competing coalitions of agents. This project is to take early advantage of recent breakthroughs in automated logical reasoning with such models by the investigator to deliver general practical techniques of system development and verification.Read moreRead less
Industrial Transformation Research Hubs - Grant ID: IH170100013
Funder
Australian Research Council
Funding Amount
$2,962,655.00
Summary
ARC Research Hub for Digital Enhanced Living. The ARC Research Hub for Digital Enhanced Living aims to address the growing challenges of aging people living in their own home or residential care. This will be through inventing new personalised medical technologies through an innovative approach, with a multi-disciplinary team leveraging diverse expertise. An enhanced capacity to create and deploy fit-for-purpose personalised health solutions will result in revenues from new and repurposed device ....ARC Research Hub for Digital Enhanced Living. The ARC Research Hub for Digital Enhanced Living aims to address the growing challenges of aging people living in their own home or residential care. This will be through inventing new personalised medical technologies through an innovative approach, with a multi-disciplinary team leveraging diverse expertise. An enhanced capacity to create and deploy fit-for-purpose personalised health solutions will result in revenues from new and repurposed devices, analytics and integration platforms. New jobs and improved care will see cost reductions, better use of resources and enhanced mental, physical and social well-being.Read moreRead less
Tools, methodologies and reasoning support for developing companion-toy modules. This project investigates building of modules for an intelligent Toy which can be customised and adapted over time by add-on modules. Intelligent interactive toys are growing in popularity, and the ability for such a toy to develop over a prolonged lifetime, is both a sound business idea and a mechanism for extending the useful life of the Toy.
Optimising value for money in software development through standardised cost metrics in the procurement, development and project management phases. Mission critical and complex software projects habitually exceed budget expectations significantly. Regular outsourcing of software development means that procurement specialists, project managers and software engineers require a common understanding of individual system requirement costs to facilitate accord on price. Contemporary techniques for des ....Optimising value for money in software development through standardised cost metrics in the procurement, development and project management phases. Mission critical and complex software projects habitually exceed budget expectations significantly. Regular outsourcing of software development means that procurement specialists, project managers and software engineers require a common understanding of individual system requirement costs to facilitate accord on price. Contemporary techniques for describing and costing requirements fail to directly map into project management structures, leading to ongoing value comparisons that are subjective and unrepeatable. This research will develop the principles to be used by both clients and suppliers to compute earned value from requirements, leading to more accurate assessments and calculations of Value for Money in software projects.Read moreRead less