An integrated Design Methodology for Swarm Robotics using Model-Based Systems Engineering and Robot Operating System

Author:

Aloui Khalil12,Guizani Amir2ORCID,Hammadi Moncef1,Soriano Thierry1,Haddar Mohamed2

Affiliation:

1. QUARTZ Lab EA7393 – SUPMECA, Saint-Ouen, France

2. LA2MP, University of Sfax, National Engineering School of Sfax, Tunisia

Abstract

In swarm robotics, robots solve problems using collective behaviors similar to those observed in natural systems, such as birds, bees or fish. They determine their collective behavior through several simple interactions. However, the behavior of swarms emerging from local interactions remains difficult to predict. When trying to design swarm robotic systems for real applications, researchers are confronted with a wide range of software and hardware challenges in the different phases of the design process; problems related to the modeling of swarm systems, related to simulation, related to implementation on software and even on real systems, etc. Despite the increasing popularity of swarm robotics, designing effective and scalable swarm systems remains a challenging task due to the complex interactions between the individual robots and the environment. Therefore, there is a need for a systematic and comprehensive methodology that can guide designers in developing swarm robotics systems that are efficient, reliable, and adaptable to different scenarios. Our main contribution is to propose a new integrated methodology for the development of swarm robot systems. This methodology is based on modeling with Model-Based Systems Engineering method (MBSE) to specify the requirements and the collective behaviors of the swarms, then on the verification of the developed models and finally on the validation of the swarm system by physical prototyping with real robots. Our contribution also focuses on the development of a new SysML profile using the Domain Specific Language (DSL) that we call SwarmML to customize the functional and structural modeling of a swarm system (properties and attributes of the swarm). Two case studies are applied to validate our methodology; a case study of an aggregation of a swarm of robots and a case study of a collaborative simultaneous localization and mapping application (C-SLAM) performed by a swarm of Turtlebots. The novelty of this proposed methodology is the combination of SysML and Robot Operating System (ROS) to address the management of traceability between the different levels of swarm system design, in order to achieve functional, physical and software integration.

Publisher

SAGE Publications

Subject

Mechanical Engineering

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3