29 | 02 | 2020


09:00-09:15 Welcome Organizers
09:15-10:00 Keynote M. Broy
10:00-11:00 Session 1  S. Henkler
  A User-Supported Approach to Determine the Importance of Optimization Criteria for Design Space Exploration Maike Rosinger, Matthias Büker and Raphael Weber
  On the Role of Context for Hazards of Safety-Critical Cyber-Physical Systems – A Taxonomy of Characteristics Bastian Tenbergen, Alexander C. Sturm and Thorsten Weyer
11:00-11:30  Coffee break  
11:30-13:00 Session 2 T. Weyer
  Multi-Objective Design Space Exploration for Cyber-Physical Systems satisfying hard Real-Time and Reliability Constraints Raphael Weber, Stefan Henkler, Achim Rettberg
  Towards a Shared Software Infrastructure for Smart Homes, Smart Buildings and Smart Cities Gilles Privat, Mengxuan Zhao and Laurent Lemke
  Design Space Exploration and Manipulation for Cyber Physical Systems Himanshu Neema, Zsolt Lattmann, Patrik Meijer, James Klingler, Sandeep Neema, Ted Bapty, Janos Sztipanovits and Gabor Karsai
13:00-14:00  Lunch  
14:00-15:00 Session 3 W. Böhm
  Automatic Test Coverage Measurements to support Design Space Exploration Jasmin Jahic, Thiyagarajan Purusothaman, Markus Damm, Thomas Kuhn, Peter Liggesmeyer and Christoph Grimm
  An Approach to Detect the Origin and Distribution of Software Defects in an Evolving Cyber-Physical System Christian Manz, Michael Schulze and Manfred Reichert
15:00-16:00 Session 4 A. Rettberg
  Communication-aware Scheduling of AUTOSAR Runnables on Multi-core Systems Hamid Reza Faragardi, Kristian Sandstrom, Bjorn Lisper and Thomas Nolte
  Contract-based Safety: Specification and Application Guidelines Markus Oertel, Ahmed Mahdi, Eckard Böde and Achim Rettberg
16:00-16:30  Coffee break  
16:30-17:00 Design Space Exploration in AutoFOCUS3 - An Overview Sebastian Voss, Sergey Zverlov, Johannes Eder and Bernhard Schaetz
17:00-17:30 Wrap up Organizers