On the software engineering challenges of applying reactive synthesis to robotics

Shahar Maoz, Jan Oliver Ringert

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. This short paper discusses the software engineering challenges in applying reactive synthesis to robotics, beyond the synthesis algorithms themselves, including the challenge of writing declarative specifications, the challenge of abstraction of data and time, and the challenge of availability of an adequate development process supported by related tools. The identification and description of the challenges are based on our experience in building a development environment for reactive synthesis and applying it to the construction of about 10 different autonomous Lego robots. We describe the challenges using concrete examples from one of the robots built in our lab.

Original languageEnglish
Title of host publicationProceedings 2018 ACM/IEEE 1st International Workshop on Robotics Software Engineering, RoSE 2018
PublisherIEEE Computer Society
Pages17-22
Number of pages6
ISBN (Electronic)9781450357609
DOIs
StatePublished - 28 May 2018
Event1st ACM/IEEE International Workshop on Robotics Software Engineering, RoSE 2018, co-located with the 40th International Conference on Software Engineering, ICSE 2018 - Gothenburg, Sweden
Duration: 28 May 2018 → …

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257

Conference

Conference1st ACM/IEEE International Workshop on Robotics Software Engineering, RoSE 2018, co-located with the 40th International Conference on Software Engineering, ICSE 2018
Country/TerritorySweden
CityGothenburg
Period28/05/18 → …

Keywords

  • GR(1)
  • reactive synthesis

Fingerprint

Dive into the research topics of 'On the software engineering challenges of applying reactive synthesis to robotics'. Together they form a unique fingerprint.

Cite this