AutoFocus - Ein werkzeugprototyp zur entwicklung eingebetteter systeme

Translated title of the contribution: AutoFocus - A prototype tool for the development of embedded systems

Manfred Broy, Franz Huber, Bernhard Schätz

Research output: Contribution to journalArticlepeer-review

23 Scopus citations

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 μ-cke or SMV.

Translated title of the contributionAutoFocus - A prototype tool for the development of embedded systems
Original languageGerman
Pages (from-to)121-134
Number of pages14
JournalInformatik - Forschung und Entwicklung
Volume14
Issue number3
DOIs
StatePublished - Sep 1999

Fingerprint

Dive into the research topics of 'AutoFocus - A prototype tool for the development of embedded systems'. Together they form a unique fingerprint.

Cite this