Recent projects (2000-2004)
- Analysing the transmission control protocol
- Modelling and analysis of avionics mission systems
- Modelling and analysis of the internet open trading protocol
- Modelling and analysis of the resource reservation protocol
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.