Poster: Property specification patterns for robotic missions
Paper i proceeding, 2018

Engineering dependable software for mobile robots is becoming increasingly important. A core asset in engineering mobile robots is the mission specification-A formal description of the goals that mobile robots shall achieve. Such mission specifications are used, among others, to synthesize, verify, simulate, or guide the engineering of robot software. Development of precise mission specifications is challenging. Engineers need to translate the mission requirements into specification structures expressed in a logical language-A laborious and error-prone task. To mitigate this problem, we present a catalog of mission specification patterns for mobile robots. Our focus is on robot movement, one of the most prominent and recurrent specification problems for mobile robots. Our catalog maps common mission specification problems to recurrent solutions, which we provide as templates that can be used by engineers. The patterns are the result of analyzing missions extracted from the literature. For each pattern, we describe usage intent, known uses, relationships to other patterns, and-most importantly-A template representing the solution as a logical formula in temporal logic. Our specification patterns constitute reusable building blocks that can be used by engineers to create complex mission specifications while reducing specification mistakes. We believe that our patterns support researchers working on tool support and techniques to synthesize and verify mission specifications, and language designers creating rich domain-specific languages for mobile robots, incorporating our patterns as language concepts.

Författare

Claudio Menghi

Chalmers, Data- och informationsteknik, Software Engineering, Software Engineering for Cyber Physical Systems

Christos Tsigkanos

Politecnico di Milano

Thorsten Berger

Chalmers, Data- och informationsteknik, Software Engineering, Software Engineering for Cyber Physical Systems

Patrizio Pelliccione

Chalmers, Data- och informationsteknik, Software Engineering, Software Engineering for Cyber Physical Systems

Carlo Ghezzi

Politecnico di Milano

Proceedings - International Conference on Software Engineering

02705257 (ISSN)

Vol. Part F137351 434-435

40th ACM/IEEE International Conference on Software Engineering, ICSE 2018
Gothenburg, Sweden,

Ämneskategorier

Programvaruteknik

Robotteknik och automation

Datavetenskap (datalogi)

DOI

10.1145/3183440.3195044

Mer information

Senast uppdaterat

2019-11-04