DGS5040

Protocol engineering

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