AutoFocus - Ein werkzeugprototyp zur entwicklung eingebetteter systeme

Manfred Broy; Franz Huber; Bernhard Schätz

doi:10.1007/s004500050132

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

Informatics 4 - Chair of Software and Systems Engineering (2008 — 2022)

Technical University of Munich

Research output: Contribution to journal › Article › peer-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 contribution	AutoFocus - A prototype tool for the development of embedded systems
Original language	German
Pages (from-to)	121-134
Number of pages	14
Journal	Informatik - Forschung und Entwicklung
Volume	14
Issue number	3
DOIs	https://doi.org/10.1007/s004500050132
State	Published - Sep 1999

Access to Document

10.1007/s004500050132

Cite this

@article{7e5384ba6d004cc3b5dba793849f0fe5,

title = "AutoFocus - Ein werkzeugprototyp zur entwicklung eingebetteter systeme",

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.",

keywords = "Development of distributed and embedded systems, Formal methods and techniques, Prototyping, Software engineering tools",

author = "Manfred Broy and Franz Huber and Bernhard Sch{\"a}tz",

year = "1999",

month = sep,

doi = "10.1007/s004500050132",

language = "Deutsch",

volume = "14",

pages = "121--134",

journal = "Informatik - Forschung und Entwicklung",

issn = "0178-3564",

publisher = "Springer Verlag",

number = "3",

}

TY - JOUR

T1 - AutoFocus - Ein werkzeugprototyp zur entwicklung eingebetteter systeme

AU - Broy, Manfred

AU - Huber, Franz

AU - Schätz, Bernhard

PY - 1999/9

Y1 - 1999/9

N2 - 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.

AB - 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.

KW - Development of distributed and embedded systems

KW - Formal methods and techniques

KW - Prototyping

KW - Software engineering tools

UR - https://www.scopus.com/pages/publications/20444432539

U2 - 10.1007/s004500050132

DO - 10.1007/s004500050132

M3 - Artikel

AN - SCOPUS:20444432539

SN - 0178-3564

VL - 14

SP - 121

EP - 134

JO - Informatik - Forschung und Entwicklung

JF - Informatik - Forschung und Entwicklung

IS - 3

ER -

AutoFocus - Ein werkzeugprototyp zur entwicklung eingebetteter systeme

Abstract

Access to Document

Other files and links

Fingerprint

Cite this