Title :
Traffic lights-an AutoFocus case study
Author :
Huber, Franz ; Molterer, Sascha ; Atz, Bernhard Sch ; Slotosch, Oscar ; Vilbig, Alexander
Author_Institution :
Inst. fur Inf., Tech. Univ. Munchen, Germany
Abstract :
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
Keywords :
control system CAD; control system analysis computing; distributed processing; formal specification; real-time systems; road traffic; software tools; traffic control; AutoFocus; Focus; case study; concurrent systems development; consistency checking; distributed systems development; engineering process; formal method; graphical description techniques; pedestrian traffic lights controller; prototype tool; simulation; specification; Computer aided software engineering; Control systems; Embedded software; Embedded system; Lighting control; Programming; Prototypes; Software development management; Software prototyping; Software tools;
Conference_Titel :
Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on
Conference_Location :
Fukushima
Print_ISBN :
0-8186-8350-3
DOI :
10.1109/CSD.1998.657559
