Benutzer: Gast  Login
Titel:

Integrated Development of Embedded Systems with AutoFocus

Dokumenttyp:
Technical Report
Autor(en):
Franz Huber; Bernhard Schaetz
Abstract:
This article presents AutoFocus, a tool prototype for formally based development of distributed, embedded systems. 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 consistent and executable specif...     »
Stichworte:
Formal methods; conceptual model; constraint; meta model; integration; view; semantic; simulation; model checking; visual; verification; validation; software engineering; tool; prototyping; model based
Jahr:
2001
Jahr / Monat:
2001-12-01 00:00:00
 BibTeX