Assignment -II


Notify your choices to suresh.  Programs will be alloted on First Come First Serve and availability basis.
The students should submit the assignment in the following format mentioning their contributions in the report in carrying out the assignment.

Report format: 

  1. Problem statement
  2. Introduction to Protocol
  3. Protocol Specifications
  4. SDL based Diagrams and any other relevant SDL data
  5. Procedure
  6. Results
  7. Conclusion
  8. References
Titles:
  1. Verify the safety and liveness properties of Go Back N protocol. In case, if it satisfies the safety and liveness properties, then find out the cases where they may not be satisfied.
  2. Validate the design errors like deadlocks, unspecified receptions, state ambiguity and non executable interactions in Go Back N protocol. In case of no errors then, find out the cases where these errors occur.
  3. Perform interoperability testing of CSMA/CA protocol with CSMA/CD protocol.
  4. Perform interoperability testing of a bridge connected to 802.3 and 802.4.
  5. Implement a simple client/server model. Where the client requests the data from the server. .
  6. Implement a model for data transfer between sender and receiver.
  7. Design a simple ALOHA scheme with two nodes and medium. .
  8. Design a simple slotted ALOHA scheme with two nodes and a medium.
  9. Verify the safety and liveness properties of SNMP. In case, if it satisfies the safety and liveness properties, then find out the cases where they may not be satisfied.
  10. Design and implement a simple FTP.
  11. Perform stability analysis of BGP by using a suitable AS (Autonomous System) network topology and compute the time taken for stabilization of routes with multiple lines/nodes going down.
  12. Design an abstract test suite for TCP and perform conformance testing using DS sequences.
  13. Design an abstract test suite for UDP and perform conformance testing using UIO sequences.
  14. Implement a simple TCP initialization procedure(Ref.RFC 793)
  15. Perform scalabilty testing of MPLS.
  16. Design abstract test suite for HTTP and perform conformance testing by using UIO sequences.
  17. Analyze the performance of CSMA/CD protocol in terms of throughput and packet loss.
  18. Implement a simple local telephone call with 2 subscribers and exchange.
  19. Design and implement token ring protocol with three nodes.
  20. Design and implement Sliding Window Protocol with selective repeat, design test cases to check its working.
  21. Design and implement Connection Establishment Phase of TCP Protocol and verify its safety properties.
  22. Design and implement Connection Establishment Phase of TCP Protocol and verify its liveness properties.
  23. Design and implement a simple SMTP protocol.
  24. Design and implement a SIP Protocol and perform conformance testing by using UIO Method.
  25. Analyze the performance of OSPF protocol by taking a suitable network topology of routers. The performance should be in terms of routing overheads and route convergence time.
  26. Design and Implement the working of Layer-2 SWITCH with 8-port.
  27. Validate the design errors like deadlocks, unspecified receptions, state ambiguity and non executable interactions in SMTP. In case of no errors then, find out the cases where these errors occur.
  28. Design and implement a time server.
  29. Design and Validate the Flow Control Operation of TCP Protocol.
  30. Perform Throughput performance of TCP Protocol.
  31. Verify and validate the UDP using SDL
  32. How to model a network using SDL
  33. Design and Implement English Auction Interaction Protocol.
  34. Design and Implement Contract Net Interaction Procotol.