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 - http://www.scopus.com/inward/record.url?scp=20444432539&partnerID=8YFLogxK
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 -