13 AutoFocus 3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems [chapter]

Florian Hölzl, Martin Feilkas
2010 Lecture Notes in Computer Science  
We give an introduction of the AutoFocus 3 tool 1 , 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.
doi:10.1007/978-3-642-16277-0_13 fatcat:gth3ss4zqfaezgcy7hmwlep4qu