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
SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the infor ....SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the information and contracts needed by IoT applications to discover, integrate, pay, and use sensors provided by another parties. These IoT advancements will provide significant economic, environmental, and social benefits via making low-cost and immediate sensing available across the world.Read moreRead less
Industrial Transformation Training Centres - Grant ID: IC230100001
Funder
Australian Research Council
Funding Amount
$5,000,000.00
Summary
ARC Training Centre for Automated Vehicles in Rural and Remote Regions. The Centre will build skills and capability to test and deploy safe, socially acceptable, automated vehicles (AV) for rural, regional and remote Australian public roads, where manufacturing, agriculture, mining and defence industries face significant challenges of driver shortages, rising costs, long distances, rough roads, and environmental impacts. The centre will unite technology providers, regulators, government and end ....ARC Training Centre for Automated Vehicles in Rural and Remote Regions. The Centre will build skills and capability to test and deploy safe, socially acceptable, automated vehicles (AV) for rural, regional and remote Australian public roads, where manufacturing, agriculture, mining and defence industries face significant challenges of driver shortages, rising costs, long distances, rough roads, and environmental impacts. The centre will unite technology providers, regulators, government and end users with world-leading interdisciplinary researchers to create new human-AV systems, datasets, frameworks, case studies, platforms, and a vastly upskilled workforce. This will reduce transport costs, increase capacity, boost supply chain efficiency and resilience, improve road safety, and elevate Australian capability.Read moreRead less
Airports of the Future. This project will enhance the capabilities of Australian airport operators to design and manage complex airport systems. Research outcomes will enable the identification of patterns of behaviour and will provide tools to manage airport effectiveness and balance conflicting security, economic and passenger-driven pressures. Outcomes will improve productivity, enhance capabilities for critical infrastructure protection, and lessen the cost of mandated security, estimated t ....Airports of the Future. This project will enhance the capabilities of Australian airport operators to design and manage complex airport systems. Research outcomes will enable the identification of patterns of behaviour and will provide tools to manage airport effectiveness and balance conflicting security, economic and passenger-driven pressures. Outcomes will improve productivity, enhance capabilities for critical infrastructure protection, and lessen the cost of mandated security, estimated to grow to $152M by 2010 for the five major Australian airports. The deliverables of this project will be transferable to other complex socio-technical systems providing the potential to transform a range of Australian critical infrastructure and transportation hubs.Read moreRead less
Visual Analytics for Next Generation Sequencing. Next-generation sequencing technologies have brought a revolution in biology and healthcare, while taxing the ability of scientists and clinicians to identify and process relevant data, to make sense of it all and communicate it to others in a concise and meaningful way. This project aims to tackle this problem through fundamentally new approaches to data selection and visualisation at very large scale, actively encoding for insight into underlyin ....Visual Analytics for Next Generation Sequencing. Next-generation sequencing technologies have brought a revolution in biology and healthcare, while taxing the ability of scientists and clinicians to identify and process relevant data, to make sense of it all and communicate it to others in a concise and meaningful way. This project aims to tackle this problem through fundamentally new approaches to data selection and visualisation at very large scale, actively encoding for insight into underlying biological and biomedical processes, bringing sustainable discovery of new relationships and variations within the data. The project aims to support new approaches to medical diagnosis and treatment, and offer crucial lessons to address the broader challenge of understanding large, complex data sets.Read moreRead less
Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while pres ....Privacy-preserving data processing on the cloud. This project aims to address the current lack of privacy of user data processed by common cloud computing web servers, including email, business data, and confidential files. This project aims to develop new techniques in cryptography. The anticipated outcome is a suite of practical tools enabling common cloud computing processing operations such as search, statistical analysis, and multi-user access control, to be performed efficiently while preserving the data privacy. These tools should provide significant benefits to the privacy of cloud users, as well as financial and reputation benefits to the IT industry, by significantly reducing the likelihood of massive user data privacy breaches in the event of a cyber-hacking attack on the cloud server.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0775582
Funder
Australian Research Council
Funding Amount
$530,000.00
Summary
Data Grid -- Access Layer. Vast increases in computing power and the arrival of new scientific instruments are contributing to the so-called data deluge of the 21st century. Accessing and archiving these data is essential to research. While the underlying computing and network requirements are well resourced, data access has been relatively neglected in Australia. A continuing problem in Australian research communities is the absence of coordinated access to digital storage resources. In many ca ....Data Grid -- Access Layer. Vast increases in computing power and the arrival of new scientific instruments are contributing to the so-called data deluge of the 21st century. Accessing and archiving these data is essential to research. While the underlying computing and network requirements are well resourced, data access has been relatively neglected in Australia. A continuing problem in Australian research communities is the absence of coordinated access to digital storage resources. In many cases computational and experimental data are stored on ad-hoc resources, such as local university servers, PC disc drives, and are not generally accessible. The central goal of this proposal is to provide access to an integrated scientific data storage capacity for Australia.Read moreRead less
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE0668445
Funder
Australian Research Council
Funding Amount
$800,000.00
Summary
Data Grid Storage Infrastructure for e-Research. Vast increases in computing power and the arrival of new scientific instruments are contributing to the so-called data deluge of the 21st century. Archiving these data is essential to research. While the underlying computing and network requirements are well resourced, data storage capacity has been relatively neglected in Australia. A continuing problem in Australian research communities is the absence of coordinated digital storage resources. In ....Data Grid Storage Infrastructure for e-Research. Vast increases in computing power and the arrival of new scientific instruments are contributing to the so-called data deluge of the 21st century. Archiving these data is essential to research. While the underlying computing and network requirements are well resourced, data storage capacity has been relatively neglected in Australia. A continuing problem in Australian research communities is the absence of coordinated digital storage resources. In many cases computational and experimental data are stored on ad-hoc resources, such as local university servers, PC disc drives, CDs, or DVDs, and are not generally accessible. The central goal of this proposal is to provide a long-term, integrated scientific data storage capacity for Australia. Read moreRead less
ARC Centre of Excellence for the Digital Child. Our vision is for Australian children to be healthy, educated and connected. This Centre will integrate child health, education, and digital and social connectedness, innovating across disciplines to meet Australia’s ongoing challenges of supporting young children growing up in a rapidly changing digital age. The Centre’s world-leading team investigates children’s digital practices through three interconnected research programs supported by a longi ....ARC Centre of Excellence for the Digital Child. Our vision is for Australian children to be healthy, educated and connected. This Centre will integrate child health, education, and digital and social connectedness, innovating across disciplines to meet Australia’s ongoing challenges of supporting young children growing up in a rapidly changing digital age. The Centre’s world-leading team investigates children’s digital practices through three interconnected research programs supported by a longitudinal family cohort study and children’s technology laboratories. The Centre will address tensions in a contested field to inform government and non-government policy, technology innovation, and develop programs and guidelines for children, families, educators and technology developers. Read moreRead less
ARC Research Network for a Secure Australia. The Research Network for a Secure Australia (RNSA) is a multi-disciplinary collaboration established to strengthen Australia's research capacity for protecting critical infrastructure from natural or human-caused disasters including terrorist acts. The RNSA will facilitate a knowledge-sharing network for research organisations, government and the private sector to develop research tools and methods to mitigate emerging safety and security issues relat ....ARC Research Network for a Secure Australia. The Research Network for a Secure Australia (RNSA) is a multi-disciplinary collaboration established to strengthen Australia's research capacity for protecting critical infrastructure from natural or human-caused disasters including terrorist acts. The RNSA will facilitate a knowledge-sharing network for research organisations, government and the private sector to develop research tools and methods to mitigate emerging safety and security issues relating to critical infrastructure. World-leaders with extensive national and international linkages in relevant scientific, engineering and technological research will lead this collaboration. The RNSA will launch various activities to foster research collaboration and nurture young investigators.Read moreRead less