Paper Info
Title
AutoFocus 3: a scientific tool prototype for model-based development of component-based, reactive, distributed systems
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.
Year
DOI
Venue
2007
10.1007/978-3-642-16277-0_13
Model-Based Engineering of Embedded Real-Time Systems
Keywords
Field
DocType
precise semantics,reactive system,refinement-based methodology,user-accessible embedded realtime-systems,modeling language,verification mechanism,specific technical platform,scientific tool prototype,model-based development
Autofocus,Verification and validation,Computer science,Modeling language,Model-based design,Reactive system,Semantics,Distributed computing
Conference
ISBN
Citations 
PageRank 
3-642-16276-2
20
1.29
References 
Authors
2
2
Name
Order
Citations
PageRank
Florian Hölzl1605.36
Martin Feilkas21067.38