User: Guest  Login
Document type:
Technical Report 
Author(s):
Franz Huber; Bernhard Schaetz 
Title:
Integrated Development of Embedded Systems with AutoFocus 
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...    »
 
Keywords:
Formal methods; conceptual model; constraint; meta model; integration; view; semantic; simulation; model checking; visual; verification; validation; software engineering; tool; prototyping; model based 
Year:
2001 
Year / month:
2001-12-01 00:00:00