Traffic lights-an AutoFocus case study
- 27 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 282-294
- https://doi.org/10.1109/csd.1998.657559
Abstract
In this paper we present a case study on AutoFocus, a tool prototype 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 pedestrian traffic light using different graphical description techniques to illustrate an engineering process for concurrent systems.Keywords
This publication has 2 references indexed in Scilit:
- The B-BookPublished by Cambridge University Press (CUP) ,1996
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990