Modelling and Analysing ResilientCyber-Physical SystemsNIER
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 MayDisplayed time zone: Eastern Time (US & Canada) change
14:00 - 15:30 | |||
14:00 25mTalk | Machine Learning Meets Quantitative Planning: Enabling Self-Adaptation in Autonomous RobotsLong Paper SEAMS 2019 Pooyan Jamshidi University of South Carolina, Javier Camara University of York, Bradley Schmerl Carnegie Mellon University, USA, Christian Kästner Carnegie Mellon University, David Garlan Carnegie Mellon University | ||
14:25 25mTalk | Self-Adaptation in Mobile Apps: a Systematic Literature StudyLong Paper SEAMS 2019 Eoin Grua Vrije Universiteit Amsterdam, Ivano Malavolta Vrije Universiteit Amsterdam, Patricia Lago Vrije Universiteit Amsterdam Pre-print Media Attached | ||
14:50 20mTalk | Applying Evolution and Novelty Search to Enhance the Resilience of Autonomous SystemsNIER SEAMS 2019 Michael Langford Michigan State University, Glen Simon Michigan State University, Philip McKinley Michigan State University, Betty H.C. Cheng Michigan State University | ||
15:10 20mTalk | Modelling and Analysing ResilientCyber-Physical SystemsNIER SEAMS 2019 Amel Bennaceur The Open University, Carlo Ghezzi Politecnico di Milano, Kenji Tei Waseda University / National Institute of Informatics, Japan, Timo Kehrer Humboldt-Universtität zu Berlin, Danny Weyns KU Leuven, Radu Calinescu University of York, UK, Schahram Dustdar TU Wien, Zhenjiang Hu National Institute of Informatics, Shinichi Honiden Waseda University / National Institute of Informatics, Japan, Fuyuki Ishikawa National Institute of Informatics, Zhi Jin Peking University, Jeffrey Kramer , Marin Litoiu York University, Canada, Michele Loreti University of Camerino, Gabriel A. Moreno Carnegie Mellon University, USA, Hausi Müller University of Victoria, Computer Science, Faculty of Engineering, Canada, Laura Nenzi University of Trieste, Bashar Nuseibeh The Open University (UK) & Lero (Ireland), Liliana Pasquale University College Dublin & Lero, Ireland, Wolfgang Reisig Humboldt-Universität zu Berlin, Germany, Heinz Schmidt RMIT Australia, Christos Tsigkanos Technische Universität Wien, Haiyan Zhao Peking University |