Abstract
Background: The specification of missions to be accomplished by a robot swarm has been rarely discussed in the literature: designers do not follow any standardized processes or use any tool to precisely define a mission that must be accomplished. Methods: In this paper, we introduce a fully integrated design process that starts with the specification of a mission to be accomplished and terminates with the deployment of the robots in the target environment. We introduce Swarm Mission Language (SML), a textual language that allows swarm designers to specify missions. Using model-driven engineering techniques, we define a process that automatically transforms a mission specified in SML into a configuration setup for an optimization-based design method. Upon completion, the output of the optimization-based design method is an instance of control software that is eventually deployed on real robots. Results: We demonstrate the fully integrated process we propose on three different missions. Conclusions: We aim to show that in order to create reliable, maintainable and verifiable robot swarms, swarm designers may benefit from following standardised automatic design processes that will facilitate the design of control software in all stages of the development.