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
Examining multi-level Information Technology (IT) project alignment in government services: the case of contracted employment services. Improved Information Technology (IT) alignment is essential for the delivery of government services within a complex public-private, inter-organisational environment. This project will investigate the extent to which well-aligned IT support systems contribute positively to the efficient and effective delivery of contracted employment services.
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
An Empirical Study of Agenda Setting in the High Court of Australia. This project aims to undertake the first comprehensive study of institutional and individual factors that facilitate and constrain access to judicial power via the High Court’s agenda setting process, special leave. Using quantitative methods, the project expects to generate new and advanced knowledge about the High Court’s role as the gatekeeper of judicial power. Expected outcomes include foundational knowledge on the nature ....An Empirical Study of Agenda Setting in the High Court of Australia. This project aims to undertake the first comprehensive study of institutional and individual factors that facilitate and constrain access to judicial power via the High Court’s agenda setting process, special leave. Using quantitative methods, the project expects to generate new and advanced knowledge about the High Court’s role as the gatekeeper of judicial power. Expected outcomes include foundational knowledge on the nature and scope of access to judicial power in Australia via policy reports, scholarly articles and datasets. This should provide significant benefits such as important insights on the impact and influence of justices, litigants, lawyers, and governments on High Court’s decisions to grant or deny special leave to appeal.Read moreRead less
Co-design and dynamic mission optimisation of hypersonic flight vehicles. This project aims to deliver fundamental knowledge by integrating the modelling and control with the design of next generation hypersonic platforms. In an era where Australia's national security reliance on geographic isolation and support from allied forces are being challenged, the research outcomes of this project will play an important role in understanding the capabilities of hypersonic systems. The project will also ....Co-design and dynamic mission optimisation of hypersonic flight vehicles. This project aims to deliver fundamental knowledge by integrating the modelling and control with the design of next generation hypersonic platforms. In an era where Australia's national security reliance on geographic isolation and support from allied forces are being challenged, the research outcomes of this project will play an important role in understanding the capabilities of hypersonic systems. The project will also have significant spillover benefits into other complex system domains, where computational tools can be used to aid in design leading to high embedded-IP products for Australian industry. Furthermore, the proposal encompasses a strong research training aspect, with graduates exposed to leading edge industry and academia.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
Role of the superior colliculus in sensory processing. The ability of an organism to attend to, and orient towards, stimuli in the environment is critical for survival. In the mammalian brain, the principal brain region performing this function is the superior colliculus. Despite its importance, little is known about the role the superior colliculus plays in sensory perception. This project addresses this issue by leveraging revolutionary new recording techniques to determine how the superior co ....Role of the superior colliculus in sensory processing. The ability of an organism to attend to, and orient towards, stimuli in the environment is critical for survival. In the mammalian brain, the principal brain region performing this function is the superior colliculus. Despite its importance, little is known about the role the superior colliculus plays in sensory perception. This project addresses this issue by leveraging revolutionary new recording techniques to determine how the superior colliculus codes sensory information and ultimately drives behaviour. The outcomes will be of immediate benefit to scientists studying sensory processing and perceptual decision making, and will help keep Australia at the forefront of brain-inspired engineering and the neuroscience-based knowledge economy.Read moreRead less