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

Modern cyber-physical systems (e.g., robotics systems) are typically composed of physical and software components, the characteristics of which are likely to change over time. Assumptions about parts of the system made at design time may not hold at run time, especially when a system is deployed for long periods (e.g., over decades). Self-adaptation is designed to find reconfigurations of systems to handle such run-time inconsistencies. Planners can be used to find and enact optimal reconfigurations in such an evolving context. However, for systems that are highly configurable, such planning becomes intractable due to the size of the adaptation space. To overcome this challenge, in this paper we explore an approach that (a) uses machine learning to find Pareto-optimal configurations without needing to explore every configuration, and (b) restricts the search space to such configurations to make planning tractable. We explore this in the context of robot missions that need to consider task timeliness and energy consumption. An independent evaluation shows that our approach results in high-quality adaptation plans in uncertain and adversarial environments.

Sat 25 May

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:30
AutonomySEAMS 2019 at Duluth
Chair(s): Danny Weyns KU Leuven
14:00
25m
Talk
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
25m
Talk
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
20m
Talk
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
20m
Talk
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