Abstract is missing.
- Herausforderungen bei der modellbasierten Entwicklung verteilter Fahrzeugfunktionen in einer verteilten EntwicklungsorganisationChristian Dziobek, Thomas Ringler, Florian Wohlgemuth. 1-10
- Ein Ansatz zur Qualitätsbewertung von modellbasierten Entwicklungsprojekten eingebetteter SoftwareHartmut Pohlheim, Ingo Stürmer. 11-20
- Solving Modeling Problems with Machine Learning -- A Classification Scheme of Model Learning Approaches for Technical SystemsOliver Niggemann, Benno Stein, Alexander Maier. 21-30
- Automating Code Reviews with Simulink Code InspectorMirko Conrad, Tom Erkkinen, Matt Englehart, Xiaocang Lin, Appa Rao Nirakh, Bill Potter, Jaya Shankar, Pete Szpak, Jun Yan. 31-36
- Frontloading of Complexity -- Experience with AUTOSARUlrich Freund. 37-38
- Einfluss von Wiederverwendung zeitkritischer Funktionen in AUTOSARMichael Liebig, Jens Weiland. 39-48
- Scheduling shared memory multicore architectures in Af3 using Satisfiability Modulo TheoriesSebastian Voss, Bernhard Schätz. 49-56
- Modeling for automated test generation - a comparisonHartmut Lackner, Holger Schlingloff. 57-70
- Towards Causality Checking for Complex System ModelsFlorian Leitner-Fischer, Stefan Leue. 71-80
- A Model-Based Implementation of Function Block DiagramSten Grüner, David Kampert, Ulrich Epple. 81-90
- Darstellungskonzepte für die zustandsabhängige Diagnose industrieller Kommunikationsnetzwerken für verteilte AutomatisierungssystemeDmitry Renzhin, Dorothea Pantförder, Jens Folmer, Birgit Vogel-Heuser. 91-100
- Modelling Technical Constraints and Preconditions for Alternative Design DesicionsAlexander Pacholik, Matthias Riebisch. 101-106
- Towards an Extensible C for Embedded ProgrammingMarkus Völter, Bernhard Schätz, Daniel Ratiu, Bernd Kolb. 107-112
- Component Behavior Synthesis for Critical SystemsStefan Henkler, Tobias Eckardt. 113-122
- Unifying Probabilistic and Traditional Formal Model Based AnalysisFrank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck. 123-132
- Formal Safety Analysis and Verification in the Model Driven Development of a Pacemaker Product LineSara Blessing, Michaela Huhn. 133-144
- A framework for formal verification of systems of synchronous componentsStefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner. 145-154
- Components and Contracts: A Semantical Foundation for Compositional RefinementHardi Hungar. 157-162