DocumentCode
3076903
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
fYear
2013
fDate
22-24 April 2013
Firstpage
212
Lastpage
212
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ECBS.2013.20
Filename
6601591
Link To Document