Communication model, Communication software, and communication protocol: Representation, Development methods, Protocol engineering process. NETWORK REFERENCE MODEL: Layered architecture, Network services and interfaces, protocol functions, OSI model, TCP/IP protocol suite, Application protocols.
Communication service specification, Protocol entity specification, Interface specifications, Interactions, Multimedia protocol specifications, Internet protocol specifications.
A protocol specification language: SDL.
Examples of SDL based protocol specifications, Other protocol specification languages. Protocol Verification And Validation, Protocol verification, Verification of a protocol using finite state machines.
Protocol validation, Protocol design errors, and protocol validation approaches, SDL based protocol verification, SDL based protocol validation.
Conformance testing methodology and framework, Conformance test architectures, Test sequence generation methods, Distribute architecture by local methods, Conformance testing with TTCN, Conformance testing of RIP, Multimedia applications testing, SDL based tools for conformance testing.
SDL based performance testing of TCP, OSPF, Interoperability testing, SDL based interoperability testing of CSMA/CD and CSMA/CA protocol using bridge, Scalability testing.
Synthesis methods, interactive synthesis algorithms, automatic synthesis algorithm, automatic synthesis of SDL from MSC protocol re synthesis.