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
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
Industrial Transformation Training Centres - Grant ID: IC200100022
Funder
Australian Research Council
Funding Amount
$4,883,406.00
Summary
ARC Training Centre for Information Resilience. The proposed centre aims at building workforce capacity in Australian organisations to create, protect and sustain agile data pipelines, capable of detecting and responding to failures and risks across the information value chain in which the data is sourced, shared, transformed, analysed and consumed. Building on strong foundations of responsible data science, the centre will bring together end-users, technology providers, and cutting-edge researc ....ARC Training Centre for Information Resilience. The proposed centre aims at building workforce capacity in Australian organisations to create, protect and sustain agile data pipelines, capable of detecting and responding to failures and risks across the information value chain in which the data is sourced, shared, transformed, analysed and consumed. Building on strong foundations of responsible data science, the centre will bring together end-users, technology providers, and cutting-edge research, to lift the socio-technical barriers to data driven transformation and develop resilient data pipelines capable of delivering game-changing productivity gains that position Australian organisations at the forefront of technology leadership and value creation from data assets. Read moreRead less
Industrial Transformation Training Centres - Grant ID: IC220100012
Funder
Australian Research Council
Funding Amount
$4,939,486.00
Summary
ARC Training Centre for Advanced Building Systems Against Airborne Infection Transmission. The aim of the Centre is to engineer building systems whose elements work together to reduce airborne infection transmission by improving indoor air quality while maintaining comfort and efficiency. The significance is in establishing clean indoor air as the norm, with Australian industry being the forerunner in this process. The outcomes include new intelligent building systems, improved building technolo ....ARC Training Centre for Advanced Building Systems Against Airborne Infection Transmission. The aim of the Centre is to engineer building systems whose elements work together to reduce airborne infection transmission by improving indoor air quality while maintaining comfort and efficiency. The significance is in establishing clean indoor air as the norm, with Australian industry being the forerunner in this process. The outcomes include new intelligent building systems, improved building technologies, quantitative methods for building control, evidence for policymaking and recommendations for operational guidelines. Wide-ranging benefits include reducing the health and economic burden of inadequate indoor air and increasing the competitiveness of Australian industry in the face of increasing demand for next-level building systems.Read moreRead less
Industrial Transformation Training Centres - Grant ID: IC210100021
Funder
Australian Research Council
Funding Amount
$5,000,000.00
Summary
ARC Training Centre in Energy Technologies for Future Grids. The proposed Future Grids Training Centre will advance Australia’s transition to a clean energy future. It will address the complex and challenging issues currently limiting the growth of renewable energy through innovations that facilitate widespread integration of these resources into electricity grids while maintaining grid stability. The Centre will deliver the next generation of industry leaders and specialists in future grid tech ....ARC Training Centre in Energy Technologies for Future Grids. The proposed Future Grids Training Centre will advance Australia’s transition to a clean energy future. It will address the complex and challenging issues currently limiting the growth of renewable energy through innovations that facilitate widespread integration of these resources into electricity grids while maintaining grid stability. The Centre will deliver the next generation of industry leaders and specialists in future grid technologies for renewable energy generation, transmission and distribution, supported by renewable hydrogen energy storage and market driven customer responsiveness enabled by new information and communications technologies, to provide a more sustainable, reliable, secure and affordable electricity system.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE200100032
Funder
Australian Research Council
Funding Amount
$600,000.00
Summary
Advanced Multifunctional Electro-Opto-Magneto-Mechanical Analysis Platform. This project aims to build an advanced multi-functional Electro-Opto-Magneto-Mechanical analysis platform for characterizing nanomaterials and micro-/nano-scale devices. This platform expects to provide rich and unique characterization capabilities (electrical, optical, magnetic and mechanical) for hybrid devices with low temperature and high vacuum environment. The expected outcomes include multidisciplinary research co ....Advanced Multifunctional Electro-Opto-Magneto-Mechanical Analysis Platform. This project aims to build an advanced multi-functional Electro-Opto-Magneto-Mechanical analysis platform for characterizing nanomaterials and micro-/nano-scale devices. This platform expects to provide rich and unique characterization capabilities (electrical, optical, magnetic and mechanical) for hybrid devices with low temperature and high vacuum environment. The expected outcomes include multidisciplinary research collaborations and a wide range of next-generation technologies including non-invasive medical instruments, wearable devices, communication, quantum information systems and energy storage solutions. This should enable local design and construction of hybrid devices and advance the growth of local high-technology industries.Read moreRead less
Industrial Transformation Training Centres - Grant ID: IC160100040
Funder
Australian Research Council
Funding Amount
$3,815,143.00
Summary
ARC Training Centre for Automated Manufacture of Advanced Composites. ARC Training Centre for Automated Manufacture of Advanced Composites. This centre aims to develop innovative researchers who can transform Australia’s high-performance carbon composites manufacturing industry. This aim will be achieved through the adoption and creative use of advanced automation technology, which brings benefits of speed, flexibility and accuracy. Industry-based research experience will be enhanced through exp ....ARC Training Centre for Automated Manufacture of Advanced Composites. ARC Training Centre for Automated Manufacture of Advanced Composites. This centre aims to develop innovative researchers who can transform Australia’s high-performance carbon composites manufacturing industry. This aim will be achieved through the adoption and creative use of advanced automation technology, which brings benefits of speed, flexibility and accuracy. Industry-based research experience will be enhanced through exposure to international partners at the cutting edge of advanced composites manufacturing research and development in developed economies. The intended outcome is a generation of innovators who can use the benefits of automation to position Australian manufacturers as world-class agile producers of high-value advanced composite structures using high-rate, error-free processes.Read moreRead less