Self-adaptation; Robotic mission specification; Robotic mission adaptation; Robot system development
Abstract :
[en] Emerging and future applications of robotic systems pose unique self-adaptation challenges. To support the research needed to address these challenges, we provide an extensible repository of robotic mission adaptation exemplars. Co-designed with robotic application stakeholders including researchers, developers, operators, and end-users, our repository captures key sources of uncertainty, adaptation concerns, and other distinguishing characteristics of such applications. An online form enables external parties to supply new exemplars for curation and inclusion into the repository. We envisage that our RoboMAX repository will enable the development, evaluation, and comparison of much-needed self-adaptation approaches for the robotic systems domain.
Disciplines :
Computer science
Author, co-author :
Askarpour, Mehrnoosh; McMaster University
Tsigkanos, Christos; Technische Universität Wien
Menghi, Claudio ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SVV
Calinescu, Radu; University of York
Pelliccione, Patrizio; Gran Sasso Science Institute, Italy Chalmers | University of Gothenburg
García, Sergio; Chalmers | University of Gothenburg
Caldas, Ricardo; Chalmers | University of Gothenburg
von Oertzen, Tim J von; Johannes Kepler University Linz Kepler University Hospital
Wimmer, Manuel; Johannes Kepler University Linz
Berardinelli, Luca; Johannes Kepler University Linz
Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)
Event date :
from 23-05-2021 to 24-05-2021
Main work title :
Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Artifact Track
Peer reviewed :
Peer reviewed
Focus Area :
Security, Reliability and Trust
European Projects :
H2020 - 694277 - TUNE - Testing the Untestable: Model Testing of Complex Software-Intensive Systems
Funders :
Austrian Science Fund (FWF) project M 2778- N “EDENSPACE” UKRI project EP/V026747/1 “Trust- worthy Autonomous Systems Node in Resilience”, CRSNG - Conseil de Recherches en Sciences naturelles et en Génie [CA] Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation CE - Commission Européenne [BE]
International Federation of Robotics, "World Robotics 2020: Service Robots," 2020. [Online]. Available: https://ifr.org/img/worldrobotics/Executive_ Summary_WR_2020_Service_Robots.pdf
D. Bozhinoski, D. Di Ruscio, I. Malavolta, P. Pelliccione, and I. Crnkovic, "Safety for mobile robotic systems: A systematic mapping study from a software engineering perspective," Journal of Systems and Software, vol. 151, pp. 150-179, 2019.
M. Gleirscher, N. Johnson, P. Karachristou, R. Calinescu, J. Law, and J. A. Clark, "Challenges in the safety-security co-assurance of collaborative industrial robots," 2020. [Online]. Available: https://arxiv.org/abs/2007.11099
L. Lestingi, M. Askarpour, M. M. Bersani, and M. Rossi, "Formal verification of human-robot interaction in healthcare scenarios," in Software Engineering and Formal Methods. Springer, 2020, pp. 303-324.
F. Vicentini, M. Askarpour, M. G. Rossi, and D. Mandrioli, "Safety assessment of collaborative robotics through automated formal verification," IEEE Transactions on Robotics, vol. 36, no. 1, pp. 42-61, 2020.
M. Luckcuck, M. Farrell, L. A. Dennis, C. Dixon, and M. Fisher, "Formal specification and verification of autonomous robotic systems: A survey," ACM Comput. Surv., vol. 52, no. 5, 2019.
S. Garciá, D. Strüber, D. Brugali, T. Berger, and P. Pelliccione, "Robotics software engineering: a perspective from the service robotics domain," in European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 2020, pp. 593-604.
C. Menghi, C. Tsigkanos, P. Pelliccione, C. Ghezzi, and T. Berger, "Specification patterns for robotic missions," IEEE Transactions on Software Engineering, 2019.
"What is a model problem?" www.hpi.unipotsdam. de/giese/public/selfadapt/what-is-a-modelproblem/, 2020.
A. Bennaceur, C. McCormick, J. Garciá-Galán, C. Perera, A. Smith, A. Zisman, and B. Nuseibeh, "Feed me, feed me: an exemplar for engineering adaptive software," in Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE/ACM, 2016, pp. 89-95.
S. Gerasimou, R. Calinescu, S. Shevtsov, and D. Weyns, "UNDERSEA: An exemplar for engineering selfadaptive unmanned underwater vehicles," in Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE/ACM, 2017, pp. 83-89.
P. H. Maia, L. Vieira, M. Chagas, Y. Yu, A. Zisman, and B. Nuseibeh, "Dragonfly: a tool for simulating selfadaptive drone behaviours," in Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE/ACM, 2019, pp. 107-113.
G. Moreno, C. Kinneer, A. Pandey, and D. Garlan, "DARTSim: An exemplar for evaluation and comparison of self-adaptation approaches for smart cyberphysical systems," in Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE/ACM, 2019, pp. 181-187.
M. Kit, I. Gerostathopoulos, T. Bures, P. Hnetynka, and F. Plasil, "An architecture framework for experimentations with self-adaptive cyber-physical systems," in Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE, 2015, p. 93-96.
F. Krijt, Z. Jiracek, T. Bures, P. Hnetynka, and I. Gerostathopoulos, "Intelligent ensembles-a declarative group description language and java framework," in Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). IEEE/ACM, 2017, pp. 116-122.
C. Tsigkanos, L. Nenzi, M. Loreti, M. Garriga, S. Dustdar, and C. Ghezzi, "Inferring analyzable models from trajectories of spatially-distributed Internet of Things," in Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2019, pp. 100-106.
S. Mahdavi-Hezavehi, P. Avgeriou, and D. Weyns, "A classification framework of uncertainty in architecturebased self-adaptive systems with multiple quality requirements," in Managing Trade-Offs in Adaptable Software Architectures. Elsevier, 2017, pp. 45-77.
G. Lucassen, F. Dalpiaz, J. M. E. van der Werf, and S. Brinkkemper, "Improving agile requirements: the quality user story framework and tool," Requirements Engineering, vol. 21, no. 3, pp. 383-403, 2016.
M. Linjawi and R. K. Moore, "Towards a comprehensive taxonomy for characterizing robots," in Annual Conference Towards Autonomous Robotic Systems. Springer, 2018, pp. 381-392.
W. E. Walker, P. Harremoës, J. Rotmans, J. P. Van Der Sluijs, M. B. Van Asselt, P. Janssen, and M. P. Krayer von Krauss, "Defining uncertainty: a conceptual basis for uncertainty management in model-based decision support," Integrated assessment, vol. 4, no. 1, pp. 5-17, 2003.
A. Berns and S. Ghosh, "Dissecting selfproperties," in International Conference on Self-Adaptive and Self-Organizing Systems. IEEE, 2009, pp. 10-19.
C. Tsigkanos, T. Kehrer, C. Ghezzi, L. Pasquale, and B. Nuseibeh, "Adding static and dynamic semantics to building information models," in International Workshop on Software Engineering for Smart Cyber-Physical Systems. ACM, 2016, pp. 1-7.