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
Modelling, Identification and Control of Complex Networks. Australia has been well known for its leading research in systems and control and many real-world applications in, for instance, telecommunications, defence, power grids and life sciences. This project will further promote Australia's leading position in the emerging new research field - complex networks by theoretical breakthrough in modelling, identification and control of complex networks, and cutting-edge platform technology that can ....Modelling, Identification and Control of Complex Networks. Australia has been well known for its leading research in systems and control and many real-world applications in, for instance, telecommunications, defence, power grids and life sciences. This project will further promote Australia's leading position in the emerging new research field - complex networks by theoretical breakthrough in modelling, identification and control of complex networks, and cutting-edge platform technology that can help Australian energy industry to reduce greenhouse emissions. It will also result in education of the next generation research leaders in this emerging field.Read moreRead less
Special Research Initiatives - Grant ID: SR0354729
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Smart Use of Information Technologies (SUITs). The SUITs network will develop critical mass in world-class, leading-edge research into the smart use of information and communication technology (ICT) through integration of research within the dispersed Australian ICT research community and through facilitating international linkages. The network will undertake research applicable in key sectors including the health, education, service, knowledge and media industries. The aim is to establish a h ....Smart Use of Information Technologies (SUITs). The SUITs network will develop critical mass in world-class, leading-edge research into the smart use of information and communication technology (ICT) through integration of research within the dispersed Australian ICT research community and through facilitating international linkages. The network will undertake research applicable in key sectors including the health, education, service, knowledge and media industries. The aim is to establish a higher order of coordination and collaboration in research into ICT applications.
The feasibility study proposed will engage key stakeholders, refine research goals and investigate linkage mechanisms to improve Australia's ICT research and its contribution to economic and social well-being.
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.
Special Research Initiatives - Grant ID: SR0354794
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Australian e-Astronomy. Australian e-Astronomy will provide a pre-eminent example of an integrated e-Science program. The Australian e-Astronomy Research Network will build on and extend the LIEF-funded national program to participate in the International Virtual Observatory. The network includes key members of most Australian astronomy research groups, a strong group representing grid research and advanced computing partnerships and an extensive group of international experts. The network dev ....Australian e-Astronomy. Australian e-Astronomy will provide a pre-eminent example of an integrated e-Science program. The Australian e-Astronomy Research Network will build on and extend the LIEF-funded national program to participate in the International Virtual Observatory. The network includes key members of most Australian astronomy research groups, a strong group representing grid research and advanced computing partnerships and an extensive group of international experts. The network developed by Australian e-Astronomy will service the entire Australian astronomical research community (eg theory codes, databases, software telescopes) and provide new programs for postgraduate research training.Read moreRead less
Integrated Intelligent Decision Support for Field Design and Management of Census Operations in Australia. This project contributes to a more reliable and accurate measurement of the number and key characteristics of Australian people by supporting a more efficient and effective field design and management of the Census operations. As the Census provides a snapshot of Australia and is crucial to communities, private institutions and all levels of government in the planning of services and facili ....Integrated Intelligent Decision Support for Field Design and Management of Census Operations in Australia. This project contributes to a more reliable and accurate measurement of the number and key characteristics of Australian people by supporting a more efficient and effective field design and management of the Census operations. As the Census provides a snapshot of Australia and is crucial to communities, private institutions and all levels of government in the planning of services and facilities, this project not only addresses the research priority of smart information use, but also contributes to strengthening Australia's social and economic fabric. This project will also train highly qualified IT specialists critical to Australia's scientific and industrial development, thus increasing our competitiveness in information technology R&D.Read moreRead less
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