Next offered in 2000
K Parker
6 points - First, second semester - Clayton
Synopsis High-level language protocol implementation techniques including FSM implementation. Timer management. BCC generation. Concurrency issues. Retransmission queue management. Real-time constraints. Protocol specification and rapid prototyping systems: introduction and theory; SDL; LOTOS; CHILL; Estelle. Conformance testing: approaches to, and limitations of, conformance testing; the need for and requirements of a conformance standard; the CEPT NET-2 and ISO 8882 standards.
Assessment Practical work: 100%
Recommended texts
CCITT Z.200 (CHILL)
ISO 8882-2
Jensen K Coloured petri nets vol. 1, Springer-Verlag, 1992
Knightson K G OSI protocol conformance testing McGraw-Hill, 1993
Turner K Formal description techniques North-Holland, 1993