Protocol engineering
A McGregor
6 points *First/Second semester * Clayton
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
Knightson K G OSI protocol conformance testing McGraw-Hill, 1993
Turner K Formal description techniques North-Holland, 1993