Software Synthesis From High-Level Specification for Swarm Robotic Applications

Abstract

Programming for swarm robots is challenging due to platform diversity and the gap between individual and swarm behaviors. To tackle this challenge, we propose a component-based software synthesis method from a high-level specification. To support heterogeneous robots and maximize code reuse, we adopt a component-based approach that classifies software components into three categories: 1) robot; 2) algorithm; and 3) consensus. We generate a task graph model for an individual robot from a high-level specification and use a software synthesizer to generate the target code from the task graph model. Through a proof-of-concept implementation with a group searching application, the viability of the proposed technique is demonstrated.