Technical Report
Specification of an Elevator Control System -- An AutoFocus Case Study
Author(s): Frank Strobl, Alexander Wisspeintner
Year: 1999
Number: TUM-I9906
Editor:
CR Classification: D.1.3, D.2.2, D.2.m
CR General Terms: Design
Keywords: case study, systems development, embedded systems, validation, prototyping, simulation, visualization, graphical debugging, AutoFocus
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 hardware for rapid prototyping.
We use the AutoFocus specification of the elevator control system to control a
Fischertechnik model of an elevator.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{SW99,
author = {Frank Strobl and Alexander Wisspeintner},
title = {Specification of an Elevator Control System -- An AutoFocus Case Study},
number = {TUM-I9906},
institution = {Technische Univerit\"at M\"unchen},
year = {1999},
url = {http://www4.informatik.tu-muenchen.de/reports/SW99.html},
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 hardware for rapid prototyping.
We use the AutoFocus specification of the elevator control system to control a
Fischertechnik model of an elevator.},
CRClassification = {D.1.3, D.2.2, D.2.m},
CRGenTerms = {Design}}
]]>