Model-driven design space exploration for multi-robot systems in simulation

被引:2
作者
Harbin, James [1 ]
Gerasimou, Simos [1 ]
Matragkas, Nicholas [2 ]
Zolotas, Thanos [3 ]
Calinescu, Radu [1 ]
Santana, Misael Alpizar [1 ]
机构
[1] Univ York, Dept Comp Sci, York, N Yorkshire, England
[2] Univ Paris Saclay, List, CEA, F-91120 Palaiseau, France
[3] Liverpool John Moores Univ, Sch Comp Sci & Math, Liverpool, Merseyside, England
基金
欧盟地平线“2020”;
关键词
MRS; Multi-robot systems; Model-driven engineering; MDE; Simulation; Design-space exploration; OPTIMIZATION; BEHAVIOR; AUTONOMY;
D O I
10.1007/s10270-022-01041-w
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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 design space exploration and robustness analysis of multi-robot systems in simulation. 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 in three simulated case studies: a healthcare Turtlebot-based mission and two unmanned underwater vehicle missions developed using the Gazebo/ROS and MOOS-IvP robotic platforms, respectively.
引用
收藏
页码:1665 / 1688
页数:24
相关论文
共 73 条
[1]  
Abdeen H., 2014, INT C AUTOMATED SOFT, P289
[2]  
ActiveMQ, About Us
[3]   A Study on Challenges of Testing Robotic Systems [J].
Afzal, Afsoon ;
Le Goues, Claire ;
Hilton, Michael ;
Timperley, Christopher Steven .
2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2020), 2020, :96-107
[4]   Learning dexterous in-hand manipulation [J].
Andrychowicz, Marcin ;
Baker, Bowen ;
Chociej, Maciek ;
Jozefowicz, Rafal ;
McGrew, Bob ;
Pachocki, Jakub ;
Petron, Arthur ;
Plappert, Matthias ;
Powell, Glenn ;
Ray, Alex ;
Schneider, Jonas ;
Sidor, Szymon ;
Tobin, Josh ;
Welinder, Peter ;
Weng, Lilian ;
Zaremba, Wojciech .
INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 2020, 39 (01) :3-20
[5]  
[Anonymous], 2008, Springer Handbook of Robotics, DOI [DOI 10.1007/978-3-319-32552-1, DOI 10.1007/978-3-540-30301-5_41, 10.1007/978-3-540-30301-5_41]
[6]  
[Anonymous], 2009, ICRA WORKSH OP SOURC
[7]  
Apel Sven, 2013, FeatureOriented Software Product Lines-Concepts and Implementation, DOI [10.1007/978-3-642-37521-7, DOI 10.1007/978-3-642-37521-7]
[8]   The SPICA Development Framework Model-Driven Software Development for Autonomous Mobile Robots [J].
Baer, Philipp A. ;
Reichle, Roland ;
Geihs, Kurt .
IAS-10: INTELLIGENT AUTONOMOUS SYSTEMS 10, 2008, :211-220
[9]   Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset [J].
Basten, Twan ;
van Benthum, Emiel ;
Geilen, Marc ;
Hendriks, Martijn ;
Houben, Fred ;
Igna, Georgeta ;
Reckers, Frans ;
de Smet, Sebastian ;
Somers, Lou ;
Teeselink, Egbert ;
Trcka, Nikola ;
Vaandrager, Frits ;
Verriet, Jacques ;
Voorhoeve, Marc ;
Yang, Yang .
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, 2010, 6415 :90-105
[10]   Nested Autonomy for Unmanned Marine Vehicles with MOOS-IvP [J].
Benjamin, Michael R. ;
Schmidt, Henrik ;
Newman, Paul M. ;
Leonard, John J. .
JOURNAL OF FIELD ROBOTICS, 2010, 27 (06) :834-875