SEAMS 2019
Sat 25 - Sun 26 May 2019 Montreal, QC, Canada
co-located with ICSE 2019
Sat 25 May 2019 15:10 - 15:30 at Duluth - Autonomy Chair(s): Danny Weyns

From smart buildings to medical devices to smart nations, software systems increasingly integrate computation, networking, and interaction with the physical environment. These systems are known as Cyber-Physical Systems (CPS). While these systems open new opportunities to deliver improved quality of life for people and reinvigorate computing, their engineering is a difficult problem given the level of heterogeneity and dynamism they exhibit. While progress has been made, we argue that complexity is now at a level such that existing approaches need a major re-think to define principles and associated techniques for CPS. In this paper, we identify research challenges when modelling, analysing and engineering CPS. We focus on three key topics: theoretical foundations of CPS, adaptive methods for CPS, and exemplars of CPS serving as a research vehicle shared by a larger community. For each topic, we present an overview and suggest future research directions, thereby focusing on selected challenges. This paper is one of the results of the Shonan Seminar 118 on Modelling and Analysing Resilient Cyber-Physical Systems, which took place in December 2018.

Sat 25 May
Times are displayed in time zone: Eastern Time (US & Canada) change

14:00 - 15:30: AutonomySEAMS 2019 at Duluth
Chair(s): Danny WeynsKU Leuven
14:00 - 14:25
Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous RobotsLong Paper
SEAMS 2019
Pooyan JamshidiUniversity of South Carolina, Javier CamaraUniversity of York, Bradley SchmerlCarnegie Mellon University, USA, Christian KaestnerCarnegie Mellon University, David GarlanCarnegie Mellon University
14:25 - 14:50
Self-Adaptation in Mobile Apps: a Systematic Literature StudyLong Paper
SEAMS 2019
Eoin GruaVrije Universiteit Amsterdam, Ivano MalavoltaVrije Universiteit Amsterdam, Patricia LagoVrije Universiteit Amsterdam
Pre-print Media Attached
14:50 - 15:10
Applying Evolution and Novelty Search to Enhance the Resilience of Autonomous SystemsNIER
SEAMS 2019
Michael LangfordMichigan State University, Glen SimonMichigan State University, Philip McKinleyMichigan State University, Betty H.C. ChengMichigan State University
15:10 - 15:30
Modelling and Analysing ResilientCyber-Physical SystemsNIER
SEAMS 2019
Amel BennaceurThe Open University, Carlo GhezziPolitecnico di Milano, Kenji TeiWaseda University / National Institute of Informatics, Japan, Timo KehrerHumboldt-Universtität zu Berlin, Danny WeynsKU Leuven, Radu CalinescuUniversity of York, UK, Schahram DustdarTU Wien, Zhenjiang HuNational Institute of Informatics, Shinichi HonidenWaseda University / National Institute of Informatics, Japan, Fuyuki IshikawaNational Institute of Informatics, Zhi JinPeking University, Jeffrey Kramer, Marin LitoiuYork University, Canada, Michele LoretiUniversity of Camerino, Gabriel A. MorenoCarnegie Mellon University, USA, Hausi MüllerUniversity of Victoria, Computer Science, Faculty of Engineering, Canada, Laura NenziUniversity of Trieste, Bashar NuseibehThe Open University (UK) & Lero (Ireland), Liliana PasqualeUniversity College Dublin & Lero, Ireland, Wolfgang ReisigHumboldt-Universität zu Berlin, Germany, Heinz SchmidtRMIT Australia, Christos TsigkanosTechnische Universität Wien, Haiyan ZhaoPeking University