Titre du document / Document title

AutoFocus : Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme = AutoFocus: a tool prototyp for the development of embedded systems

Auteur(s) / Author(s)

BROY M. ⁽¹⁾ ; HUBER F. ⁽¹⁾ ; SCHÄTZ B. ⁽¹⁾ ;

Affiliation(s) du ou des auteurs / Author(s) Affiliation(s)

⁽¹⁾ Institut für Informatik, Technische Universität München, Arcisstrasse 21, 80333 Müncher, ALLEMAGNE

Résumé / 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.

Revue / Journal Title

Informatik   ISSN 0178-3564   CODEN IFENEI 

Source / Source

1999, vol. 14, n^o3, pp. 121-134 (25 ref.)

Langue / Language

Allemand

Editeur / Publisher

Springer, Berlin, ALLEMAGNE  (1986-2008) (Revue)

Mots-clés anglais / English Keywords

Software tool ; Distributed system ; Specification ; Client server architecture ; Verification ; Embedded software ;

Mots-clés français / French Keywords

Outil logiciel ; Système réparti ; Spécification ; Architecture client serveur ; Vérification ; Logiciel embarqué ;

Mots-clés espagnols / Spanish Keywords

Herramienta (controlada por ) logicial ; Sistema repartido ; Especificación ; Arquitectura cliente servidor ; Verificación ;

Localisation / Location

INIST-CNRS, Cote INIST : 21211, 35400008974371.0010