Visible to the public Seamless Model-Based Development of Embedded Systems with AF3 Phoenix

8:30-10:15, Wed. 24 April
Antoaneta Kondeva, Daniel Raitu, Bernhard Schatz, Sebastian Voss

Target Audience: requirement engineers, software engineers, architects, modellers

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. In this tutorial we demonstrate the principles and possibilities of model-based development, from the capture of initial requirements via the design of the architecture of the application down to the deployment on the technical platform. Using the freely available AF3 Phoenix tool (, participants will learn how to construct and relate different kind of models in a seamless model-based development process, how to use validation and verification techniques on those models, and how to generate a running system from them. Besides addressing core assets of model-based development--including checking well-formedness of models, simulating executable models, synthesizing test cases, or generating deployable code--we demonstrate the possibilities of a tool-supported approach with focus on those aspects often not covered in commonly used tools: Deep Integration of Rich Models, Model-Based Requirements Engineering, Formal Specification and Analyses Techniques, and Design Space Exploration Techniques.

About the Speakers

Antoaneta Kondeva is a researcher at fortiss GmbH and PhD candidate at the Technical University of Munich (TUM) under the supervision of Prof. Broy, who is leading the Software & Systems Engineering faculty at the TUM. She received her B.S., M.S. in Computer Science from the TUM in 2006, and 2009, respectively. From 2009 till 2013 she worked as researcher at the Research Center of the European Aeronautic Defence and Space Company, EADS Innovation Works, where she was involved in several projects concerning the development and application of model-based approaches for seamless development and early analysis of aircraft systems. Her research interests include systems & software engineering, integration of systems and safety engineering, formalization of safety requirements and their refinement throughout the system development process.

Dr. Sebastian Voss is a research group leader at fortiss GmbH. He has done his PhD in the avionic context at European Aeronautic Defence and Space Company, EADS Innovation Works in the department Sensors, Electronics & Systems Integration. Previously, we worked one year for Daimler Research & Development. At fortiss he is currently heading the research group Design Space Exploration that targets to find (optimized) system configurations for automotive, avionic and automation systems. His research interests include the efficient generation of system deployments (mappings from software to hardware) that includes schedules, efficient design space exploration methods and their model-based development.