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
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
Linkage Infrastructure, Equipment And Facilities - Grant ID: LE150100030
Funder
Australian Research Council
Funding Amount
$270,000.00
Summary
Test-bed for Wide-Area Software Defined Networking Research. Test bed for wide-area software defined networking research: This project aims to develop a wide-area test bed, spanning ten organisations, for conducting research and experimentation in the emerging disruptive technology of Software Defined Networking (SDN). SDN is likely to bring long-term transformation to the networking industry, much like cloud computing did, by enabling dynamic virtualised elastic network services under software ....Test-bed for Wide-Area Software Defined Networking Research. Test bed for wide-area software defined networking research: This project aims to develop a wide-area test bed, spanning ten organisations, for conducting research and experimentation in the emerging disruptive technology of Software Defined Networking (SDN). SDN is likely to bring long-term transformation to the networking industry, much like cloud computing did, by enabling dynamic virtualised elastic network services under software control. The test bed will empower Australian researchers in network technologies and dependent applications (for example, multimedia and security) to collaboratively develop and demonstrate novel ideas at scale. This is expected to benefit Australia by giving our researchers international recognition in this nascent area, and developing a national talent pool for local industry.Read moreRead less
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
Flying networks: airborne sensing for environmental monitoring and disaster response. Airborne sensing technology is ideally suited to Australian geography and can be highly effective for monitoring disasters, surveillance, and precision agriculture. There are ample opportunities for local information technology companies and start-ups to create innovative airborne sensing applications for both the Australian and overseas markets.
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
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
Practical Automated Deduction. This project will develop, implement and validate improved methods for automated deduction in decidable fragments of first order logic, also incorporating reasoning in special theories such as arithmetic. It will significantly extend previous work on the model evolution calculus and dynamic semantic resolution, and introduce new techniques that combine these reasoning methods. This work has direct application to reasoning about business rules and about industrial o ....Practical Automated Deduction. This project will develop, implement and validate improved methods for automated deduction in decidable fragments of first order logic, also incorporating reasoning in special theories such as arithmetic. It will significantly extend previous work on the model evolution calculus and dynamic semantic resolution, and introduce new techniques that combine these reasoning methods. This work has direct application to reasoning about business rules and about industrial optimisation problems, and it will motivate and test our systems by means of case studies from both of these areas.Read moreRead less
Verified concurrent memory management on modern processors. This project aims to formally verify automatic memory managers in the presence of concurrency and the weakly ordered memory of modern processors. A new framework for verifying memory managers, reusable for a wide range of managed programming languages, target hardware, policies, and algorithms will be developed. Expected technical outcomes include improved techniques to ensure trustworthiness of the foundations on which critical softwar ....Verified concurrent memory management on modern processors. This project aims to formally verify automatic memory managers in the presence of concurrency and the weakly ordered memory of modern processors. A new framework for verifying memory managers, reusable for a wide range of managed programming languages, target hardware, policies, and algorithms will be developed. Expected technical outcomes include improved techniques to ensure trustworthiness of the foundations on which critical software infrastructures are built. This will significantly enhance the security of public and private cyber assets, and deliver applications that are more robust and trustworthy, across a range of critical infrastructure such as transportation, communication, energy and defence.Read moreRead less
Affective sensing technology for the detection and monitoring of depression and melancholia. This project will develop reliable and affective sensing technology and evaluate it as an objective measure of depressive disorders; a leading cause of disability worldwide. Outcomes will significantly support and aid clinicians in their diagnosis and treatment, thus providing a major breakthrough with significant research, healthcare and commercial possibilities.