Complete Learning Material is available at author's website
URL http://pet.ece.iisc.ernet.in/course/E2223/
Assignment can be done using Cindrella SDL or Tau SDL Suites
-
Verify the safety and liveness properties of an Alternating Bit Protocol. In case, if it satisfies the safety and liveness properties, then find out the cases where they may not be satisfied.
-
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.
-
Validate the design errors like deadlocks, unspecified receptions, state ambiguity and non executable interactions in an Alternating Bit Protocol. In case of no errors then, find out the cases where these errors occur.
-
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.
-
Design an abstract test suite for QA (question answer) protocol and perform conformance testing using UIO sequences.
-
Design an abstract test suite for Xon-Xoff protocol and perform conformance testing using T sequences.
-
Perform interoperability testing of CSMA/CA protocol with CSMA/CD protocol.
-
Perform interoperability testing of a bridge connected to 802.3 and 802.4.
-
Implement a simple client/server model. Where the client requests the data from the server. .
-
Implement a model for data transfer between sender and receiver.
-
Design a simple ALOHA scheme with two nodes and medium. .
-
Design a simple slotted ALOHA scheme with two nodes and a medium.
-
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.
-
Design and implement a simple FTP.
-
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.
-
Design an abstract test suite for TCP and perform conformance testing using DS sequences.
-
Design an abstract test suite for UDP and perform conformance testing using UIO sequences.
-
Implement a simple TCP initialization procedure(Ref.RFC 793)
-
Perform scalabilty testing of MPLS.
-
Design abstract test suite for HTTP and perform conformance testing by using UIO sequences.
-
Analyze the performance of CSMA/CD protocol in terms of throughput and packet loss.
-
Implement a simple local telephone call with 2 subscribers and exchange.
-
Design and implement token ring protocol with three nodes.
-
Design and implement Sliding Window Protocol with selective repeat, design test cases to check its working.
-
Design and implement Connection Establishment Phase of TCP Protocol and verify its safety properties.
-
Design and implement Connection Establishment Phase of TCP Protocol and verify its liveness properties.
-
Design and implement a simple SMTP protocol.
-
Design and implement a SIP Protocol and perform conformance testing by using UIO Method.
-
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.
-
Design and Implement the working of Layer-2 SWITCH with 8-port.
-
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.
-
Design and implement a time server.
-
Design and Validate the Flow Control Operation of TCP Protocol.
-
Perform Throughput performance of TCP Protocol.
-
Verify and validate the UDP using SDL
-
How to model a network using SDL
-
Design and Implement English Auction Interaction Protocol.
-
Design and Implement Contract Net Interaction Procotol.
-
TTCN- ABP, QA, Flow control, Xon Xoff, Node monitorig protocol, Service discovery protocol or any communicating protocol of your choice. Testing of any FSM using TTCN