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
Times are displayed in time zone: (UTC) Coordinated Universal Time change

15:30 - 16:50: SEAMS 2020 - Session 4: Applications at SEAMS
Chair(s): Genaina RodriguesUniversity of Brasilia
seams-2020-papers15:30 - 15:35
Javier CamaraUniversity of York, Bradley SchmerlCarnegie Mellon University, USA, David GarlanCarnegie Mellon University
Pre-print Media Attached
seams-2020-papers15:35 - 15:40
Seung Yeob ShinSnT Centre/University of Luxembourg, Shiva NejatiUniversity of Ottawa, Mehrdad SabetzadehUniversity of Ottawa, Lionel BriandSnT Centre/University of Luxembourg, Chetan AroraSchool of Information Technology, Deakin University, Frank ZimmerSES Techcom
DOI Pre-print Media Attached
seams-2020-papers15:40 - 15:45
Ana PetrovskaTechnical University of Munich, Germany, Sergio QuijanoTechnical University of Munich, Germany, Ilias GerostathopoulosVrije Universiteit Amsterdam, Alexander Pretschner
Pre-print Media Attached
seams-2020-papers15:45 - 15:50
Petr HnetynkaCharles University, Tomas BuresCharles University, Czech Republic, Ilias GerostathopoulosVrije Universiteit Amsterdam, Jan PacovskýCharles University, Czechia
Pre-print Media Attached
seams-2020-papers15:50 - 16:50