Unit 1
Introduction: Communication model, Communication Software, Communication Subsystems, Communication Protocol Definition/Representation, Formal and Informal Protocol Development Methods, Protocol Engineering Phases .

Error Control, Flow Control: Type of Transmission Errors, Linear Block Code, Cyclic Redundancy Checks, Introduction to Flow Control, Window Protocols, Sequence Numbers, Negative Acknowledgments, Congestion Avoidance.
                                                                                   

                                                                                    Unit 2
Network Reference Model: Layered Architecture, Network Services and Interfaces, Protocol Functions: Encapsulation, Segmentation, Reassembly, Multiplexing, Addressing, OSI Model Layer Functions, TCP/IP Protocol Suite, Application Protocols.

Protocol Specification: Components of specification, Service specification, Communication Service Specification Protocol entity specification: Sender, Receiver and Channel specification, Interface specifications, Interactions, Multimedia specifications, Alternating Bit Protocol Specification, RSVP specification.

                                                                                    Unit 3
Protocol Specification Language (SDL): Salient Features. Communication System Description using SDL, Structure of SDL. Data types and communication paths, Examples of SDL based Protocol Specifications: Question and answer protocol, X-on-X-off protocol, Alternating bit protocol, Sliding window protocol specification, TCP protocol specification, SDL based platform for network, OSPF, BGP Multi Protocol Label Switching SDL components.

Protocol Verification / Validation: Protocol Verification using FSM, ABP Verification, Protocol Design Errors, Deadlocks, Unspecified Reception, Non-executable Interactions, State Ambiguities, Protocol Validation Approaches: Perturbation Technique, Reachability Analysis, Fair Reachability Graphs, Process Algebra based Validation, SDL Based Protocol Verification: ABP Verification, Liveness Properties, SDL Based Protocol Validation: ABP Validation.

 

                                                                                    Unit 4
Protocol Conformance and Performance Testing: Conformance Testing Methodology and Framework, Local and Distributed Conformance Test Architectures, Test Sequence Generation Methods: T, U, D and W methods, Distributed Architecture by Local Methods, Synchronizable Test Sequence, Conformance testing with Tree and Tabular Combined Notation (TTCN), Conformance Testing of RIP, Testing Multimedia Systems, quality of service test architecture(QOS), Performance Test methods, SDL Based Performance Testing of TCP, OSPF, Interoperability testing, Scalability testing protocol synthesis problem

                                                                                    Unit 5
Protocol Synthesis and Implementation: Synthesis methods, Interactive Synthesis Algorithm, Automatic Synthesis Algorithm, Automatic Synthesis of SDL from MSC, Protocol Re-synthesis, Requirements of Protocol Implementation, Objects Based Approach To Protocol Implementation, Protocol Compilers, Code generation from Estelle, LOTOS, SDL and CVOPS.