Design of Wireless sensor and communication networks with fixed and mobile nodes. Wireless sensor and communication networks with fixed and mobile nodes are rapidly becoming essential technologies for hostile environmental monitoring, battlefield surveillance and precision agriculture. However, due to the complexities associated with interconnected design issues involving sensors, autonomous vehicles and communication protocols, even very simple networks have proven to be difficult to design. Th ....Design of Wireless sensor and communication networks with fixed and mobile nodes. Wireless sensor and communication networks with fixed and mobile nodes are rapidly becoming essential technologies for hostile environmental monitoring, battlefield surveillance and precision agriculture. However, due to the complexities associated with interconnected design issues involving sensors, autonomous vehicles and communication protocols, even very simple networks have proven to be difficult to design. This project proposes to intelligently employ higher capabilities of mobile nodes and develop methods for rapid deployment, maintenance and routing that are aware of location, energy, and security. The outcomes of this project will form the basis for design of intelligent wireless networks for defence and civilian applications.Read moreRead less
ARC Research Network on Intelligent Sensors, Sensor Networks and Information Processing. Sensor networks, a collection of diverse sensors interconnected via an ad-hoc communication network, are identified as one of the key technologies that over the next two decades will change the way we live. This research network brings together an interdisciplinary team of outstanding Australian researchers representing all the key disciplines required to successfully deploy sensor networks and links this te ....ARC Research Network on Intelligent Sensors, Sensor Networks and Information Processing. Sensor networks, a collection of diverse sensors interconnected via an ad-hoc communication network, are identified as one of the key technologies that over the next two decades will change the way we live. This research network brings together an interdisciplinary team of outstanding Australian researchers representing all the key disciplines required to successfully deploy sensor networks and links this team with the foremost international authorities and leading industry players in the area of sensor networks. This research network will guide collaborative research that will ensure Australia to play a world leading role in sensor network development and implementation.
Read moreRead less
Algorithmics for Extremely Mobile Wireless Networks. Existing wireless network protocols need stringent conditions to be effective. These conditions are rarely met for concrete applications such as Defence, Disaster-Relief, Search-and-Rescue. All these cannot rely on existing infrastructure, and often require high mobility. This is crucial in the case of Australia which cannot rely on complete network coverage of its lands and seas. This project will develop new wireless protocols for applicati ....Algorithmics for Extremely Mobile Wireless Networks. Existing wireless network protocols need stringent conditions to be effective. These conditions are rarely met for concrete applications such as Defence, Disaster-Relief, Search-and-Rescue. All these cannot rely on existing infrastructure, and often require high mobility. This is crucial in the case of Australia which cannot rely on complete network coverage of its lands and seas. This project will develop new wireless protocols for applications requiring extreme mobility. It will increase Australia's control of this, now ubiquitous, technology thus rendering Australia a key player in this field.Read moreRead less
Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and los ....Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and loss of life or serious accidents in safety critical areas (medical, transport and defence applications). It is thus of utmost importance that distributed systems are designed correctly. This project aims to advance the state of the art in verifying that distributed systems will work correctly.Read moreRead less
Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. ....Advanced Sweep-Line State Space Reduction Methods for Verification of Concurrent and Distributed Systems. The rigorous design and analysis of distributed systems, such as the Internet and its applications, is known to be a difficult problem. This project will develop new techniques for reducing the memory and time required for computer-aided verification of concurrent and distributed systems. The technique will be combined with other reduction techniques to increase their range of applicability. The reduction techniques will be implemented and evaluated using important transaction protocols for electronic commerce and internet enabled wireless communications. The technique will also be applied to so called 'object-oriented' modelling languages.Read moreRead less
Translucent Optical Networks: Architecture, Design, Operation, and Survivability. Australia is a geographically disperse country. Long-haul optical transport networks are key communication infrastructure between metropolises. Our research aims to discover cost-effective network architecture and planning and operational strategies for optical transport networks, which is beneficial to the deployment and operation of Australian telecommunication networks. In addition, viewing the sparse connectivi ....Translucent Optical Networks: Architecture, Design, Operation, and Survivability. Australia is a geographically disperse country. Long-haul optical transport networks are key communication infrastructure between metropolises. Our research aims to discover cost-effective network architecture and planning and operational strategies for optical transport networks, which is beneficial to the deployment and operation of Australian telecommunication networks. In addition, viewing the sparse connectivity of Australian backbone transport networks, the research on network survivability will provide effective strategies for Australian transport networks to survive any network failures due to natural disasters or terror attacks, thereby providing reliable network services to Australian. Read moreRead less
Internet traffic-matrix synthesis. This project will enhance research and development in Internet engineering by providing basic inputs to test and validate new ideas. The result will be a more efficient, reliable, and robust Internet.
Overseeing the internet: new paradigms of network measurement. Like the electricity network, the Internet is a core infrastructure, and so must be reliable, efficient, and fairly accessible. A gap in bandwidth supply is like a blackout in terms of lost business and productivity. Inefficiency increases costs as more equipment is needed for the same service, and an inability to police network providers distorts economics and strangles access to the best services. Network health can only be assesse ....Overseeing the internet: new paradigms of network measurement. Like the electricity network, the Internet is a core infrastructure, and so must be reliable, efficient, and fairly accessible. A gap in bandwidth supply is like a blackout in terms of lost business and productivity. Inefficiency increases costs as more equipment is needed for the same service, and an inability to police network providers distorts economics and strangles access to the best services. Network health can only be assessed through measurements, however, current methods are incapable of measuring some of the most important metrics, for instance whether a provider is conforming to its contract. This project will provide the breakthroughs necessary to ensure that network behaviour can be accurately and comprehensively assessed.Read moreRead less
Enabling Reliable, Efficient, and Secure Networks: Next Generation Measurement for the Internet. Like the electricity network, the Internet is a core infrastructure connecting society, and so must be reliable, efficient, and secure. A gap in bandwidth supply is like a blackout in terms of lost business, productivity and essential data. Inefficiency increases costs as more equipment is needed for the same service, and poor security threatens both the economic and personal spheres, limiting free ....Enabling Reliable, Efficient, and Secure Networks: Next Generation Measurement for the Internet. Like the electricity network, the Internet is a core infrastructure connecting society, and so must be reliable, efficient, and secure. A gap in bandwidth supply is like a blackout in terms of lost business, productivity and essential data. Inefficiency increases costs as more equipment is needed for the same service, and poor security threatens both the economic and personal spheres, limiting freedom and adding cost. A raw material of network health and security is network measurements showing what is going on. However, current methods cannot cope with the size and speed of today's Internet. This project will provide the measurement breakthroughs necessary to ensure that networks are reliable, secure, and fairly priced.Read moreRead less
Channel Assignment in Cellular Communication Systems and Optical Networks. Due to the rapid growth in mobile communications, efficient management of the scarce radio spectrum has emerged as an important issue. To avoid interference various conditions need to be satisfied by channels assigned to the transmitters in a cellular communication network. This project targets optimal assignments under such constraints, and similar problems for optical networks. Its implementation will have potential app ....Channel Assignment in Cellular Communication Systems and Optical Networks. Due to the rapid growth in mobile communications, efficient management of the scarce radio spectrum has emerged as an important issue. To avoid interference various conditions need to be satisfied by channels assigned to the transmitters in a cellular communication network. This project targets optimal assignments under such constraints, and similar problems for optical networks. Its implementation will have potential applications in computer and telecommunication industries, and advance significantly our knowledge on relevant subjects of mathematics and operations research. Read moreRead less