Analysing and disrupting outlaw motorcycle gangs in Australia. This project aims to reveal the structure and social dynamics of co-offending networks by OMCGs in Australia. Outlaw motorcycle gangs (OMCGs) cause significant social and economic harm in Australia and internationally. The project will generate new knowledge about OMCG co-offending using an innovative multimethod approach combining social network analysis with interviews and focus groups. Expected outcomes include a deeper understand ....Analysing and disrupting outlaw motorcycle gangs in Australia. This project aims to reveal the structure and social dynamics of co-offending networks by OMCGs in Australia. Outlaw motorcycle gangs (OMCGs) cause significant social and economic harm in Australia and internationally. The project will generate new knowledge about OMCG co-offending using an innovative multimethod approach combining social network analysis with interviews and focus groups. Expected outcomes include a deeper understanding of OMCG criminal activity across Australia and refined theory development about co-offending in criminal groups. The project will lead to improved policy, legislation and policing practice to prevent OMCG crime and dismantle OMCG criminal networks in more cost-effective ways.Read moreRead less
Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems. Society is becoming increasingly reliant on sophisticated real-time computer systems in applications ranging from car stability control to critical infrastructure, such as railway signalling systems. Further, there is a demand for ever greater automation and sophistication in the software controlling these systems. The research challenge in this project is to provide robust implementations of these system ....Combining Time Bands and Teleo-Reactive Programs for Advanced Dependable Real-Time Systems. Society is becoming increasingly reliant on sophisticated real-time computer systems in applications ranging from car stability control to critical infrastructure, such as railway signalling systems. Further, there is a demand for ever greater automation and sophistication in the software controlling these systems. The research challenge in this project is to provide robust implementations of these systems in a way that allows one assess their dependability.
Australia industry is actively working in these areas through companies like Ansaldo Australia, in automated railway systems, and Boeing Australia, in the defence sector.Read moreRead less
Transaction Oriented Computational Models for Multi Agent Systems. Agent systems are a very promising technology for constructing complex, large-scale software. Australian researchers have made key
contributions in this area, particularly with reference to one mature and commonly adopted agent architecture known as BDI (Belief, Desire, Intention). To make this technology suitable for use in advanced applications, it has to be provided with robust and predictable behaviour. This project wil ....Transaction Oriented Computational Models for Multi Agent Systems. Agent systems are a very promising technology for constructing complex, large-scale software. Australian researchers have made key
contributions in this area, particularly with reference to one mature and commonly adopted agent architecture known as BDI (Belief, Desire, Intention). To make this technology suitable for use in advanced applications, it has to be provided with robust and predictable behaviour. This project will address that need by designing and implementing a novel agent language for BDI, based on contributions using transactional concepts for agents developed at The University of Melbourne. This will contribute to the development of robust and predictable agent software, that can be used in complex and large scale applications of the future.
Read moreRead less
Derivation and timing analysis of concurrent real-time software. Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlin ....Derivation and timing analysis of concurrent real-time software. Safety-critical computer systems are commonly controlled by concurrent real-time software. Assurance of such systems requires rigorous methods for deriving the software and verifying its logical and timing correctness. This project will directly address this problem via a new paradigm for real-time programming that is based on a machine-independent concurrent real-time programming language, that explicitly represents timing deadlines within programs. This allows a partitioning of the development process into a machine-independent phase that derives a program to meet a high-level specification, and a machine-dependent phase that checks that the timing deadlines within the generated machine code are guaranteed to be met.Read moreRead less
A formal foundation for security architecture. Security of computer systems is essential for the maintenance of privacy, confidentiality and integrity of personal, commercial and government data, and the trustworthiness of the computational devices that are embedded in critical societal infrastructure. However, current theoretical understanding of secure systems development is poor. The project will develop our understanding of an emerging approach to the design of secure systems and develop ver ....A formal foundation for security architecture. Security of computer systems is essential for the maintenance of privacy, confidentiality and integrity of personal, commercial and government data, and the trustworthiness of the computational devices that are embedded in critical societal infrastructure. However, current theoretical understanding of secure systems development is poor. The project will develop our understanding of an emerging approach to the design of secure systems and develop verification methods that may be applied to guarantee systems security. Its outcomes will contribute to processes for certifying systems at very high levels of security, a requirement in defence and government settings that will become increasingly significant in the commercial sector.Read moreRead less
Compilation of Specifications. Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. This project will show how a tool already used by software developers, the program compiler, can be extended to undertake much of the task automatically. This will be done by devising a compilation strategy, b ....Compilation of Specifications. Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniques and tools involved are highly complex and unfamiliar to most programmers. This project will show how a tool already used by software developers, the program compiler, can be extended to undertake much of the task automatically. This will be done by devising a compilation strategy, based on program refinement theory, that automatically translates specification statements in programs into executable code. Such an outcome will ultimately improve the speed, accuracy and cost-effectiveness of critical software development.Read moreRead less
Targeting early contact with the criminal justice system in young people. This project aims to identify who and why young people first come in contact with the criminal justice system and what determines the early course of contact. The project will focus on first police contact, as a victim, witness or offender, as a means of identifying young people at-risk of adverse life outcomes. It intends to build on the NSW Child Development Study, a large population-based intergenerational cohort, to de ....Targeting early contact with the criminal justice system in young people. This project aims to identify who and why young people first come in contact with the criminal justice system and what determines the early course of contact. The project will focus on first police contact, as a victim, witness or offender, as a means of identifying young people at-risk of adverse life outcomes. It intends to build on the NSW Child Development Study, a large population-based intergenerational cohort, to develop services and interventions aimed at preventing young people from becoming enmeshed in the criminal justice system.Read moreRead less
Understanding the emerging threat of conspiracy-fuelled extremism. This project aims to address the emerging threat of conspiracy-fuelled extremism in Australia. The project expects to produce new knowledge by identifying the unique factors driving this new form of extremism and the social harm it causes. Through three studies, the project will test a new theoretical model of conspiracy-fuelled extremism, will explore the threats and social harms this form of extremism creates, and will develop ....Understanding the emerging threat of conspiracy-fuelled extremism. This project aims to address the emerging threat of conspiracy-fuelled extremism in Australia. The project expects to produce new knowledge by identifying the unique factors driving this new form of extremism and the social harm it causes. Through three studies, the project will test a new theoretical model of conspiracy-fuelled extremism, will explore the threats and social harms this form of extremism creates, and will develop evidence-based insights into how it can be mitigated. The research should produce benefits for Australia by providing policymakers with a risk-assessment tool to identify individuals most 'at-risk' of violent extremism, and by providing knowledge about the services families may require to de-radicalise loved ones.Read moreRead less
Understanding and preventing gun violence: A qualitative study. Gun violence causes significant harm across Australian communities. Excluding sexual assault, firearms feature in nearly one in 10 violent crimes. The annual costs of gun violence run into tens of millions of dollars. This project aims to make an original qualitative contribution to understanding and preventing gun violence in three contexts: drug dealing/trafficking, other organised crime activity, and armed robbery. The proposed r ....Understanding and preventing gun violence: A qualitative study. Gun violence causes significant harm across Australian communities. Excluding sexual assault, firearms feature in nearly one in 10 violent crimes. The annual costs of gun violence run into tens of millions of dollars. This project aims to make an original qualitative contribution to understanding and preventing gun violence in three contexts: drug dealing/trafficking, other organised crime activity, and armed robbery. The proposed research would be the first study nationally - and one of the very few internationally - to interview convicted gun crime users about the acquisition and use of firearms in criminal life. Project results are expected to have direct implications for reducing the impact of gun violence in Australia.Read moreRead less
Domestic violence disclosure schemes: A national review. In 2014 family violence was declared a national emergency in Australia. In the years since there has been extensive law reform activity. Domestic violence disclosure schemes have emerged within this context as a policy option that may improve safety outcomes for victims. However, there is currently no evidence as to the impact of these schemes and no consultation with victims as to their value. This project aims to generate the evidence re ....Domestic violence disclosure schemes: A national review. In 2014 family violence was declared a national emergency in Australia. In the years since there has been extensive law reform activity. Domestic violence disclosure schemes have emerged within this context as a policy option that may improve safety outcomes for victims. However, there is currently no evidence as to the impact of these schemes and no consultation with victims as to their value. This project aims to generate the evidence required to inform decisions about the introduction of these schemes, to better understand what victim/survivors want from them, and how such schemes can be effectively operationalised. The findings seek to be relevant to all Australian states and territories as well as international jurisdictions.Read moreRead less