Traffic lights-an AutoFocus case study
Authors:
- F. HuberFHF. Huber
- S. MoltererSMS. Molterer
- B. SchatzBSB. Schatz
- O. SlotoschOSO. Slotosch
- A. VilbigAVA. Vilbig
- 27 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 282-294
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-Book1996
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990