Jump to Content

Other Projects (2000-2009)

The Transmission Control Protocol stack

Modelling and analysis of Logistics Physical Networks and Maintenance Processes

This research project focuses on the use of discrete event dynamic systems techniques, particularly Coloured Petri nets, for modelling logistics networks and maintenance processes.   

It is a joint project between CSEC and DSTO, supported by DSTO research contracts.

Modelling and Analysis of the Contract Net Protocol and its extensions

The Contract Net Protocol (CNP) and its extensions have been developed to facilitate contract negotiation in Multi-Agent Systems (MAS).  We are currently investigating the verification of the Contract net protocol and its extensions, the Extended Contract Net Protocol (ECNP), the Contract Net Protocol extension (CNP-e) and the Provisional Agreement Protocol (PAP).  This work was stimulated by interaction with DSTOs Command and Control Division at the end of 2006.

Modelling and Analysis of Routing Protocols in Mobile Ad-hoc Networks

This research project focuses on the modelling and verification of routing protocols in mobile ad-hoc networks using Coloured Petri Nets.

A Mobile Ad-hoc Network (MANET) is a collection of wireless mobile nodes, which establish a temporary network without the help of any pre-existing infrastructure or centralized administration. Several experimental routing protocols have been designed for MANETs because conventional routing approaches cannot be used. These experimental protocols have mainly been evaluated by simulation and live testing. To determine whether there are any subtle errors or design flaws, which are hard to detect by simulation or live testing, formal verification is necessary. Current modelling and verification work is focussed on the Dynamic MANET On-demand (DYMO) routing protocol, which is being developed by the Internet Engineering Task Force.

This project is a basic research project carried out at the Computer Systems Engineering Centre and is supported by an Australian Government International Postgraduate Research Scholarship (IPRS).

Investigating the internet Inter-ORB protocol

The Object Management Group has developed an open standard for object-oriented middleware, known as the Common Object Request Broker Architecture (CORBA) which defines a common set of application services implemented by an Object Request Broker (ORB).

ORBs in different end systems communicate over the Internet via a protocol called the Internet Inter-ORB Protocol (IIOP) defined in international standard ISO/IEC 19500-2.

This project aims at formalising IIOP and its service specification, based on ISO/IEC 14752, an international standard which specifies services for a general interworking framework. The second objective is to verify IIOP against its service. This is a basic research project conducted by CSEC.

Modelling and Analysis of the Datagram Congestion Control Protocol

The Transmission Control Protocol (TCP) is not well suited to streaming media and Internet telephony applications. These applications, such as video on demand, teleconferencing, Voice over the Internet Protocol (VoIP) and on-line games are sensitive to delay and prefer timeliness to reliability. Due to its procedures, TCP can introduce uncontrollable delays so that received packets are too late and hence no longer needed. The Internet Engineering Task Force (IETF) has been developing a new transport protocol, called the Datagram Congestion Control Protocol (DCCP), to address this problem. We are using Coloured Petri Nets (CPNs) to model and analyse DCCP with current emphasis being on the connection management and feature negotiation procedures specified in IETF RFC4340.

This project is supported by a University of South Australia Presidents scholarship, University of South Australia Divisional Small Grant, Australia Research Council Discovery Grant and a Suranaree University of Technology scholarship.

Modelling and analysis of operational planning

This research project focuses on integrated modelling and Design of Command and control systems, in particular, military operational planning and planning processes.

It is a joint project between CSEC and DSTO, supported by DSTO and NICTA research agreements.

Modelling and analysis of internet multimedia communication protocols

This research project focuses on multimedia communications over packet-based networks, in particular, modelling and verification of some of the sub-protocols of H.245,  

H.245 is the ITU-T recommendation for multimedia control protocols over packet-based networks such as the Internet. Current modelling and verification work is focussed on the Capability Exchange Signalling (CES) Protocol.

This project is a basic research project carried out at the Computer Systems Engineering Centre.

Analysing the transmission control protocol

The Transmission Control Protocol (TCP) is a key element of the Internet's protocol architecture, known as TCP/IP. TCP is defined in RFC 793 and modified and extended in later RFCs.

This project aims to develop a service specification for TCP, and to verify TCP's connection management procedures against this service.

The project is supported by an International Postgraduate Research Scholarship.

Modelling and analysis of avionics mission systems

This research project is focussing on modelling and analysis of avionics mission systems. An avionics mission system is an example of a complex real-time distributed system. The analysis focuses on functional as well as performance issues in avionics mission systems.

The project is carried out as a joint project between the Computer Systems Engineering Centre (CSEC) and the Australian Defence Science and Technology Organisation (DSTO).

The project is supported by DSTO.

Modelling and analysis of the internet open trading protocol

This research project focuses on information infrastructures for electronic commerce, in particular, the modelling, analysis, and development of the Internet Open Trading Protocol (IOTP).

This project is a basic research project carried out at the Computer Systems Engineering Centre.

It is supported by Australian Technology Network Small Research Grant and University of South Australia Divisional Small Grant.

Modelling and analysis the resource reservation protocol

The Resource Reservation Protocol (RSVP) aims to provide quality of service guarantees for multimedia and other applications operating over the Internet.  RSVP is a signalling protocol developed by the Internet Engineering Task Force in RFC 2205.

The aim of the project is to model RSVP using Coloured Petri Nets and to analyse its behaviour against a set of properties. Another objective is to develop the requirements of the protocol, in terms of a service specification (something missing in RFC 2205), and to verify RSVP against it.

This work is supported by the Government of Venezuela.

top^