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
Optimising service level agreements for performance and energy efficiency in cloud computing systems. In cloud platforms a large number of applications compete for shared resources. Concerns of power consumption have become increasingly significant in the context of the design and use of cloud systems. In this project new algorithms and software tools will be developed to enable a better utilisation of clouds whilst minimising energy usage.
Software-defined provisioning of Internet of Things applications in fog computing systems. This project aims to investigate and provide solutions for the realisation of a seemingly integrated Fog Computing (FC) paradigm with cloud environments, networking devices and Internet of Things devices. Fog Computing (FC) is an emerging paradigm with great promises for advancing Information and Communications Technologies. Using interdisciplinary approaches, the project expects to generate new knowledge ....Software-defined provisioning of Internet of Things applications in fog computing systems. This project aims to investigate and provide solutions for the realisation of a seemingly integrated Fog Computing (FC) paradigm with cloud environments, networking devices and Internet of Things devices. Fog Computing (FC) is an emerging paradigm with great promises for advancing Information and Communications Technologies. Using interdisciplinary approaches, the project expects to generate new knowledge for optimising both hardware and software resources of a FC system. Outcomes of this project include practical solutions through building novel mathematical frameworks and optimisation objectives. The project is expected to provide efficient monitoring and control of intelligent spaces, management of urban and rural environments and will have applications in the areas of energy, security, transport and public health.Read moreRead less
Sublinear algorithms for visual analytics of extreme-scale networks. This project aims to design new sublinear algorithms for the visual analytics of extreme-scale networks, involving billions of nodes. Based on algorithmics for graph drawing, integrating sublinear algorithms and distributed algorithms, the project will introduce new quality metrics for good visualisation of extreme-scale networks, design new sublinear-time algorithms to compute good visualisation, implement them in a distribute ....Sublinear algorithms for visual analytics of extreme-scale networks. This project aims to design new sublinear algorithms for the visual analytics of extreme-scale networks, involving billions of nodes. Based on algorithmics for graph drawing, integrating sublinear algorithms and distributed algorithms, the project will introduce new quality metrics for good visualisation of extreme-scale networks, design new sublinear-time algorithms to compute good visualisation, implement them in a distributed computing environment, and evaluate with a real world social network and biological network data sets. The new algorithms produced by this project will be used in the next generation visual analytic tools for extreme-scale data to enable analysts develop new insights and new knowledge of extreme-scale data.Read moreRead less
Taipan: a block-chain with democratic consensus and validated contracts. Blockchains keep records by mass collaboration using peer-to-peer and cryptographical algorithms. Programmable blockchain technology can disrupt the finance industry, governance, and legal services by reducing the role for intermediaries such as banks and government authorities. This project aims to propose a new block-chain for “Trust Among Individual ParticipANts” (TAIPAN). The main feature of TAIPAN’s programmable block ....Taipan: a block-chain with democratic consensus and validated contracts. Blockchains keep records by mass collaboration using peer-to-peer and cryptographical algorithms. Programmable blockchain technology can disrupt the finance industry, governance, and legal services by reducing the role for intermediaries such as banks and government authorities. This project aims to propose a new block-chain for “Trust Among Individual ParticipANts” (TAIPAN). The main feature of TAIPAN’s programmable block-chain is the integrity and security of individual ownership records that current block-chains lack. This project will aim to overcome two major threats in current programmable block-chains, double-spending among participants, and security vulnerabilities in smart contracts. TAIPAN will provide a democratic and leaderless consensus algorithm that will avoid double-spending, and a new bug-checking framework for smart contracts that finds anomalies before smart contracts are admitted to the block-chain.Read moreRead less
SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the infor ....SenShaMart: A Trusted Internet of Things Marketplace for Sensor Sharing. This project aims to devise a novel Internet of Things (IoT) sensor sharing marketplace that permits IoT applications to discover, integrate, and pay for any IoT sensor data that is made available by other parties. The project will devise highly-scalable sensor classification, query processing, and transactions solutions and incorporate them in a pair of novel blockchains that work in tandem to securely manage all the information and contracts needed by IoT applications to discover, integrate, pay, and use sensors provided by another parties. These IoT advancements will provide significant economic, environmental, and social benefits via making low-cost and immediate sensing available across the world.Read moreRead less
A Unified Framework for Resource Management in Edge-Cloud Data Centres. Edge Computing (EC) is an emerging paradigm with a great promise for advancing Information and Communications Technologies. This project aims to investigate and provide solutions for the realization of a seemingly integrated Edge Data Centres (EDCs) with cloud environments. Using theoretical and system development approaches, the project expects to generate new knowledge for managing the resources of an EDC ecosystem. Outcom ....A Unified Framework for Resource Management in Edge-Cloud Data Centres. Edge Computing (EC) is an emerging paradigm with a great promise for advancing Information and Communications Technologies. This project aims to investigate and provide solutions for the realization of a seemingly integrated Edge Data Centres (EDCs) with cloud environments. Using theoretical and system development approaches, the project expects to generate new knowledge for managing the resources of an EDC ecosystem. Outcome of this project includes practical solutions through building novel mathematical frameworks and resource management objectives accompanied by system implementations. These outcomes will benefit both scientific and industrial communities, and mark Australian scientists as pioneers in this emerging area of research.Read moreRead less
Exploiting dynamic information in mobile networks. Mobile and wireless networks are ideal for Australia as they provide both low set-up costs and environmentally robust infrastructures. Exploiting mobility to enhance efficiency and cost will place Australia at the forefront of research in mobile networking and will contribute to the worldwide effort towards sustainability and survivability.
Local computations in dynamic networks. This project aims to identify and exploit dynamic networks, and investigate how locally available knowledge affects the computability or the communication complexity of solving a problem. Mobile, wireless, social and other ubiquitous communication networks involve autonomous and highly dynamic entities, but these are often treated as a liability instead of an asset, even when they enhance the network. Local knowledge in the entities’ neighbourhood can make ....Local computations in dynamic networks. This project aims to identify and exploit dynamic networks, and investigate how locally available knowledge affects the computability or the communication complexity of solving a problem. Mobile, wireless, social and other ubiquitous communication networks involve autonomous and highly dynamic entities, but these are often treated as a liability instead of an asset, even when they enhance the network. Local knowledge in the entities’ neighbourhood can make the network more efficient. This project is expected to contribute to the worldwide effort towards advanced technologies and place Australia at the forefront of research in mobile and social networking.Read moreRead less
Compilation Techniques for Embedded Systems. Highly optimising compiler tools are becoming an important part of the software development process for embedded systems. This project will provide Australia with core technology in the area of tools for embedded systems. It will allow safer embedded systems in mission-critical applications. In addition, the Australian Industry will benefit from a substantially growing embedded systems market where tools are a pre-requisite for a cost-aware and safe s ....Compilation Techniques for Embedded Systems. Highly optimising compiler tools are becoming an important part of the software development process for embedded systems. This project will provide Australia with core technology in the area of tools for embedded systems. It will allow safer embedded systems in mission-critical applications. In addition, the Australian Industry will benefit from a substantially growing embedded systems market where tools are a pre-requisite for a cost-aware and safe software development. The industry interested in embedded system tools are: Telecom/Datacom, Consumer Electronics, Industrial Automation, Retail Automation, Office Automation, Military/Aerospace, Automotive, Information Automation, Medical Devices.Read moreRead less