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
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
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
Succeeding with Enterprise Architecture Service Provision in Australian Organisations. This project aims to develop, test and refine an innovative model that explains how and why Australian organisations achieve benefits with enterprise architecture services. Enterprise architecture services involve the provision of relevant and timely advice about future IT systems, databases and digitised processes to strategic IT decision-makers. The model will enable Australian organisations to better unders ....Succeeding with Enterprise Architecture Service Provision in Australian Organisations. This project aims to develop, test and refine an innovative model that explains how and why Australian organisations achieve benefits with enterprise architecture services. Enterprise architecture services involve the provision of relevant and timely advice about future IT systems, databases and digitised processes to strategic IT decision-makers. The model will enable Australian organisations to better understand the capabilities required to achieve success with enterprise architecture services, the outcomes that can be achieved and the benefits realised. This will help Australian organisations to make more effective strategic investments in IT and remain globally competitive.Read moreRead less
Virtual Collaborative Logistics and Partner to Partner Information Systems. Increasingly there is a tendency around the world for logistics companies that provide transport and warehousing services to band together to share their physical resources so they can extend their reach beyond their current region of operation. When this is coupled with internet ordering and status monitoring one has an e-logistics company that is a virtual logistics provider that gives access to these shared resources ....Virtual Collaborative Logistics and Partner to Partner Information Systems. Increasingly there is a tendency around the world for logistics companies that provide transport and warehousing services to band together to share their physical resources so they can extend their reach beyond their current region of operation. When this is coupled with internet ordering and status monitoring one has an e-logistics company that is a virtual logistics provider that gives access to these shared resources. Such a virtual collaborative logistics consortium requires very strong partner-to-partner IT support and communication. This project investigates the use of XML (Extensible Mark-up Language) enabled mobile software agents to provide this support.Read moreRead less
How do qualifications delivered by enterprises contribute to improved skill levels and other benefits for companies, workers and the nation? This project investigates the role of employer-based qualifications training in developing the skills and prospects of the Australian workforce and the competitive capabilities of companies. It focuses on enterprises that are accredited to deliver qualifications to their own workers, providing data to improve and expand this form of training.
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
Building futures for young Australians at risk: a coordinated measurement framework and data archive. This project will build a national data base of evidence about and for programs that address the needs of the 16 per cent of young Australians currently at risk of school non-completion. It will generate important knowledge for program improvement and sustainability and coordination of evidence across diverse and fragmented programs.