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
Preventing railway suicide: An open-systems perspective. Preventing railway suicide: An open-systems perspective. This project aims to develop an automated suicide risk detection system to reduce the incidence and impact of railway suicide, which has a devastating effect on victims’ families, station staff, train drivers, emergency workers, and bystanders. This project will use open-systems theory to develop two complementary information systems for more effective detection and reporting of suic ....Preventing railway suicide: An open-systems perspective. Preventing railway suicide: An open-systems perspective. This project aims to develop an automated suicide risk detection system to reduce the incidence and impact of railway suicide, which has a devastating effect on victims’ families, station staff, train drivers, emergency workers, and bystanders. This project will use open-systems theory to develop two complementary information systems for more effective detection and reporting of suicide risk; use these systems to investigate how different situational factors interact with different combinations of service interventions to influence suicide risk; and share the findings to reduce railway suicide in Australia and overseas.Read moreRead less
Internet Timing for the Ages: Establishing the New Timekeeping System. All computers incorporate a software clock, essential to myriad software applications. An economic way to synchronize such clocks is over a network, however the approach the Internet currently depends upon is unreliable and vulnerable. This project aims to establish a new architecture for networked timekeeping, built on future-proofed fundamentals, that will for the first time address each of accuracy, reliability, and trust. ....Internet Timing for the Ages: Establishing the New Timekeeping System. All computers incorporate a software clock, essential to myriad software applications. An economic way to synchronize such clocks is over a network, however the approach the Internet currently depends upon is unreliable and vulnerable. This project aims to establish a new architecture for networked timekeeping, built on future-proofed fundamentals, that will for the first time address each of accuracy, reliability, and trust. The expected outcome is a national prototype, serving the public with accurate and trusted time, that will form the basis of the next generation timekeeping system for the Internet and the Internet of Things. Expected benefits include enhanced productivity across the digital economy, and resilience to GPS failures.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
Digital nomadism: How IT enables new forms of working and organising. This project aims to gain a better understanding of digital nomadism. Digital nomads use IT platforms to work remotely over the Internet while perpetually travelling. The project will develop new knowledge by better understanding of how IT transforms work and enable digital nomadism, the motivations and values of workers and their clients/organisations engaged in digital nomadism and the implications and consequences of digita ....Digital nomadism: How IT enables new forms of working and organising. This project aims to gain a better understanding of digital nomadism. Digital nomads use IT platforms to work remotely over the Internet while perpetually travelling. The project will develop new knowledge by better understanding of how IT transforms work and enable digital nomadism, the motivations and values of workers and their clients/organisations engaged in digital nomadism and the implications and consequences of digital nomadism for workers and clients/organisations. The project is expected to have a significant impact on policy and public discourse by providing an in-depth explanation and understanding of digital nomadism based on rigorous research.Read moreRead less
Microcantilevers for multifrequency atomic force microscopy. This project aims to design a microcantilever with high-performing sensors more sensitive and with better noise performance than the typical optical system used in commercial Atomic Force Microscopes (AFMs). The AFM, a nanotechnology instrument, uses a microcantilever (with an extremely shape probe) to interrogate a sample surface. It has made important discoveries in nanotechnology, life sciences, nanomachining, material science and d ....Microcantilevers for multifrequency atomic force microscopy. This project aims to design a microcantilever with high-performing sensors more sensitive and with better noise performance than the typical optical system used in commercial Atomic Force Microscopes (AFMs). The AFM, a nanotechnology instrument, uses a microcantilever (with an extremely shape probe) to interrogate a sample surface. It has made important discoveries in nanotechnology, life sciences, nanomachining, material science and data storage systems. Despite its success, the technique’s spatial resolution and quantitative measurements are limited. This project could lead to breakthrough technologies such as atomic force spectroscopy to study elastic modulus of nanostructures, and establish Australia's prominence in this emerging field.Read moreRead less
Extending the lifetime of switching power converters. This project aims to address the need for longer lifespan of power conversion systems which can withstand failure of its key components. This is achieved through developing more reliable power converter circuits whilst reducing the stress of the components. This project will generate new circuit design and control techniques for power and energy systems, especially in dealing with reliability issues. Expected outcome of this project includes ....Extending the lifetime of switching power converters. This project aims to address the need for longer lifespan of power conversion systems which can withstand failure of its key components. This is achieved through developing more reliable power converter circuits whilst reducing the stress of the components. This project will generate new circuit design and control techniques for power and energy systems, especially in dealing with reliability issues. Expected outcome of this project includes reduction of failure rate of power converters by at least 50%. This should provide benefits for many sectors including emerging technologies in particular renewable energy, electric vehicles and energy storage systems seeking reliable power supply and for the environment with reduced e-waste production.Read moreRead less
Contextual Behabiour Predictions in Dynamic Mobile E-commerce. The project aims to address behaviour prediction and develop novel techniques and tools for modelling, predicting human behaviours and making effective recommendations based on ubiquitous user behaviour data in mobile e-commerce. The techniques enable multi-source data fusion, context learning and model adaptation, and dynamic recommendation with interpretability ability. Expected outcomes include advances in data analytics theory an ....Contextual Behabiour Predictions in Dynamic Mobile E-commerce. The project aims to address behaviour prediction and develop novel techniques and tools for modelling, predicting human behaviours and making effective recommendations based on ubiquitous user behaviour data in mobile e-commerce. The techniques enable multi-source data fusion, context learning and model adaptation, and dynamic recommendation with interpretability ability. Expected outcomes include advances in data analytics theory and informed decision-making. This provides significant benefits of not only placing Australia in the forefront of exploiting multimodal user behaviour big data in dynamic e-commerce but also transforming Australian government and businesses to intelligent and contextual services adaptive to complex situations.Read moreRead less