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

fYear

1998

fDate

23-26 Mar 1998

Firstpage

282

Lastpage

294

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on

Conference_Location

Fukushima

Print_ISBN

0-8186-8350-3

Type

conf

DOI

10.1109/CSD.1998.657559

Filename

657559