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
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
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
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
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
Productivity and work-life balance in technology-enabled virtual work environments. This project examines the impact of technology-enabled virtual work environments on the productivity and work-life balance of professional knowledge workers. Guidelines will be developed that improve organisational and individual outcomes for professional knowledge workers who use technology extensively in their interactions with others.
Governance of information technology programmes: achieving accountability, control and success. This project aims to improve the effectiveness with which IT-enabled programmes are managed by public and private organisations. The theoretical knowledge and guides for good practice emerging from this study will contribute to increased success in managing and delivering complex and vital programmes across Australia.