ELG-7187C - Projects from previous years

2012

• Verification of a network broadcast algorithm using SPIN
• Electronic Warfare System: UPPAAL Modeling
• Modeling a memory access protocol for multi-CPU computers

2011

• Modelling and Validation of Distributed Bitonic Mergesort Algorithm using SPIN
• Modelling the focused addressing and bidding algorithm using the Telelogic TAU tool for SDL
• plus four other projects
  

2010

• Modelling and Analyzing Distributed Algorithm for Minimum-Weight Spanning Trees (MSTs) [1] using the SPIN Tool
• Model checking the SIP protocol using SPIN
• Modeling of a Simple in-flight safety system Using Alloy
• Modeling B-tree structures for peer-to-peer systems in Allow

2009

• Satisfying Concurrency Control Requirements in Design of Databases (step-wise development of distributed algorithm) using a tool for Colored Petri-nets
• Modeling the Selectively Reliable Multicast Protocol using the SPIN tool
• Analysis of “Component Design Derived from Global Specification” (one of the last course chapters) modeling some examples of distributed component designs using Telelogic SDL tool.
• Modeling and analyzing the Yo-Yo Protocol for leader selection using the Alloy tool
• Modeling and analyzing the Bully algorithm for leader selection using the Telelogic Tau tool

2008

• Deriving the behavior of a controller for controlling the temperature of a chemical plant (using the IOA tool of Drissi)
• Modeling the SIP call waiting feature (using the Telelogic SDL tool)
• Modeling a protocol (developed within this project) for making reservation of resources in a distributed environment (using the SPIN tool)

2007

• Modeling the SIP protocol (IP telephony) using the SPIN tool
• Modeling a cruise control system using the LTSA tool (verification of safety and progress properties)
• Modeling in SDL of a distributed database system providing the so-called Practical Byzantine Fault Tolerant Service (using the Telelogic SDL tool)
• Modeling a version of CSMA/CD in SDL for checking functional properties and certain performance parameters (using the Telelogic SDL tool)
• Modeling the Small Aircraft Landing Protocol (defined for the Small Aircraft Transportation System) using the Alloy tool
• Modeling the SIP three-way conference call feature (using the Telelogic SDL tool)