Introduction:
Communication Model, Communication Software, Communication Subsystems, Communication Protocol, Communication Protocol Development Methods, Protocol Engineering Process. Layered Architecture, Network Services and Interfaces, Protocol Function, OSI Model, TCP/IP Protocol Suite, Application Protocols, Protocol Specification: Components of Protocol to be Specified, Communication Service Specification, Protocol Entity Specification, Interface Specifications, Multimedia Protocol Specifications, Internet Protocol Specifications: Examples
SDL:
Examples of SDL Based Protocol Specifications Introduction to Other Protocol Specification Languages.
Protocol Verification/Validation:
Protocol Verification, Verification of a Protocol Using Finite State Machines, Protocol Validation, Protocol Design Errors, Protocol Validation Approaches, and SDL based Protocol Verification, SDL based Protocol Validation
Protocol Conformance Testing:
Conformance Testing, Conformance Testing Methodology and Framework, Conformance Test Architectures, Test Sequence Generation Methods, Distributed Architecture by Local Methods, Conformance Testing with TTCN, Conformance Testing in Systems with Semi-controllable Interfaces, Conformance Testing of RIP, Multimedia Applications Testing, SDL Based Tools for Conformance Testing, SDL Based Conformance Testing of MPLS.
Protocol Synthesis:
Protocol Synthesis, Interactive Synthesis Algorithm, Automatic Synthesis Algorithm, Automatic Synthesis of SDL from MSC, Protocol Re-synthesis. Protocol Implementation: Requirements of Protocol Implementation, Object based approach to Protocol Implementation, Protocol Compilers, and Tools for Protocol Engineering.
Course outcomes:
At the end of the course the student will be able to:
Question paper pattern:
The SEE question paper will be set for 100 marks and the marks scored will be proportionately reduced to 60.
Textbook/ Textbooks
1 Communication Protocol Engineering Venkataram&Manvi , PHI Learning Pvt. Ltd 2004
Reference Books
1 Communication Protocol Engineering Miroslav Popovic CRC Press 2006
2 Protocol Engineering Konig, Hartmut Springer 2012