Communication protocol engineering
C Avram
4 points
* 2 hours per week
* Second semester
* Caulfield
*
Prerequisites: COT 2001 or COT2004
Objectives At the completion of this subject students should be able to use Petri nets to describe a simple communications protocol; verify formal properties of a protocol; and use a high-level language to implement a communication protocol.
Synopsis This subject aims to provide students with a knowledge of various communication protocols and methods for modelling, verification and implementation. The syllabus includes protocol and signalling systems; specification, verification and implementation techniques; Petri net-based techniques for modelling and analysis; teachability set analysis for verification and proof of properties; using computer simulation models and tools.
Assessment Examination (2 hours): 70%
* Two practical assignments:
30%
Recommended texts
Jensen K and Rozenberg G (eds) High-level Petri nets: Theory and application Springer-Verlag, 1991
Reisig W A primer in Petri net design Springer-Verlag, 1992
| Published by Monash University, Clayton, Victoria
3168 Copyright © Monash University 1996 - All Rights Reserved - Caution Authorised by the Academic Registrar December 1996 |