Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Frank Strobl; Alexander Wisspeintner 
Titel:
Specification of an Elevator Control System -- An AutoFocus Case Study 
Abstract:
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 ha...    »
 
Stichworte:
case study; systems development; embedded systems; validation; prototyping; simulation; visualization; graphical debugging; AutoFocus 
Jahr:
1999 
Jahr / Monat:
1999-03-01 00:00:00 
Seiten/Umfang:
63