SEAMS 2019
Sat 25 - Sun 26 May 2019 Montreal, QC, Canada
co-located with ICSE 2019
Sun 26 May 2019 16:50 - 17:05 at Duluth - Assurance Chair(s): Radu Calinescu

Motivated by the need for cyber-physical systems (CPS) to perform in dynamic and uncertain environments, smart CPS (sCPS) utilize self-adaptive capabilities to autonomously manage uncertainties at the intersection of the cyber and physical worlds. In this context, self-adaptation approaches face particular challenges, including (i) environment monitoring that is subject to sensing errors; (ii) adaptation actions that take time, sometimes due to physical movement; (iii) dire consequences for not adapting in a timely manner; and (iv) incomparable objectives that cannot be conflated into a single utility metric (e.g., avoiding an accident vs. providing good service). To enable researchers to evaluate and compare self-adaptation approaches aiming to address these unique challenges of sCPS, we introduce the DARTSim exemplar. DARTSim implements a high-level simulation of a team of unmanned air vehicles (UAVs) performing a reconnaissance mission in a hostile and unknown environment. Designed to be easily used by researchers, DARTSim provides a TCP-based interface for easy integration with external adaptation managers, documentation, and a fast simulation capability.

Sun 26 May

16:00 - 17:35: SEAMS 2019 - Assurance at Duluth
Chair(s): Radu CalinescuUniversity of York, UK
seams-2019-papers16:00 - 16:25
Tao ChenNottingham Trent University, UK and University of Birmingham, UK
seams-2019-papers16:25 - 16:50
Jhonny MertzUniversidade Federal do Rio Grande do Sul, Ingrid NunesUniversidade Federal do Rio Grande do Sul (UFRGS), Brazil
seams-2019-papers16:50 - 17:05
Gabriel A. MorenoCarnegie Mellon University, USA, Cody KinneerCarnegie Mellon University, Ashutosh PandeyCarnegie Mellon University, USA, David GarlanCarnegie Mellon University
Media Attached
seams-2019-papers17:05 - 17:20
Johannes Erbel, Thomas Brand, Holger GieseHasso Plattner Institute, University of Potsdam, Jens Grabowski
seams-2019-papers17:20 - 17:35