Abstract
High-end infotainment units for the Automotive domain have to provide a huge set of features, implemented in complex software on distributed embedded system hardware. In order to analyse the computational resources necessary for such systems, abstract models can be created which are used as a starting point for simulation and static analysis methods. In this paper, a domain-specific modeling method and derived analysis methods will be presented. A real-world scenario will be shown which could also serve as a challenging example for future tools and formal methods.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Wirrer, G.: Scheduling Simulation for Engine Control Systems all along the Development Cycle. In: Fachkonferenz Echtzeitentwicklung 2009 (2009), http://echtzeitkongress.de
Eclipse/Xtext: Homepage of the Xtext project as part of the Eclipse-platform, http://www.eclipse.org/modeling/tmf/?project=xtext
Birken, K.: Forward-looking system development with domain-specific modelling and timing simulation. In: 2nd Real-time Development Congress (2010), http://echtzeitkongress.de
Czarnecki, K., Eisenecker, U.W.: Generative Programming. Methods, Tools, and Applications. Addison-Wesley Longman, Amsterdam (2000)
Völter, M.: Architecture As Language, Part 2: Expressing Variability (2008), http://www.voelter.de/data/articles/ArchitectureAsLanguage-Part2-PDF.pdf
graphviz Graph Visualization Software, http://www.graphviz.org
Kramer, T., Münzenberger, R.: Echtzeitverhalten simulieren und validieren, verstehen und absichern. In: Proceedings Design&Elektronik Entwicklerforum (2009), http://www.inchron.de/fileadmin/INCHRON/3-PDFs/DE/Embedded-System-Entwicklung_09_INCHRON.pdf
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Birken, K., Hünig, D., Rustemeyer, T., Wittmann, R. (2010). Resource Analysis of Automotive/Infotainment Systems Based on Domain-Specific Models – A Real-World Example. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification, and Validation. ISoLA 2010. Lecture Notes in Computer Science, vol 6416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16561-0_39
Download citation
DOI: https://doi.org/10.1007/978-3-642-16561-0_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16560-3
Online ISBN: 978-3-642-16561-0
eBook Packages: Computer ScienceComputer Science (R0)