Traffic lights-an AutoFocus case study
Franz Johann Thomas Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig · 2002
In this paper, we present a case study on AutoFocus, a prototype tool for the development of distributed and concurrent systems based on the concepts of the formal method Focus. We develop (specify, consistency-check and simulate) the controller of a set of pedestrian traffic lights using different graphical description techniques to illustrate an engineering process for concurrent systems.