Seamless Model-Based Development of Embedded Systems with AF3 Phoenix

To effectively and efficiently use a model-based development process, tools must offer integrated system views on several levels of abstraction, and provide useable sophisticated analysis and synthesis techniques. We demonstrate how these features are implemented for the development of embedded systems in AF3 Phoenix.