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