Advertisement

Informatik Forschung und Entwicklung

, Volume 14, Issue 3, pp 121–134 | Cite as

AutoFocus– Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme

  • Manfred Broy
  • Franz Huber
  • Bernhard Schätz
Originalbeiträge

Zusammenfassung.

Der Beitrag stellt AutoFocus vor, einen Werkzeugprototyp zur Entwicklung verteilter, eingebetteter Systeme auf der Grundlage formaler Techniken. AutoFocus unterstützt die Systementwicklung mit integrierten, im wesentlichen graphischen Beschreibungstechniken, mit deren Hilfe sowohl unterschiedliche Sichten als auch verschiedene Abstraktionsebenen eines Systems beschrieben werden. Um konsistente und vollständige Beschreibungen sicherzustellen, bietet AutoFocus die Möglichkeit, Konsistenzbedingungen zu formulieren und Systembeschreibungen daraufhin zu überprüfen. Aus ausführbaren Spezifikationen können Prototypen des entwickelten Systems erzeugt werden und in einer Simulationsumgebung ausgeführt und visualisiert werden. Zur formalen Verifikation von Systemeigenschaften verfügt AutoFocusüber Anbindungen an Modellprüfungswerkzeuge wie \(\mu\)-cke oder SMV.

Schlüsselwörter: Software Engineering Werkzeuge, Entwicklung verteilter und eingebetteter Systeme, formale Methoden und Techniken, Prototyping 

Abstract.

This article presents AutoFocus, a tool prototype for the development of distributed, embedded systems based on formal techniques. AutoFocus supports system development offering integrated, comprehensive and mainly graphical description techniques to specify different views as well as different levels of abstraction of a system. To avoid ill-defined specifications, consistency conditions on these system descriptions can be formulated and checked. Prototypes can be generated from executable specifications using a Java code generator. These prototypes can be executed and visualized within a simulation environment. System Properties can be formally verified using model checking tools such as \(\mu\)-cke or SMV.

Key words: Software engineering tools, development of distributed and embedded systems, formal methods and techniques, prototyping 
CR Classification: D.2.2, D.2.4, D.3.1, F.3.1, I.6.4 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Manfred Broy
    • 1
  • Franz Huber
    • 1
  • Bernhard Schätz
    • 1
  1. 1.Institut für Informatik, Technische Universität München, Arcisstraße 21, D-80333 München (e-mail: {broy, huberf, schaetz}@in.tum.de) DE

Personalised recommendations