Communication protocol engineering
3 points * 16 lectures, 9 laboratory hours * Second semester * Clayton * Prerequisites: ECS3343
Objectives The student should gain an understanding of the specification, modelling, analysis and verification of communication protocols and signalling systems and be able to apply techniques based on Petri nets and numerical Petri nets for the specification and verification of communication protocols using the computer-based tool PROTEAN.
Synopsis Protocols 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% * Assignments: 30%
Prescribed texts
Symons F J W Lecture notes for ECS4346 Communication protocol engineering Dept Electrical and Computer Systems Engineering, Monash U, 1996
| Published by Monash University, Clayton, Victoria
3168 Copyright © Monash University 1996 - All Rights Reserved - Caution Authorised by the Academic Registrar December 1996 |