Specification of an Elevator Control System -- An AutoFocus Case Study

In this paper we present a case study with AutoFocus, a tool prototype for the development of distributed embedded systems. We develop a controller of an elevator system using different description techniques to illustrate the development process. Furthermore we use the simulation component of AutoFocus, SimCenter, to validate the behavior of the specified system. Using a device independent interface SimCenter can control both external multimedia applications for visualization as well as real hardware for rapid prototyping. We use the AutoFocus specification of the elevator control system to control a Fischertechnik model of an elevator.

[1]  Volker Heun,et al.  Optimal Dynamic Edge-Disjoint Embeddings of Complete Binary Trees into Hypercubes , 1996 .

[2]  Bernhard Schätz,et al.  Consistent Graphical Specification of Distributed Systems , 1997, FME.

[3]  Javier Esparza.  Reachability in Live and Safe Free-Choice Petri Nets is NP-Complete , 1998, Theor. Comput. Sci..

[4]  Manfred Broy,et al.  The algebra of stream processing functions , 2001, Theor. Comput. Sci..

[5]  Christine Roeckl.  How to Make Substitution Preserve Strong Bisimilarity , 1997 .

[6]  Antonín Kucera,et al.  Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time , 1999, CONCUR.

[7]  Radu Grosu,et al.  A Denotational Model for Mobile Point-to-Point Data-flow Networks with Channel Sharing , 1997 .

[8]  Bernhard Mitschang,et al.  On Transforming a Sequential SQL-DBMS into a Parallel One: First Results and Experiences of the MIDAS Project , 1996, Euro-Par, Vol. II.

[9]  Antonín Kucera,et al.  Simulation Preorder on Simple Process Algebras , 1999, ICALP.

[10]  Javier Esparza,et al.  Deciding Finiteness of Petri Nets Up To Bisimulation , 1996, ICALP.

[11]  Manfred Broy,et al.  The Design of Distributed Systems - An Introduction to FOCUS-revised version , 1992 .

[12]  Bernhard Schätz,et al.  Rapid Prototyping with AutoFocus , 1997, FBT.

[13]  Sjouke Mauw,et al.  Message Sequence Chart (MSC) , 1996 .

[14]  Ursula Hinkel.  Home Shopping - Die Spezifikation einer Kommunikationsanwendung in Focus , 1998 .

[15]  Ulrich Rüde,et al.  Implicit Extrapolation Methods for Variable Coefficient Problems , 1998, SIAM J. Sci. Comput..

[16]  Andreas Wolf,et al.  DBFW: a simple database framework for the evaluation and maintenance of automated theorem prover data , 1998, Proceedings of the Second Euromicro Conference on Software Maintenance and Reengineering.

[17]  Michael Griebel,et al.  Algebraic multigrid methods for the solution of the Navier–Stokes equations in complicated geometries , 1998 .

[18]  Stefan Schulte,et al.  Hierarchische Basen zur effizienten Kopplung substrukturierter Probleme der Strukturmechanik , 1997 .

[19]  Volker Heun,et al.  Embedding Graphs with Bounded Treewidth into Optimal Hypercubes , 1996, STACS.

[20]  Ekkart Kindler,et al.  A Compositional Partial Order Semantics for Petri Net Components , 1997, ICATPN.

[21]  M. Griebel,et al.  Additive multilevel preconditioners based on bilinear interpolation, matrix-dependent geometric coarsening and algebraic multigrid coarsening for second-order elliptic PDEs , 1997 .

[22]  Michael Bader,et al.  Hierarchical Bases for the Indefinite Helmholtz Equation , 1999 .

[23]  Bernhard Schätz,et al.  AutoFocus: A Tool for Distributed Systems Specification , 1996, FTRTFT.

[24]  Ketil Stølen,et al.  Refinement Principles Supporting the Transition from Asynchronous to Synchronous Communication , 1996, Sci. Comput. Program..

[25]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[26]  Andreas Listl,et al.  Performance gains using subpages for cache coherency control , 1997, Database and Expert Systems Applications. 8th International Conference, DEXA '97. Proceedings.

[27]  Bernhard Schätz,et al.  Traffic lights-an AutoFocus case study , 1998, Proceedings 1998 International Conference on Application of Concurrency to System Design.

[28]  Markus Pizka.  Design and Implementation of the GNU INSEL-Compiler gic , 1997 .