Authorised by Academic Registrar, April 1996
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%