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
Industrial Transformation Research Hubs - Grant ID: IH230100013
Funder
Australian Research Council
Funding Amount
$5,000,000.00
Summary
ARC Research Hub for Future Digital Manufacturing. This Hub aims to grow and accelerate Australian digital manufacturing (DM) transformation by devising novel DM technology and commercialisation/adoption pathways. The Hub expects to transform industry by developing novel AI and IoT-powered DM technology that provides for dramatic improvement in manufacturing productivity, resilience and competitiveness. Expected outcomes include novel DM technology for digitally representing, predicting, and imp ....ARC Research Hub for Future Digital Manufacturing. This Hub aims to grow and accelerate Australian digital manufacturing (DM) transformation by devising novel DM technology and commercialisation/adoption pathways. The Hub expects to transform industry by developing novel AI and IoT-powered DM technology that provides for dramatic improvement in manufacturing productivity, resilience and competitiveness. Expected outcomes include novel DM technology for digitally representing, predicting, and improving production and its outcomes via an open platform that supports reusing industry co-created DM solutions. Through supporting advanced manufacturing priorities and Industry 4.0, the Hub should provide significant benefits by increasing Australian manufacturing productivity and resilience by 30%.Read moreRead less
Special Research Initiatives - Grant ID: SR0354693
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Australian e-Research Grid. The e-Research Grid program will research and implement core Grid technologies on APAC and partner's deployed HPC resources, to underpin a broad range of Australian research. The computer science CIs will form collaborative links with international programs, adapting developments to local circumstances. The applications-domain CIs will leverage those into their scientific simulations and databases, using grid integrative techniques and portals. Many CIs participate in ....Australian e-Research Grid. The e-Research Grid program will research and implement core Grid technologies on APAC and partner's deployed HPC resources, to underpin a broad range of Australian research. The computer science CIs will form collaborative links with international programs, adapting developments to local circumstances. The applications-domain CIs will leverage those into their scientific simulations and databases, using grid integrative techniques and portals. Many CIs participate in other RNs linking to their motivating applications, enhancing prospects for research and integration. They participate in the APAC Grid program, leveraging 75 HPC staff nationally. A key aim is interoperability with "real-world Grids": eg e-learning & e-health programs.Read moreRead less
How do qualifications delivered by enterprises contribute to improved skill levels and other benefits for companies, workers and the nation? This project investigates the role of employer-based qualifications training in developing the skills and prospects of the Australian workforce and the competitive capabilities of companies. It focuses on enterprises that are accredited to deliver qualifications to their own workers, providing data to improve and expand this form of training.
ARC Research Network in Enterprise Information Infrastructure. EII targets consolidated research towards the comprehensive development & establishment of advanced information infrastructures. Its prime purpose is to provide a forum for intellectual exchange by diverse yet complementary research groups, to address the fundamental research problems faced by scientific & business communities when dealing with deployment of information technology to globally distributed, and data intensive environme ....ARC Research Network in Enterprise Information Infrastructure. EII targets consolidated research towards the comprehensive development & establishment of advanced information infrastructures. Its prime purpose is to provide a forum for intellectual exchange by diverse yet complementary research groups, to address the fundamental research problems faced by scientific & business communities when dealing with deployment of information technology to globally distributed, and data intensive environments. EII will address 3 tightly coupled research themes: Ability to interoperate across existing heterogenous platforms & applications; Efficient processing of very large data sets; Technology adoption & impact. Generic results will be applicable to e-science and large business information systems installations.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
Transforming Microgrid to Virtual Power Plant –ICT Frameworks,Tools,Control. The project aims to enhance large scale renewable penetrations to national power grid by advancing control, optimization, and ancillary services of Virtual Power Plants (VPPs), considering different disruptive events including recent South Australian blackout. This project expects to create new control, frame communication architecture, develop plug and play type IoT enabled grid interfacing inverter, and optimize resou ....Transforming Microgrid to Virtual Power Plant –ICT Frameworks,Tools,Control. The project aims to enhance large scale renewable penetrations to national power grid by advancing control, optimization, and ancillary services of Virtual Power Plants (VPPs), considering different disruptive events including recent South Australian blackout. This project expects to create new control, frame communication architecture, develop plug and play type IoT enabled grid interfacing inverter, and optimize resource management for distributed VPPs. The anticipated benefits from this institutional level collaborations are that VPPs help in enhancing national power grid operations during normal and disruptive conditions when more renewables are connected and also secure benefits of consumers, prosumers, and grid operators.Read moreRead less
Special Research Initiatives - Grant ID: SR0354575
Funder
Australian Research Council
Funding Amount
$30,000.00
Summary
Earth and Ocean Informatics and Technology Network (EON-ITnet). Sustainable resource exploration and mining onshore, as well as marine planning, exploration, and defence depend on effective cross-disciplinary investigation, sharing of expertise and technologies for integration and computational analysis of multidimensional data spaces. EON-ITNET will cross-fertilise the use of artificial intelligence, advanced computing and smart information sharing for management, analysis, visualisation and me ....Earth and Ocean Informatics and Technology Network (EON-ITnet). Sustainable resource exploration and mining onshore, as well as marine planning, exploration, and defence depend on effective cross-disciplinary investigation, sharing of expertise and technologies for integration and computational analysis of multidimensional data spaces. EON-ITNET will cross-fertilise the use of artificial intelligence, advanced computing and smart information sharing for management, analysis, visualisation and metadata modelling between these traditionally separate research groups, with the outcome of improving research efficiency and lowering costs. EON-ITNET will form an alliance with the Caltech-based GeoFramework, which is advancing a novel object-oriented data analysis environment, binding community software for Earth visualisation and simulation to 4D data bases.Read moreRead less
Exemplary early childhood educators at work: A multi-level investigation. Exemplary early childhood educators at work: A multi-level investigation. This project aims to inform strategies to better attract, prepare, recognise, support and retain a high quality workforce, by investigating the complexity of early childhood educators’ work. Seemingly entrenched workforce shortages threaten the objectives that governments and families seek through investment in early childhood education. Popular imag ....Exemplary early childhood educators at work: A multi-level investigation. Exemplary early childhood educators at work: A multi-level investigation. This project aims to inform strategies to better attract, prepare, recognise, support and retain a high quality workforce, by investigating the complexity of early childhood educators’ work. Seemingly entrenched workforce shortages threaten the objectives that governments and families seek through investment in early childhood education. Popular images of work with young children as easy and instinctual, or of teaching as only school based, mislead potential workforce entrants and erode the status of educators, leading to attrition. This project’s audit and description of exemplary educators’ work, across each level of mandated qualification, will inform strategies to sustain a high quality early childhood workforce into the future.Read moreRead less