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
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
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.
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
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
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