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
Internet Timing for the Ages: Establishing the New Timekeeping System. All computers incorporate a software clock, essential to myriad software applications. An economic way to synchronize such clocks is over a network, however the approach the Internet currently depends upon is unreliable and vulnerable. This project aims to establish a new architecture for networked timekeeping, built on future-proofed fundamentals, that will for the first time address each of accuracy, reliability, and trust. ....Internet Timing for the Ages: Establishing the New Timekeeping System. All computers incorporate a software clock, essential to myriad software applications. An economic way to synchronize such clocks is over a network, however the approach the Internet currently depends upon is unreliable and vulnerable. This project aims to establish a new architecture for networked timekeeping, built on future-proofed fundamentals, that will for the first time address each of accuracy, reliability, and trust. The expected outcome is a national prototype, serving the public with accurate and trusted time, that will form the basis of the next generation timekeeping system for the Internet and the Internet of Things. Expected benefits include enhanced productivity across the digital economy, and resilience to GPS failures.Read moreRead less
A theory of communicative practices within financial internet discussion site communities. This project aims to use online financial investment communities to identify factors that drive communication and influence knowledge co-creation, examine how systematic variations in these factors influence investor decision making, and develop a mid-range theory for explaining and predicting the influence of online communication patterns on individual decisions and market outcomes. By developing and vali ....A theory of communicative practices within financial internet discussion site communities. This project aims to use online financial investment communities to identify factors that drive communication and influence knowledge co-creation, examine how systematic variations in these factors influence investor decision making, and develop a mid-range theory for explaining and predicting the influence of online communication patterns on individual decisions and market outcomes. By developing and validating a new mid-range theory, initially in the financial investment context, this project will provide significant benefits, such as help to secure Australia’s place in a changing world through improved information flow.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
Discontinued Use of Social Media: Dichotomy of Rational & Emotional Choices. This project aims to gain a better understanding of discontinued use of social media. For businesses and governments, social media serves as a dynamic channel for engagement, value co-creation, and business analytics marketing that is lost when users choose to discontinue its use. This project will generate new knowledge of rational and emotional decision criteria, enabling design features of social media, and their com ....Discontinued Use of Social Media: Dichotomy of Rational & Emotional Choices. This project aims to gain a better understanding of discontinued use of social media. For businesses and governments, social media serves as a dynamic channel for engagement, value co-creation, and business analytics marketing that is lost when users choose to discontinue its use. This project will generate new knowledge of rational and emotional decision criteria, enabling design features of social media, and their complex effects on discontinued use of social media. The expected outcome of this project is an integrated theory of social media discontinuance. The project findings provide significant benefits, such as strategic capabilities and actionable knowledge for businesses and governments to mitigate social media discontinued use.Read moreRead less
Trusted business processes. This project aims to use conceptual design, process modelling and co-design approaches to create a structured approach for the management of trust. With a focus on business processes, it is intended to develop research- informed methods in order to (1) identify and specify trust concerns and opportunities, (2) model these within a common process modelling language and (3) propose patterns for how to mitigate trust concerns and how to benefit from opportunities. If suc ....Trusted business processes. This project aims to use conceptual design, process modelling and co-design approaches to create a structured approach for the management of trust. With a focus on business processes, it is intended to develop research- informed methods in order to (1) identify and specify trust concerns and opportunities, (2) model these within a common process modelling language and (3) propose patterns for how to mitigate trust concerns and how to benefit from opportunities. If successful, this would lead to an operational, and world first, detailed trust methodology for organisations in all sectors. As a result, Australian customers would engage with business processes with reduced trust concerns and experience increased integrity and benevolence.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.
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