CSP PAT Projects (choose one only)

The final project will be assessed for


2010 default project topics are coming soon:


Here are the 2009 default projects (PAT tool 3.0 has some example PAT code):

1 Distributed system for lifting trucks (1-2 person team)
The system consists of an arbitrary number of lifts. Each lift supports one wheel of a vehicle. The system is operated by means of buttons on the lifts. Lifts are connected by a bus. The model describes the startup phase and the up/down synchronization mechanism.
The BEEM description can be found at: here
The detailed explanation of the protocol is in this paper: here


2 Telecommunication service (1-2 person team)
Model of a telecommunication service with some features (call forward when busy, ring back when free).
The BEEM description can be found at: here
The detailed explanation of the protocol is in this paper: here


3 Driving Philosophers (1-2 person team)
The Driving Philosophers is a new synchronization problem in mobile ad-hoc systems. In this problem, an unbounded number of driving philosophers (processes) try to access a round-about (set of shared resources, organized along a logical ring).
The BEEM description can be found at: here
The detailed explanation of the protocol is in this paper: here