SEAMS 2020
Mon 29 June - Fri 3 July 2020
co-located with ICSE 2020
Wed 1 Jul 2020 15:30 - 15:35 at SEAMS - Session 4: Applications Chair(s): Genaina Rodrigues

Self-adaptive systems increasingly need to reason about and adapt both structural and behavioral system aspects, such as in mobile service robots, which must reason about missions that they need to achieve and the architecture of the software executing them. Deciding how to best adapt these systems to run time changes is challenging because it entails considering mutual dependencies between the software architecture that the system is running and the outcome of plans for completing tasks, while also considering multiple trade-offs and uncertainties. Considering all these aspects in planning for adaptation often yields large solution spaces which cannot be adequately explored at run time. We address this challenge by proposing a planning approach able to consider the impact of mutual dependencies between software architecture and task planning on the satisfaction of mission goals. The approach is able to reason quantitatively about the outcome of adaptation decisions handling both the reconfiguration of the system’s architecture and adaptation of task plans under uncertainty and in a rich trade-off space. Our results show: (i) feasibility of run-time decision-making for self-adaptation in an otherwise intractable solution space by dividing-and-conquering adaptation into architecture reconfiguration and task planning sub-problems, and (ii) improved quality of adaptation decisions with respect to decision making that does not consider dependencies between architecture and task planning.

Wed 1 Jul

Displayed time zone: (UTC) Coordinated Universal Time change

15:30 - 16:50
Session 4: ApplicationsSEAMS 2020 at SEAMS
Chair(s): Genaina Rodrigues University of Brasilia
15:30
5m
Talk
Software Architecture and Task Plan Co-Adaptation for Mobile Service RobotsTechnical
SEAMS 2020
Javier Camara University of York, Bradley Schmerl Carnegie Mellon University, USA, David Garlan Carnegie Mellon University
Pre-print Media Attached
15:35
5m
Talk
Dynamic Adaptation of Software-defined Networks for IoT Systems: A Search-based ApproachTechnicalBest Paper
SEAMS 2020
Seung Yeob Shin SnT Centre/University of Luxembourg, Shiva Nejati University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Lionel Briand SnT Centre/University of Luxembourg, Chetan Arora School of Information Technology, Deakin University, Frank Zimmer SES Techcom
DOI Pre-print Media Attached
15:40
5m
Talk
Knowledge Aggregation with Subjective Logic in Multi-Agent Self-Adaptive Cyber-Physical SystemsNIER
SEAMS 2020
Ana Petrovska Technical University of Munich, Germany, Sergio Quijano Technical University of Munich, Germany, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Alexander Pretschner
Pre-print Media Attached
15:45
5m
Talk
Using Component Ensembles for Modeling Autonomic Component Collaboration in Smart FarmingDemo
SEAMS 2020
Petr Hnětynka Charles University, Tomas Bures Charles University, Czech Republic, Ilias Gerostathopoulos Vrije Universiteit Amsterdam, Jan Pacovský Charles University, Czechia
Pre-print Media Attached
15:50
60m
Other
Q&A and Discussion (Session 4)
SEAMS 2020