Protocol engineering: design, prototyping and analysis
B Krishnan and F Symons
6 points * 3 hours per week * Clayton * Irregular availability
Protocol design. Error control and flow control. Protocol modelling using Petri nets. Numerical Petri nets and the use of PROTEAN for protocol verification. Coloured Petri nets. Extended net language (XNL) and the use of PROMPT for prototyping. Protocol performance evaluation using timed and stochastic Petri net models.
Assessment
Examinations (2 hours): 70% * Assignments: 30%
Recommended texts
Holzmann G J Design and validation of computer protocols Prentice-Hall, 1991