Traffic lights - An AutoFocus case study

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 1998-March, Issue , 1998, Pages 282-294

  Huber, Franz ^a   Molterer, Sascha ^a   Schätz, Bernhard ^a   Slotosch, Oscar ^a   Vilbig, Alexander ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; SYSTEMS ANALYSIS;

AUTO FOCUS; CONCURRENT SYSTEMS; CONSISTENCY CHECKS; PEDESTRIAN TRAFFIC; TRAFFIC LIGHT;

CONCURRENCY CONTROL;

EID: 77950064308     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.1998.657559     Document Type: Conference Paper

References (12)

1. M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, and R. Weber, \The design of distributed systems - an introduction to FOCUS," Tech. Rep. TUM-I9203, Technische Universität München, Institut für Informatik, Januar 1992.
2. J.-R. Abrial, The B-Book: Assigning Programs to Meanings, Cambridge University Press, 1996.
3. D. Harel, \Statemate: A working environment for the development of complex reactive systems," IEEE Transactions on Software Engineering, vol. 16, no. 4, pp. 403-414, 1990.
4. Telelogic AB, Telelogic AB: SDT 3.1 Reference Manual, 1996.
5. Grady Booch, Ivar Jacobson, and Jim Rumbaugh, UML Summary, Rational Software Cooperation, Jan. 1997, Version 1.0.
6. M. P. Jones, An Introduction to Gofer, Aug. 1993.
7. Radu Grosu, Cornel Klein, Bernhard Rumpe, and Manfred Broy, \State transition diagrams.," Tech. Rep. TUM-I9630, Technische Univerität München, 1996.
8. Z.120, ITU-TS Recommendation Z.120: Message Sequence Chart (MSC), ITU-TS, Geneva, 1996.
9. Bernhard Schätz, Heinrich Humann, and Manfred Broy, \Graphical development of consistent system specifications," in FME'96: Industrial Benefit and Advances In Formal Methods, Marie-Claude Gaudel and James Woodcock, Eds. 1996, Springer.
10. Franz Huber, Bernhard Schätz, and Geralf Einert, \Consistent graphical specification of distributed systems," in FME '97, LNCS 1313, pp. 122-141, Peter Lucas John Fitzgerald, Cliff B. Jones, Ed. 1997, Springer.
11. Franz Huber and Bernhard Schätz, \Rapid Prototyping with AutoFocus," in Formale Beschreibungstechniken für verteilte Systeme, pp. 343-352, A. Wolisz, I. Schieferdecker, and A. Rennoch, Eds. 1997, GMD Verlag (St. Augustin).
12. Franz Huber, Bernhard Schätz, and Katharina Spies, \AutoFocus - Ein Werkzeugkonzept zur Beschreibung verteilter Systeme," in Formale Beschreibungstechniken für verteilte Systeme, U. Herzog H. Hermanns, Ed. 1996, pp. 165-174, Universität Erlangen- Nürnberg, In: Arbeitsberichte des IMMD, Bd.29, Nr. 9.