Characterisation of Internet Traffic Matrices. The benefits to the community of characterisation of Internet traffic matrices arise because this information is used in the design of efficient and reliable networks. This is a genuine example of using the data we have more cleverly, rather than throwing money at a problem. Better information will result in the Internet becoming more efficient, and therefore cheaper, and at the same time more reliable.
Ensuring the Robustness of IP Routing. The Internet is by its nature international, and so any such effort to model and understand it must be somewhat international. However, Australia has longer network paths to the rest of the world and the routing protocols' operation depends on this latency. This emphasizes why Australia must participate in such research: to ensure that Australian issues are considered when Internet protocols are designed. This project will directly deliver a more robust Int ....Ensuring the Robustness of IP Routing. The Internet is by its nature international, and so any such effort to model and understand it must be somewhat international. However, Australia has longer network paths to the rest of the world and the routing protocols' operation depends on this latency. This emphasizes why Australia must participate in such research: to ensure that Australian issues are considered when Internet protocols are designed. This project will directly deliver a more robust Internet for Australia, international exposure in an area of general interest, the potential for patents, and the development of commercially valuable expertise and measurement infrastructure.Read moreRead less
Delivering guaranteed quality of service over IP networks. The next revolution in the Internet will be to offer end-to-end Quality of Service (QoS) guarantees, in the form of maximum delay, delay variation and probability of packet loss, or minimum throughput. There are no existing techniques capable of delivering end-to-end QoS guarantees. This project will develop credit-based controls, instead of the usual rate-based controls, that can deliver these required QoS guarantees. These QoS guarante ....Delivering guaranteed quality of service over IP networks. The next revolution in the Internet will be to offer end-to-end Quality of Service (QoS) guarantees, in the form of maximum delay, delay variation and probability of packet loss, or minimum throughput. There are no existing techniques capable of delivering end-to-end QoS guarantees. This project will develop credit-based controls, instead of the usual rate-based controls, that can deliver these required QoS guarantees. These QoS guarantees will enable the development and deployment of entirely new services on the Internet. This project will give Australian industry the opportunity to create the next generation Internet. Therefore this project represents a Frontier Technology.Read moreRead less
Raising the Internet's Quality of Service through improved congestion management. This project aims to develop methods for improving the service quality of the internet by better management of congestion. Improved service quality will be evident to internet users in the form of reduced delay and data loss. The proposed research is significant because as well as improving service quality, it will facilitate delivery of internet services over poor quality communications infrastructure such as is p ....Raising the Internet's Quality of Service through improved congestion management. This project aims to develop methods for improving the service quality of the internet by better management of congestion. Improved service quality will be evident to internet users in the form of reduced delay and data loss. The proposed research is significant because as well as improving service quality, it will facilitate delivery of internet services over poor quality communications infrastructure such as is present in many remote and regional areas of Australia. It also will result in more efficient utilisation of telecommunications infrastructure. The project will deliver implementations in the form of software which is easily installed in any computer.Read moreRead less
Incorporating network-level knowledge into Quality of Service control mechanisms for wireless LANs. Expansion of Wireless LANs as primary access technology for mobile computing devices has resulted in growing expectations of continuous area coverage and controlled Quality of Service. The work published to date defines QoS control mechanisms for a single WLAN cell, but fails to address challenges of multiple-cell networks. We aim at designing network-wide resource management mechanisms to dynamic ....Incorporating network-level knowledge into Quality of Service control mechanisms for wireless LANs. Expansion of Wireless LANs as primary access technology for mobile computing devices has resulted in growing expectations of continuous area coverage and controlled Quality of Service. The work published to date defines QoS control mechanisms for a single WLAN cell, but fails to address challenges of multiple-cell networks. We aim at designing network-wide resource management mechanisms to dynamically allocate resources to cells and users, taking into account user mobility and radio interference between multiple cells. Benefits from this research include competitive advantage to operators who will be able to differentiate service offerings and guarantee agreed QoS to their customers.Read moreRead less
Operator-Analytic Methods in Telecommunication Systems. Many systems in information technology and telecommunications evolve under conditions of uncertainty. In this context, mathematical modelling is an essential component of the design process. We shall provide techniques for analysing a class of mathematical models, called operator-analytic models, which can be used to study many of the above-mentioned systems, such as the Internet. This project will deliver efficient numerical algorithms tha ....Operator-Analytic Methods in Telecommunication Systems. Many systems in information technology and telecommunications evolve under conditions of uncertainty. In this context, mathematical modelling is an essential component of the design process. We shall provide techniques for analysing a class of mathematical models, called operator-analytic models, which can be used to study many of the above-mentioned systems, such as the Internet. This project will deliver efficient numerical algorithms that will make possible practical analysis of operator-analytic models.Read moreRead less
Voice over Internet Protocol: Privacy and Electronic Evidence Implications. Consumers currently use the traditional technology of the Public Switched Telephone Network system without fear of eavesdropping. Law Enforcement has a legal right to intercept phone calls under prescribed conditions. This project offers support to policy makers and users in providing strategic advice in the secure transition of telecommunications to next generation networks. It provides a software solution to the thre ....Voice over Internet Protocol: Privacy and Electronic Evidence Implications. Consumers currently use the traditional technology of the Public Switched Telephone Network system without fear of eavesdropping. Law Enforcement has a legal right to intercept phone calls under prescribed conditions. This project offers support to policy makers and users in providing strategic advice in the secure transition of telecommunications to next generation networks. It provides a software solution to the threat to user privacy that may also feasibly be used to provide electronic evidence for law enforcement and intelligence agencies who increasingly have to look to means other than traditional telecommunications interception for evidence gathering from VoIP telephony. Read moreRead less
The use of stochastic fluid models for the evaluation of applications-driven sample path integrals. The major technical goal of this project is the production of novel methodologies which can be used to model and solve real-world problems of considerable engineering and/or environmental significance. The research for this project will serve to enhance further Australia's reputation as a country which makes major contributions, both theoretical and practical, to this field. The activities of the ....The use of stochastic fluid models for the evaluation of applications-driven sample path integrals. The major technical goal of this project is the production of novel methodologies which can be used to model and solve real-world problems of considerable engineering and/or environmental significance. The research for this project will serve to enhance further Australia's reputation as a country which makes major contributions, both theoretical and practical, to this field. The activities of the Stochastic Modelling, Analysis and Optimisation group at the University of Adelaide and the School of Mathematics at the University of Tasmania will receive further impetus, consequently maintaining a dynamic research environment for staff and students at both universities. Links between the two groups will be strengthened.Read moreRead less
Singular and Analytic Perturbations, Slow and Fast Time Scales in Control Theory and Viability Theory and their Applications. We propose an innovative approach to several important classes of mathematical problems, whose data depend analytically on small perturbation parameters. Time scale problems, and, in particular, the interaction of two types of evolution, slow and fast, arise in many scientific domains (biotechnology, physics, engineering, etc).We expect to develop new techniques for analy ....Singular and Analytic Perturbations, Slow and Fast Time Scales in Control Theory and Viability Theory and their Applications. We propose an innovative approach to several important classes of mathematical problems, whose data depend analytically on small perturbation parameters. Time scale problems, and, in particular, the interaction of two types of evolution, slow and fast, arise in many scientific domains (biotechnology, physics, engineering, etc).We expect to develop new techniques for analysis and asymptotic optimisation of singularly perturbed control systems and Markov decision processes. In particular, we plan to establish links between general nonlinear optimal control problems with time average criteria and linear programming problems in the space of limit occupational measures generated by the underlying control system.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