Model-Driven Simulation-Based Analysis for Multi-Robot SystemsFT
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 OctDisplayed 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 20mFull-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 20mFull-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 20mFull-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 |