AutoFocus 3: a scientific tool prototype for model-based development of component-based, reactive, distributed systems

Authors:
Florian Hölzl;Martin Feilkas
Affiliations:
Institut für Informatik, Technische Universität München, Garching, Germany;Institut für Informatik, Technische Universität München, Garching, Germany
Venue:
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Year:
2007

Citing 4
Cited 0

Specification and development of interactive systems: focus on streams, interfaces, and refinement

Specification and development of interactive systems: focus on streams, interfaces, and refinement
Interdisciplinary Requirements Analysis Using the Model-based RM Tool AUTORAID

AURE '06 Proceedings of the International Automotive Requirements Engineering Workshop
Service-Oriented Modeling of CoCoME with Focus and AutoFocus

The Common Component Modeling Example
On the correctness of upper layers of automotive systems

Formal Aspects of Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We give an introduction of the AutoFocus 3 tool, which allows component-based modeling of reactive, distributed systems and provides validation and verification mechanisms for these models. Furthermore, AUTOFOCUS 3 includes descriptions of specific technical platforms and deployments. The modeling language is based on precise semantics including the notion of time and allows for a refinement-based methodology for the development of reactive systems, typically found in user-accessible embedded realtime-systems.