Write a Blog >>
MODELS 2021
Sun 10 - Sat 16 October 2021
Wed 13 Oct 2021 19:40 - 20:00 at Room 2 - Testing and Analysis II Chair(s): Juan de Lara

Multi-robot systems are increasingly deployed to provide services and accomplish missions whose complexity or cost is too high for a single robot to achieve on its own. Although multi-robot systems offer increased reliability via redundancy and enable the execution of more challenging missions, engineering these systems is very complex. This complexity affects not only the architecture modelling of the robotic team but also the modelling and analysis of the collaborative intelligence enabling the team to complete its mission. Existing approaches for the development of multi-robot applications do not provide a systematic mechanism for capturing these aspects and assessing the robustness of multi-robot systems. We address this gap by introducing ATLAS, a novel model-driven approach supporting the systematic robustness analysis of multi-robot systems in sim- ulation. The ATLAS domain-specific language enables modelling the architecture of the robotic team and its mission, and facilitates the specification of the team’s intelligence. We evaluate ATLAS and demonstrate its effectiveness on two oceanic exploration missions performed by a team of unmanned underwater vehicles developed using the MOOS-IvP robotic simulator.

Wed 13 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

19:00 - 20:00
Testing and Analysis IITechnical Papers at Room 2
Chair(s): Juan de Lara Autonomous University of Madrid
19:00
20m
Full-paper
Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous DrivingP&I
Technical Papers
Shi Yize , Chengjie Lu , Man Zhang Kristiania University College, Norway, Huihui Zhang Weifang University, Tao Yue Simula Research Laboratory, Shaukat Ali Simula Research Laboratory, Norway
19:20
20m
Full-paper
DataTime: A Framework to Smoothly Integrate Past, Present and Future into ModelsP&I
Technical Papers
Lyan Gauthier , Jean-Marc Jézéquel Univ Rennes - IRISA, Benoit Combemale University of Rennes; Inria; IRISA, David Gross-Amblard
19:40
20m
Full-paper
Model-Driven Simulation-Based Analysis for Multi-Robot SystemsFT
Technical Papers
James Harbin , Simos Gerasimou University of York, UK, Nicholas Matragkas University of York, Athanasios Zolotas , Radu Calinescu University of York, UK