On the Need of Systemic Support for Spatio-Temporal Programming of Mobile Robot Swarms

In this paper, we present SwarmOS -- a distributed operating system for mobile robot swarms. SwarmOS features transaction-based spatio-temporal programming of mobile robot swarms on a systemic level. We show the programming model and resource management in SwarmOS. Swarm applications consist of conc...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Proceeding of 11th International Conference on Mobile Ad-hoc and Sensor Networks 16-18 December 2015, Shenzhen, China s. 227 - 235
Hlavní autoři: Graff, Daniel, Rohrig, Daniel, Karnapke, Reinhardt
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.12.2015
Témata:
Distributed Operating Systems
Distributed Transactions
Mobile Robot Swarms
Monitoring
Operating systems
Programming
Programming Abstractions
Robot sensing systems
Schedules
Spatio-Temporal Programming
Temperature measurement
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:In this paper, we present SwarmOS -- a distributed operating system for mobile robot swarms. SwarmOS features transaction-based spatio-temporal programming of mobile robot swarms on a systemic level. We show the programming model and resource management in SwarmOS. Swarm applications consist of concurrent, distributed and context-aware actions. We provide distributed transactions in order to guarantee atomic execution of a set of dependent actions. We distinguish between schedulability and executability of a set of actions: the first one is checked by the space-time scheduler which is a core service of the execution environment. The scheduler plans actions in space and time and computes spatio-temporal trajectories if robot movement is necessary. In order to guarantee executability of a distributed transaction of spatio-temporal actions, we present the concept of path alternatives and a time-based two-phase commit protocol in order to assure consistency. We show the feasibility of our approach by performing experiments on our testbed.
DOI:10.1109/MSN.2015.22