Communication protocol engineering
C Avram
4 points * 2 hours per week * Second semester * Caulfield * Prerequisites: COT 2001 or COT2004
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; reachability 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 1991
Reisig W A primer in Petri net design Springer-Verlag, 1992