Distributing Synchronous Programs Using Bounded Queues, a coordinated traffic signal application

This paper is about the modular compilation and distribution of a sub-class of Simulink programs [10] across networks using bounded FIFO queues. The problem is first addressed mathematically. Then, based on these formal results, a software library for the modular compilation and distribution of Simulink program is given. The performance the library is given. The value of synchronous programming for the next generation of traffic control value is discussed. The adoption of these tools seems to be the natural candidate to address the needs of the traffic engineers. As a case study we present an implementation in Simulink of a controller for coordinated traffic signal in an asymmetric peak hour traffic scenario and we evaluate its computational performances in a distributed environment.