Welcome and Keynote (8:30 – 9:45)
Multi-Paradigm Modelling of Cyber-Physical Systems
Hans Vangheluwe (University of Antwerpen, Belgium)
The networking of multi-physics (mechanical, electical, hydraulic, biochemical, ...) with computational systems (control systems, signal processing, logical inferencing, planning ...) processes, interacting with often uncertain environments, with human actors, in a socio-economic context, leads to so-called Cyber-Physical Systems (CPS).
Cyber-physical systems are reaching a hitherto unseen level of complexity.
To date, no unifying theory nor systematic design methods, techniques and tools exist for such systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions.
Multi-paradigm Modelling (MPM) proposes to model every part and aspect of such complex systems explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s). This includes the explicit modelling of the often complex engineering workflows. Modelling language engineering, including model transformation, and the study of their semantics, are used to realize MPM. MPM is seen as an effective answer to the challenges of designing CPS.
This presentation introduces some of the challenges of collaborative development of CPS as well as possible multi-paradigm modelling solutions such as (in-)consistency management and co-simulation.
Session #1: Modeling and Validation (9:45 – 10:30)
Handling System Complexity in sCPS: Usable Design Space Exploration
Sebastian Voss, Johannes Eder
fortiss GmbH, Germany
A Semi-Automated Approach to Foster the Validation of Collaborative Networks of Cyber-Physical Systems
Marian Daun, Jennifer Brings, Thorsten Weyer
University of Duisburg-Essen, Germany
On Early Statistical Requirements Validation of Cyber-Physical Space Systems
Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
Politecnico di Milano, Italy; Peking University, China; NII, Japan
--- Break (10:30 – 11:00) ---
Session #2: Planning and Trustworthiness (11:00 – 11:45)
Towards Explainable Multi-Objective Probabilistic Planning
Roykrong Sukkerd, Reid Simmons, David Garlan
Carnegie Mellon University, USA
On the Feasibility of Automatically Detecting and Recovering from SEUs in Cyber-Physical Space Systems
Robert Pettit, Aedan Pettit
The Aerospace Corporation, USA; The College of Wooster, USA
On Using Blockchains for Safety-Critical Systems
Christian Berger, Birgit Penzenstadler, Olaf Drögehorn
University of Gothenburg, Sweden; California State University Long Beach, USA; Harz University of Applied Sciences, Germany
Session #3: Reference Problems (11:45 – 12:30)
Enabling Cyber-Physical Systems for 5G networking: A case study on the Automotive Vertical domain
Christos Tranoris, Spyros Denazis, Lucas Guardalben, João Pereira, Susana Sargento
University of Patras, Greece; Instituto de Telecomunicações and University of Aveiro, Portugal
A Building Automation Case Study - Setup and Challenges
João Cambeiro, Cláudio Gomes, Vasco Amaral, Armanda Rodrigues, Jácome Cunha
NOVA LINCS, Portugal; University of Antwerp, Belgium
A Curated Corpus of Simulink Models for Model-based Empirical Studies
Shafiul Azam Chowdhury, Lina Sera Varghese, Soumik Mohian, Taylor T Johnson, Christoph Csallner
University of Texas at Arlington, USA; Vanderbilt University, USA
Shipboard Power System Reconfiguration - A Self-Adaptation Exemplar
Luca Sabatucci, Giada De Simone, Massimo Cossentino
ICAR-CNR, Italy
--- Lunch (12:30 – 14:00) ---
Session #4: Breakout Groups (14:00 – 15:30)
Participants are invited to identify key challenges arising from the research and reference problems presented in the morning, and explore these in depth in discussion groups.
--- Break (15:30 – 16:00) ---
Session #5: Breakout Groups and Plenary Discussion (16:00 – 17:30)
Participants will present results from the breakout groups on hot topics, and work together to consolidate recommendations for future work. The output will be the basis of a public report.