Title :
Seamless Model-Based Development of Embedded Systems with AF3 Phoenix
Author :
Kondeva, Antoaneta ; Ratiu, Daniel ; Schatz, Berhard ; Voss, Stephan
Author_Institution :
Dept. Software & Syst. Eng., fortiss GmbH, Munich, Germany
Abstract :
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.
Keywords :
embedded systems; integrated software; program diagnostics; software engineering; AF3 Phoenix; abstraction levels; analysis technique; embedded systems; integrated system; seamless model-based development process; synthesis technique; Analytical models; Computational modeling; Conferences; Embedded systems; Formal specifications; Space exploration; embedded systems; model-based development; tool support;
Conference_Titel :
Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the
Conference_Location :
Scottsdale, AZ
Print_ISBN :
978-0-7695-4991-0
DOI :
10.1109/ECBS.2013.20
