Abstract is missing.
- MDA für Altsysteme - Ein langer WegMichael Erskine 0002, Alexander Schäffer, Rico Lieback. 1-10
- Towards Symbolic Causality Checking using SAT-SolvingAdrian Beer, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue. 11-20
- Die Ergänzung des AUTOSAR Standards für eine durchgängige modellbasierte automobile SteuergeräteentwicklungJan Meyer. 21-30
- Eine Anleitung zur Entwicklung von Simulink-Targets für die LehreFrank Tränkle. 31-37
- Software Design Means for Digital Passenger CarsUlrich Freund. 38-46
- On the right Degree of static Model Analysis for ISO 26262Heiko Dörr, Ingo Stürmer. 47-51
- Effort and Efficacy of Tool Classification and QualificationMirko Conrad, Ines Fey. 52-62
- Model-based Parallelization and Optimization of an Industrial Control CodeRalf Jahr, Martin Frieb, Mike Gerdes 0001, Theo Ungerer. 63-72
- Preliminary Experience of using mbeddr for Developing Embedded SoftwareMarkus Voelter. 73-82
- Towards a Curriculum for Model-Based Engineering of Embedded SystemsBernd-Holger Schlingloff. 83-90
- On the Role of Models in Engineering Cyber-Physical SystemsBernhard Schätz. 91-97
- Modellbasierte Konsistenzprüfung von Produktlinien von AutomatisierungssystemenMatthias Riebisch, Yibo Wang. 98-103
- Regelbasiertes Engineering mithilfe deklarativer GraphabfragenSten Grüner, Ulrich Epple. 104-112
- Assuring Standard Conformance of Partial InterfacesHardi Hungar. 113-116