Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical ....Provable elimination of information leakage through timing channels. This project aims to develop techniques to solve the issue in information security of unauthorised information flow resulting from competition for shared hardware resources. The project will combine operating systems design, formal hardware models, information-flow reasoning and theorem proving to achieve a goal that is widely considered infeasible. The project is expected to result in a system that prevents leakage of critical information, such as encryption keys, through timing channels. This should prevent sophisticated attacks on public clouds, mobile devices and military-grade cross-domain devices.Read moreRead less
Succeeding with Enterprise Architecture Service Provision in Australian Organisations. This project aims to develop, test and refine an innovative model that explains how and why Australian organisations achieve benefits with enterprise architecture services. Enterprise architecture services involve the provision of relevant and timely advice about future IT systems, databases and digitised processes to strategic IT decision-makers. The model will enable Australian organisations to better unders ....Succeeding with Enterprise Architecture Service Provision in Australian Organisations. This project aims to develop, test and refine an innovative model that explains how and why Australian organisations achieve benefits with enterprise architecture services. Enterprise architecture services involve the provision of relevant and timely advice about future IT systems, databases and digitised processes to strategic IT decision-makers. The model will enable Australian organisations to better understand the capabilities required to achieve success with enterprise architecture services, the outcomes that can be achieved and the benefits realised. This will help Australian organisations to make more effective strategic investments in IT and remain globally competitive.Read moreRead less
Reputation-based Trust Framework for Composed Services. This project aims at providing a uniform and efficient framework for bootstrapping, establishing, and propagating reputation in composed Web services. Reputation is used as a key criterion for establishing trust among composed Web services. Web services are de-facto the technology of choice for the deployment of an increasing number of Web-based solutions for such emerging applications as cloud computing. Because of the distributed and dece ....Reputation-based Trust Framework for Composed Services. This project aims at providing a uniform and efficient framework for bootstrapping, establishing, and propagating reputation in composed Web services. Reputation is used as a key criterion for establishing trust among composed Web services. Web services are de-facto the technology of choice for the deployment of an increasing number of Web-based solutions for such emerging applications as cloud computing. Because of the distributed and decentralised nature of the Web, there is a need to establish a trust framework for selecting and composing Web services. The key parameter will be based on Web service reputation in delivering services.Read moreRead less
Enhancing privacy preserving in dynamic cyberspace. This project aims to develop a novel infrastructure operational monitoring and management strategy to reduce the redundant maintenance actions and achieve a cost-effective approach for civil infrastructure asset management. The project will use multiple social networks as a platform for the project, with the potential for the results to be extended to any dynamic cyberspace. Project outcomes will include a set of new analysis theories and tools ....Enhancing privacy preserving in dynamic cyberspace. This project aims to develop a novel infrastructure operational monitoring and management strategy to reduce the redundant maintenance actions and achieve a cost-effective approach for civil infrastructure asset management. The project will use multiple social networks as a platform for the project, with the potential for the results to be extended to any dynamic cyberspace. Project outcomes will include a set of new analysis theories and tools to facilitate government, companies, individuals, and organisations to enhance their information gathering and privacy-preserving capabilities. This is expected to enhance the credibility of the government and organisations and save the possible financial loss of companies and individuals.Read moreRead less
Stability Analysis of Power System with Massive Power Electronic Devices. The decarbonization of Australia's power systems is to integrate massive renewable energy sources which are interfaced with many power electronic devices (PEDs). The fast and complex dynamics of PEDs have significantly changed the nature of the power system, which limits the applicability of existing tools and methods to assess its stability. The goal of this project is to gain a comprehensive insight into the stability of ....Stability Analysis of Power System with Massive Power Electronic Devices. The decarbonization of Australia's power systems is to integrate massive renewable energy sources which are interfaced with many power electronic devices (PEDs). The fast and complex dynamics of PEDs have significantly changed the nature of the power system, which limits the applicability of existing tools and methods to assess its stability. The goal of this project is to gain a comprehensive insight into the stability of a futuristic power system with high penetration of PEDs. The intended outcomes will be a model and data jointly driven methodology for high-efficient and real-time stability assessment. The methodology developed in this project will support Australia's transition to a stable, secure, and low-carbon power grid.Read moreRead less
Convex optimisation for control, signal processing and communication systems. Renewable control of complex systems, signal processing, telecommunication and in general any industries interested in these applications stand to benefit from our research. In particular, the automotive and defence industries stand to benefit from the nonlinear control design aspect of the proposed project outcomes. The
telecommunications industries, on the other hand, benefit from the signal processing and communicat ....Convex optimisation for control, signal processing and communication systems. Renewable control of complex systems, signal processing, telecommunication and in general any industries interested in these applications stand to benefit from our research. In particular, the automotive and defence industries stand to benefit from the nonlinear control design aspect of the proposed project outcomes. The
telecommunications industries, on the other hand, benefit from the signal processing and communications aspects. We also build a core expertise in optimisation and its applications in Australia by training PhD students and Postdoctoral researchers. The research collaborations will cement and maintain the international linkages which will improve applied research in AustraliaRead moreRead less
Power system security assessment given massive intermittent energy sources. This project aims to develop new models and analysis methods to investigate the impact of massive intermittent energy sources (IESs) on the performance and security of power grids. Furthermore, advanced control strategies will be developed to enhance the security. The outcomes can provide useful guidelines to assist the Australian power industry and the government in realising the renewable energy target. Furthermore con ....Power system security assessment given massive intermittent energy sources. This project aims to develop new models and analysis methods to investigate the impact of massive intermittent energy sources (IESs) on the performance and security of power grids. Furthermore, advanced control strategies will be developed to enhance the security. The outcomes can provide useful guidelines to assist the Australian power industry and the government in realising the renewable energy target. Furthermore considering serious blackout can not only cause economic losses, but also larger disturbance in other critical infrastructure, this project also contributes to national security.Read moreRead less
Long-term Cloud Service Composition. This project proposes an economic model-based framework for the selection and composition of cloud services, thus creating an efficient market for cloud consumers and providers. The project will use economic models that incorporate a range of quality of service (QoS) parameters as a key driver for optimising the selection of cloud services and the acceptance of consumer requests. The main outcomes of this project aim to increase efficiencies in the cloud mark ....Long-term Cloud Service Composition. This project proposes an economic model-based framework for the selection and composition of cloud services, thus creating an efficient market for cloud consumers and providers. The project will use economic models that incorporate a range of quality of service (QoS) parameters as a key driver for optimising the selection of cloud services and the acceptance of consumer requests. The main outcomes of this project aim to increase efficiencies in the cloud market, benefiting consumers and providers.Read moreRead less
Next Generation Spatial Data Management for Virtual Spatial Systems. This project aims to design novel spatial data retrieval methods for efficient and accurate querying of large datasets with location information. Spatial data is being generated at an unprecedented rate due to the prevalence of mobile devices and ubiquitous connectivity. However, harnessing this data is hampered by outdated and inefficient methods. The project will investigate data retrieval methods that self-optimise for high ....Next Generation Spatial Data Management for Virtual Spatial Systems. This project aims to design novel spatial data retrieval methods for efficient and accurate querying of large datasets with location information. Spatial data is being generated at an unprecedented rate due to the prevalence of mobile devices and ubiquitous connectivity. However, harnessing this data is hampered by outdated and inefficient methods. The project will investigate data retrieval methods that self-optimise for high query efficiency and accuracy, by utilising underlying real-world data patterns. It will enable novel applications for virtual spatial systems with large-scale querying needs, such as spatial digital twins and metaverses, benefiting location-based service providers, urban planners, and emergency management agencies.Read moreRead less