Abstract is missing.
- Between Academics and Practice: Model-based Development of Generic Safety-Critical SystemsDaniel Schwencke, Hardi Hungar, Mirko Caspar. 1-18
- Model Based Testing of Avionics Software - A True StoryJan Peleska 0001, Jörg Brauer, Uwe Schulze. 19-28
- Bringing DSE to life: exploring the design space of an industrial automotive use caseJohannes Eder, Sergey Zverlov, Sebastian Voss. 29
- SiPL: Towards a Comprehensive Development Environment for Deltaoriented Model-based Software Product LinesChristopher Pietsch, Dennis Reuling, Udo Kelter, Timo Kehrer. 30-37
- Improving Reuse in Architecture Modeling with Higher-Order ComponentsKai Adam, Bernhard Rumpe, Andreas Wortmann 0001. 38-47
- Verification of Dynamic Systems with SDMLib Reachability Graphs, a Car2X Case StudyChristoph Eickhoff, Albert Zündorf. 48-56
- Software-Architektur eingebetteter Systeme auf Basis domänenspezifischer Sprachen in der industriellen Praxis - eine FallstudieJens Zimmermann. 57-66
- Towards a Model-Based Safety and Security AnalysisThomas Strathmann, Sibylle Fröschle. 67-74