Keynote
Modeling Challenges for CPS Systems
David Garlan, Software Engineering Institute, CMU, USA
Schedule
Welcome and Keynote (8:30 – 9:45)
- Modeling Challenges for CPS Systems (keynote) (presentation)
David Garlan, Software Engineering Institute, CMU, USA
Session #1: Faults and Conflicts (9:45 – 10:30)
- Fault Localization in Embedded Control System Software (presentation)
Kai Liang, Zhuofu Bai, M. Cenk Cavosoglu, Andy Podgurski, Soumya Ray
Case Western Reserve University, USA - An Application Conflict Detection and Resolution System for Smart Homes (presentation)
Miki Yagita, Fuyuki Ishikawa, Shinichi Honiden
National Institute of Informatics and the University of Tokyo, Japan - Versioning in Cyber-Physical Production System Engineering? Best-Practice and Research Agenda (presentation)
Richard Mordinyi, Stefan Biffl
Vienna University of Technology, Austria
––– Coffee break –––
Session #2: Modeling, Testing and Verification (11:00 – 11:55)
- A Model-based Approach for the Specification of a Virtual Power Plant Operating in Open Context (presentation)
Vasileios Koutsoumpas
TUM, Germany - Towards Cyber-Physical Systems as Services: the ASIP Protocol (presentation)
Mirco Bordoni, Michele Bottone, Bob Fields, Nikos Gorogiannis, Michael Margolis, Giuseppe Primiero, Franco Raimondi
Ocado Group and Middlesex University, United Kingdom - Accelerating Regression Testing for Scaled Self-Driving Cars with Lightweight Virtualization – A Case Study (presentation)
Christian Berger
University of Gothenburg, Sweden - Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward (presentation)
Xi Zheng, Christine Julien
University of Texas, USA
Session #3: Collaboration(11:55 – 12:30)
- Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-Physical System (presentation)
Matthias Hölzl, Thomas Gabor
LMU München, Germany - Collaborating Multiple System Instances of Smart Cyber-Physical Systems: A Problem Situation, Solution Idea, and Remaining Research Challenges (presentation)
Marian Daun, Jennifer Brings, Torsten Bandyszak, Philipp Bohn, Thorsten Weyer
University of Duisburg-Essen, Germany - Taming Heterogeneity and Distribution in sCPS (presentation)
Brice Morin, Franck Fleurey, Olivier Barais
SINTEF, Norway and INRIA, France
––– Lunch break –––
Session #4 (14:00 – 15:30)
- Breakout groups (90 minutes)
––– Coffee break –––
Session #5 (16:00 – 17:30)
- Breakout groups (30 minutes)
- Plenary discussion (45 minutes)
Topics- Human in the loop (presentation)
- Aligning different disciplines (presentation)
- Uncertainty (presentation)
- Pragmatic and systematic engineering (presentation)
- Wrap up & Closing (15 minutes)